Update shell to use 7.10.3

.travis.yml

@@ -1,7 +1,7 @@
 # NB: don't set `language: haskell` here
 
 env:
- - CABALVER=head GHCVER=7.10.2 ALEXVER=3.1.4 HAPPYVER=1.19.5
+ - CABALVER=head GHCVER=7.10.3 ALEXVER=3.1.4 HAPPYVER=1.19.5
  - CABALVER=head GHCVER=head   ALEXVER=3.1.4 HAPPYVER=1.19.5
 
 matrix:

hermit-shell.cabal

@@ -31,7 +31,7 @@ library
                         data-default-class,
                         filepath,
                         haskeline,
-                        hermit >= 0.4,
+                        hermit              == 1.0.0.1,
                         http-types,
                         kure,
                         lens,

tests/golden/casereduce_Main_hs_CaseReduceScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Main.hs, Main.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   bar ∷ Foo
   foo ∷ String
@@ -32,5 +32,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Main ...
 [starting HERMIT-shell v0.1.0.0 on Main.hs]
-[starting HERMIT v1.0.0.0 on Main.hs]
+[starting HERMIT v1.0.0.1 on Main.hs]
 % ghc Main.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:CaseReduceScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/concatVanishes_Flatten_hs_FlattenScript_hs.ref

@@ -1,7 +1,7 @@
 [1 of 2] Compiling HList            ( HList.hs, HList.o )
 [2 of 2] Compiling Main             ( Flatten.hs, Flatten.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   flatten ∷ ∀ a . Tree a → [a]
   $dShow ∷ Show [Char]
@@ -151,5 +151,5 @@ Leaving GHCi.
 ghc: user interrupt
 Linking Flatten ...
 [starting HERMIT-shell v0.1.0.0 on Flatten.hs]
-[starting HERMIT v1.0.0.0 on Flatten.hs]
+[starting HERMIT v1.0.0.1 on Flatten.hs]
 % ghc Flatten.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:FlattenScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/concatVanishes_QSort_hs_QSortScript_hs.ref

@@ -1,7 +1,7 @@
 [1 of 2] Compiling HList            ( HList.hs, HList.o )
 [2 of 2] Compiling Main             ( QSort.hs, QSort.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   qsort ∷ ∀ a . Ord a → [a] → [a]
   $dShow ∷ Show [Integer]
@@ -300,5 +300,5 @@ Leaving GHCi.
 ghc: user interrupt
 Linking QSort ...
 [starting HERMIT-shell v0.1.0.0 on QSort.hs]
-[starting HERMIT v1.0.0.0 on QSort.hs]
+[starting HERMIT v1.0.0.1 on QSort.hs]
 % ghc QSort.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:QSortScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/concatVanishes_Rev_hs_RevScript_hs.ref

@@ -1,7 +1,7 @@
 [1 of 2] Compiling HList            ( HList.hs, HList.o )
 [2 of 2] Compiling Main             ( Rev.hs, Rev.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   rev ∷ ∀ a . [a] → [a]
   main ∷ IO ()
@@ -150,5 +150,5 @@ Leaving GHCi.
 ghc: user interrupt
 Linking Rev ...
 [starting HERMIT-shell v0.1.0.0 on Rev.hs]
-[starting HERMIT v1.0.0.0 on Rev.hs]
+[starting HERMIT v1.0.0.1 on Rev.hs]
 % ghc Rev.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:RevScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/evaluation_Eval_hs_EvalScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Eval.hs, Eval.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   rep ∷ Mint → (Int → Mint) → Mint → Mint
   abs ∷ ((Int → Mint) → Mint → Mint) → Mint
@@ -366,5 +366,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Eval ...
 [starting HERMIT-shell v0.1.0.0 on Eval.hs]
-[starting HERMIT v1.0.0.0 on Eval.hs]
+[starting HERMIT v1.0.0.1 on Eval.hs]
 % ghc Eval.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:EvalScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/fib-stream_Fib_hs_FibScript_hs.ref

@@ -2,7 +2,7 @@
 [2 of 3] Compiling Stream           ( Stream.hs, Stream.o )
 [3 of 3] Compiling Main             ( Fib.hs, Fib.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   unwrap ∷ ∀ a . (Nat → a) → Stream a
   wrap ∷ ∀ a . Stream a → Nat → a
@@ -144,5 +144,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Fib ...
 [starting HERMIT-shell v0.1.0.0 on Fib.hs]
-[starting HERMIT v1.0.0.0 on Fib.hs]
+[starting HERMIT v1.0.0.1 on Fib.hs]
 % ghc Fib.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:FibScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/fib-tuple_Fib_hs_FibScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Fib.hs, Fib.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   unwrap ∷ (Nat → Nat) → Nat → (Nat, Nat)
   wrap ∷ (Nat → (Nat, Nat)) → Nat → Nat
@@ -263,5 +263,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Fib ...
 [starting HERMIT-shell v0.1.0.0 on Fib.hs]
-[starting HERMIT v1.0.0.0 on Fib.hs]
+[starting HERMIT v1.0.0.1 on Fib.hs]
 % ghc Fib.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:FibScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/fib_Fib_hs_FibScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Fib.hs, Fib.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   fib ∷ Int → Int
   main ∷ IO ()
@@ -66,5 +66,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Fib ...
 [starting HERMIT-shell v0.1.0.0 on Fib.hs]
-[starting HERMIT v1.0.0.0 on Fib.hs]
+[starting HERMIT v1.0.0.1 on Fib.hs]
 % ghc Fib.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:FibScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/fix-fusion_Fusion_hs_FusionScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Fusion.hs, Fusion.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   h ∷ B → B
   g ∷ A → A
@@ -22,5 +22,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Fusion ...
 [starting HERMIT-shell v0.1.0.0 on Fusion.hs]
-[starting HERMIT v1.0.0.0 on Fusion.hs]
+[starting HERMIT v1.0.0.1 on Fusion.hs]
 % ghc Fusion.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:FusionScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/flatten_Flatten_hs_FlattenScript_hs.ref

@@ -1,7 +1,7 @@
 [1 of 2] Compiling HList            ( HList.hs, HList.o )
 [2 of 2] Compiling Main             ( Flatten.hs, Flatten.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   flatten ∷ ∀ a . Tree a → [a]
   $dShow ∷ Show [Char]
@@ -152,5 +152,5 @@ Leaving GHCi.
 ghc: user interrupt
 Linking Flatten ...
 [starting HERMIT-shell v0.1.0.0 on Flatten.hs]
-[starting HERMIT v1.0.0.0 on Flatten.hs]
+[starting HERMIT v1.0.0.1 on Flatten.hs]
 % ghc Flatten.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:FlattenScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/hanoi_Hanoi_hs_HanoiScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Hanoi.hs, Hanoi.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   wrap ∷ (Nat → Peg → Peg → Peg → (Moves, Moves, Moves)) → Nat → Peg → Peg → Peg → Moves
   unwrap ∷ (Nat → Peg → Peg → Peg → Moves) → Nat → Peg → Peg → Peg → (Moves, Moves, Moves)
@@ -1061,5 +1061,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Hanoi ...
 [starting HERMIT-shell v0.1.0.0 on Hanoi.hs]
-[starting HERMIT v1.0.0.0 on Hanoi.hs]
+[starting HERMIT v1.0.0.1 on Hanoi.hs]
 % ghc Hanoi.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:HanoiScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/induction_Induction_hs_VerifyScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Induction.hs, Induction.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   (++) ∷ ∀ a . [a] → [a] → [a]
   $dShow ∷ Show [Bool]
@@ -128,5 +128,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Induction ...
 [starting HERMIT-shell v0.1.0.0 on Induction.hs]
-[starting HERMIT v1.0.0.0 on Induction.hs]
+[starting HERMIT v1.0.0.1 on Induction.hs]
 % ghc Induction.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:VerifyScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/last_Last_hs_LastScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Last.hs, Last.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   last ∷ ∀ a . [a] → a
   wrap ∷ ∀ a . (a → [a] → a) → [a] → a
@@ -55,5 +55,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Last ...
 [starting HERMIT-shell v0.1.0.0 on Last.hs]
-[starting HERMIT v1.0.0.0 on Last.hs]
+[starting HERMIT v1.0.0.1 on Last.hs]
 % ghc Last.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:LastScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/last_Last_hs_NewLastScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Last.hs, Last.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module Main where
   last ∷ ∀ a . [a] → a
   wrap ∷ ∀ a . (a → [a] → a) → [a] → a
@@ -216,5 +216,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Last ...
 [starting HERMIT-shell v0.1.0.0 on Last.hs]
-[starting HERMIT v1.0.0.0 on Last.hs]
+[starting HERMIT v1.0.0.1 on Last.hs]
 % ghc Last.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:Main: -fplugin-opt=HERMIT.GHCI:Main:NewLastScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w

tests/golden/laws_ListLaws_hs_VerifyAppendAssocScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -352,5 +352,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyAppendAssocScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyAppendNilScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -76,5 +76,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyAppendNilScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyAppendNonemptyScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -58,5 +58,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyAppendNonemptyScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyConcatAppendScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -608,5 +608,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyConcatAppendScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyConcatOfToListScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -159,5 +159,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyConcatOfToListScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyConcatUnitScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -121,5 +121,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyConcatUnitScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyListLeftUnitScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -188,5 +188,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyListLeftUnitScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyListMonadAssocScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -2037,5 +2037,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyListMonadAssocScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyMapAppendScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -412,5 +412,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyMapAppendScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w

tests/golden/laws_ListLaws_hs_VerifyMapNonemptyScript_hs.ref

@@ -1,6 +1,6 @@
 [1 of 1] Compiling ListLaws         ( ListLaws.hs, ListLaws.o )
 Setting phasers to stun... (port 3000) (ctrl-c to quit)
-GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
+GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 module ListLaws where
   mempt ∷ ∀ a . [a]
   (++) ∷ ∀ a . [a] → [a] → [a]
@@ -51,5 +51,5 @@ module ListLaws where
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on ListLaws.hs]
-[starting HERMIT v1.0.0.0 on ListLaws.hs]
+[starting HERMIT v1.0.0.1 on ListLaws.hs]
 % ghc ListLaws.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:ListLaws: -fplugin-opt=HERMIT.GHCI:ListLaws:VerifyMapNonemptyScript.hs -fplugin-opt=HERMIT.GHCI:ListLaws:resume -w