dedukti 1.1.1 → 1.1.2

raw patch · 4 files changed

+11/−4 lines, 4 filesdep +unix

Dependencies added: unix

Files

• Dedukti/Runtime.hs +4/−0
• dedukti.cabal +2/−2
• doc/manual.texi.in +2/−0
• scripts/dkrun +3/−2

@@ -31,6 +31,8 @@ import Prelude hiding (pi, catch) import Data.Time.Clock import Text.PrettyPrint.Leijen+import System.Exit+import System.Posix.Process (exitImmediately)   -- Exceptions@@ -137,6 +139,8 @@   t' <- getCurrentTime   let total = diffUTCTime t' t   putStrLn $ "Stop. Runtime: " ++ show total+  -- Use Posix exitImmediately rather than System.Exit to really exit GHCi.+  exitImmediately ExitSuccess  -- Pretty printing. 

@@ -1,5 +1,5 @@ name:           dedukti-version:        1.1.1+version:        1.1.2 author:         Mathieu Boespflug maintainer:     Mathieu Boespflug <mboes@lix.polytechnique.fr> copyright:      © 2009 CNRS - École Polytechnique - INRIA@@ -46,7 +46,7 @@  library   exposed-modules:     Dedukti.Runtime-  build-depends:       time >= 1.1+  build-depends:       time >= 1.1, unix >= 2.4   extensions:          DeriveDataTypeable, PatternGuards, FlexibleInstances   ghc-options:         -fwarn-unused-binds -fwarn-unused-imports 

@@ -227,6 +227,8 @@  @node Smoke tests @section Smoke tests+@cindex test harness+@cindex smoke tests  The package description file for Dedukti declares a @code{test} flag. Enabling this flag instructs Cabal to build the test harness as well.

@@ -1,6 +1,6 @@ #!/bin/sh -if [ -z $* ]+if [ -z "$*" ] then     echo "Usage: dkrun module.dko [DEPENDENCY]..." 1>&2     echo "    Where all dependent modules must be listed explicitly," 1>&2@@ -11,4 +11,5 @@ main=$1 shift 1 -echo "do t <- Dedukti.Runtime.start; main; Dedukti.Runtime.stop t" | ghci -x hs -XOverloadedStrings -fglasgow-exts -w $* $main+echo "do t <- Dedukti.Runtime.start; main; Dedukti.Runtime.stop t+      System.Posix.Process.exitImmediately (System.Exit.ExitFailure 1)" | ghci -x hs -XOverloadedStrings -fglasgow-exts -w $* $main