jukebox 0.2.2 → 0.2.3

raw patch · 2 files changed

+5/−1 lines, 2 files

Files

jukebox.cabal +2/−1
src/errors.h +3/−0

jukebox.cabal view

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.2.2+Version: 0.2.3 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone@@ -17,6 +17,7 @@   encoding types) and clausify problems (both typed and untyped). License: BSD3 License-file: LICENSE+extra-source-files: src/errors.h  source-repository head   type:     git

+ src/errors.h view

@@ -0,0 +1,3 @@+-- Inspired by Agda's undefined.h+#define __ ERROR("internal error")+#define ERROR(msg) (error (__FILE__ ++ ", line " ++ show (__LINE__ :: Int) ++ ": " ++ msg))