tip-lib 0.1 → 0.1.1

raw patch · 3 files changed

+15/−1 lines, 3 filesdep ~base

Dependency ranges changed: base

Files

changelog +6/−0
src/errors.h +4/−0
tip-lib.cabal +5/−1

+ changelog view

@@ -0,0 +1,6 @@+tip-lib 0.1.1 (released 2015-06-11):+* List alex and happy as build-tools (thanks to Peter Simons.)+* Add errors.h as extra source file.++tip-lib 0.1 (released 2015-06-11):+* Initial release.

+ src/errors.h view

@@ -0,0 +1,4 @@+-- Inspired by Agda's undefined.h+#define __ ERROR("no error message given")+#define ERROR(msg) (error (__FILE__ ++ ", line " ++ show (__LINE__ :: Int) ++ ": " ++ msg))+#define FROMJUST(msg) (\ m -> case m of { Just x -> x; Nothing -> ERROR(msg) })

tip-lib.cabal view

@@ -1,5 +1,5 @@ name:                tip-lib-version:             0.1+version:             0.1.1 synopsis:            tons of inductive problems - support library and tools description:         This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details). homepage:            http://tip-org.github.io@@ -12,9 +12,12 @@ build-type:          Simple cabal-version:       >=1.10 +extra-source-files:  changelog src/errors.h+ source-repository head   type:     git   location: http://github.com/tip-org/tools+  subdir:   tip-lib  library   exposed-modules:@@ -77,6 +80,7 @@                        pretty,                        array,                        optparse-applicative+  build-tools:         alex, happy  executable tip   main-is:             executable/Main.hs