From 3f9df5e7f76f0c687547aebe77c136229b441ac1 Mon Sep 17 00:00:00 2001
From: Andy Gill <andygill@ku.edu>
Date: Mon, 4 Jan 2016 17:33:24 -0600
Subject: [PATCH] Update shell to use 7.10.3

---
 .travis.yml                                                   | 2 +-
 hermit-shell.cabal                                            | 2 +-
 tests/golden/casereduce_Main_hs_CaseReduceScript_hs.ref       | 4 ++--
 tests/golden/concatVanishes_Flatten_hs_FlattenScript_hs.ref   | 4 ++--
 tests/golden/concatVanishes_QSort_hs_QSortScript_hs.ref       | 4 ++--
 tests/golden/concatVanishes_Rev_hs_RevScript_hs.ref           | 4 ++--
 tests/golden/evaluation_Eval_hs_EvalScript_hs.ref             | 4 ++--
 tests/golden/fib-stream_Fib_hs_FibScript_hs.ref               | 4 ++--
 tests/golden/fib-tuple_Fib_hs_FibScript_hs.ref                | 4 ++--
 tests/golden/fib_Fib_hs_FibScript_hs.ref                      | 4 ++--
 tests/golden/fix-fusion_Fusion_hs_FusionScript_hs.ref         | 4 ++--
 tests/golden/flatten_Flatten_hs_FlattenScript_hs.ref          | 4 ++--
 tests/golden/hanoi_Hanoi_hs_HanoiScript_hs.ref                | 4 ++--
 tests/golden/induction_Induction_hs_VerifyScript_hs.ref       | 4 ++--
 tests/golden/last_Last_hs_LastScript_hs.ref                   | 4 ++--
 tests/golden/last_Last_hs_NewLastScript_hs.ref                | 4 ++--
 tests/golden/laws_ListLaws_hs_VerifyAppendAssocScript_hs.ref  | 4 ++--
 tests/golden/laws_ListLaws_hs_VerifyAppendNilScript_hs.ref    | 4 ++--
 .../golden/laws_ListLaws_hs_VerifyAppendNonemptyScript_hs.ref | 4 ++--
 tests/golden/laws_ListLaws_hs_VerifyConcatAppendScript_hs.ref | 4 ++--
 .../golden/laws_ListLaws_hs_VerifyConcatOfToListScript_hs.ref | 4 ++--
 tests/golden/laws_ListLaws_hs_VerifyConcatUnitScript_hs.ref   | 4 ++--
 tests/golden/laws_ListLaws_hs_VerifyListLeftUnitScript_hs.ref | 4 ++--
 .../golden/laws_ListLaws_hs_VerifyListMonadAssocScript_hs.ref | 4 ++--
 tests/golden/laws_ListLaws_hs_VerifyMapAppendScript_hs.ref    | 4 ++--
 tests/golden/laws_ListLaws_hs_VerifyMapNonemptyScript_hs.ref  | 4 ++--
 tests/golden/map-fusion_MapFusion_hs_MapFusionScript_hs.ref   | 4 ++--
 tests/golden/mean_Mean_hs_MeanScript_hs.ref                   | 4 ++--
 tests/golden/new_reverse_Reverse_hs_ReverseScript_hs.ref      | 4 ++--
 tests/golden/nub_Nub_hs_NubScript_hs.ref                      | 4 ++--
 tests/golden/qsort_QSort_hs_QSortScript_hs.ref                | 4 ++--
 tests/golden/reverse_Reverse_hs_ReverseScript_hs.ref          | 4 ++--
 32 files changed, 62 insertions(+), 62 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index bfd5779..0f604c6 100644
--- a/.travis.yml
+++ b/.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:
diff --git a/hermit-shell.cabal b/hermit-shell.cabal
index 66863d2..90060e2 100644
--- a/hermit-shell.cabal
+++ b/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,
diff --git a/tests/golden/casereduce_Main_hs_CaseReduceScript_hs.ref b/tests/golden/casereduce_Main_hs_CaseReduceScript_hs.ref
index 06e8dbc..d5f5d23 100644
--- a/tests/golden/casereduce_Main_hs_CaseReduceScript_hs.ref
+++ b/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
diff --git a/tests/golden/concatVanishes_Flatten_hs_FlattenScript_hs.ref b/tests/golden/concatVanishes_Flatten_hs_FlattenScript_hs.ref
index f81e07e..83c1a35 100644
--- a/tests/golden/concatVanishes_Flatten_hs_FlattenScript_hs.ref
+++ b/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
diff --git a/tests/golden/concatVanishes_QSort_hs_QSortScript_hs.ref b/tests/golden/concatVanishes_QSort_hs_QSortScript_hs.ref
index 6e59c34..24bfc9b 100644
--- a/tests/golden/concatVanishes_QSort_hs_QSortScript_hs.ref
+++ b/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
diff --git a/tests/golden/concatVanishes_Rev_hs_RevScript_hs.ref b/tests/golden/concatVanishes_Rev_hs_RevScript_hs.ref
index db6bfd8..5d3f4dc 100644
--- a/tests/golden/concatVanishes_Rev_hs_RevScript_hs.ref
+++ b/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
diff --git a/tests/golden/evaluation_Eval_hs_EvalScript_hs.ref b/tests/golden/evaluation_Eval_hs_EvalScript_hs.ref
index 4653088..243630d 100644
--- a/tests/golden/evaluation_Eval_hs_EvalScript_hs.ref
+++ b/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
diff --git a/tests/golden/fib-stream_Fib_hs_FibScript_hs.ref b/tests/golden/fib-stream_Fib_hs_FibScript_hs.ref
index b45bb21..3cc9e92 100644
--- a/tests/golden/fib-stream_Fib_hs_FibScript_hs.ref
+++ b/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
diff --git a/tests/golden/fib-tuple_Fib_hs_FibScript_hs.ref b/tests/golden/fib-tuple_Fib_hs_FibScript_hs.ref
index 23bf25c..f4fa6c5 100644
--- a/tests/golden/fib-tuple_Fib_hs_FibScript_hs.ref
+++ b/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
diff --git a/tests/golden/fib_Fib_hs_FibScript_hs.ref b/tests/golden/fib_Fib_hs_FibScript_hs.ref
index 3411c76..625417d 100644
--- a/tests/golden/fib_Fib_hs_FibScript_hs.ref
+++ b/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
diff --git a/tests/golden/fix-fusion_Fusion_hs_FusionScript_hs.ref b/tests/golden/fix-fusion_Fusion_hs_FusionScript_hs.ref
index 5fbe8e2..04abf35 100644
--- a/tests/golden/fix-fusion_Fusion_hs_FusionScript_hs.ref
+++ b/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
diff --git a/tests/golden/flatten_Flatten_hs_FlattenScript_hs.ref b/tests/golden/flatten_Flatten_hs_FlattenScript_hs.ref
index b7316d5..167010b 100644
--- a/tests/golden/flatten_Flatten_hs_FlattenScript_hs.ref
+++ b/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
diff --git a/tests/golden/hanoi_Hanoi_hs_HanoiScript_hs.ref b/tests/golden/hanoi_Hanoi_hs_HanoiScript_hs.ref
index 30ebdf3..4ff27b2 100644
--- a/tests/golden/hanoi_Hanoi_hs_HanoiScript_hs.ref
+++ b/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
diff --git a/tests/golden/induction_Induction_hs_VerifyScript_hs.ref b/tests/golden/induction_Induction_hs_VerifyScript_hs.ref
index ff58285..b461edf 100644
--- a/tests/golden/induction_Induction_hs_VerifyScript_hs.ref
+++ b/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
diff --git a/tests/golden/last_Last_hs_LastScript_hs.ref b/tests/golden/last_Last_hs_LastScript_hs.ref
index aa6070c..50369b2 100644
--- a/tests/golden/last_Last_hs_LastScript_hs.ref
+++ b/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
diff --git a/tests/golden/last_Last_hs_NewLastScript_hs.ref b/tests/golden/last_Last_hs_NewLastScript_hs.ref
index 48b54e0..74ee428 100644
--- a/tests/golden/last_Last_hs_NewLastScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyAppendAssocScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyAppendAssocScript_hs.ref
index 27aa308..02b663c 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyAppendAssocScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyAppendNilScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyAppendNilScript_hs.ref
index 80bec96..e876551 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyAppendNilScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyAppendNonemptyScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyAppendNonemptyScript_hs.ref
index 7f6d6a9..5094363 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyAppendNonemptyScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyConcatAppendScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyConcatAppendScript_hs.ref
index a42db35..f080c55 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyConcatAppendScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyConcatOfToListScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyConcatOfToListScript_hs.ref
index edca454..6b2f482 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyConcatOfToListScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyConcatUnitScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyConcatUnitScript_hs.ref
index 486f5a4..6907656 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyConcatUnitScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyListLeftUnitScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyListLeftUnitScript_hs.ref
index c957cd7..54680cc 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyListLeftUnitScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyListMonadAssocScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyListMonadAssocScript_hs.ref
index c0b2dac..e39c8c9 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyListMonadAssocScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyMapAppendScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyMapAppendScript_hs.ref
index 3803f5a..13af1b0 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyMapAppendScript_hs.ref
+++ b/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
diff --git a/tests/golden/laws_ListLaws_hs_VerifyMapNonemptyScript_hs.ref b/tests/golden/laws_ListLaws_hs_VerifyMapNonemptyScript_hs.ref
index 3ca1c76..ae58a0a 100644
--- a/tests/golden/laws_ListLaws_hs_VerifyMapNonemptyScript_hs.ref
+++ b/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
diff --git a/tests/golden/map-fusion_MapFusion_hs_MapFusionScript_hs.ref b/tests/golden/map-fusion_MapFusion_hs_MapFusionScript_hs.ref
index a2019e8..007e461 100644
--- a/tests/golden/map-fusion_MapFusion_hs_MapFusionScript_hs.ref
+++ b/tests/golden/map-fusion_MapFusion_hs_MapFusionScript_hs.ref
@@ -1,6 +1,6 @@
 [1 of 1] Compiling MapFusion        ( MapFusion.hs, MapFusion.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 MapFusion where map ∷ ∀ a b . (a → b) → [a] → [b]
 [1 of 1] Compiling MapFusionScript  ( MapFusionScript.hs, interpreted )
 Ok, modules loaded: MapFusionScript.
@@ -311,5 +311,5 @@ module MapFusion where map ∷ ∀ a b . (a → b) → [a] → [b]
 HERMIT> Leaving GHCi.
 ghc: user interrupt
 [starting HERMIT-shell v0.1.0.0 on MapFusion.hs]
-[starting HERMIT v1.0.0.0 on MapFusion.hs]
+[starting HERMIT v1.0.0.1 on MapFusion.hs]
 % ghc MapFusion.hs -fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT.GHCI -fplugin-opt=HERMIT.GHCI:MapFusion: -fplugin-opt=HERMIT.GHCI:MapFusion:MapFusionScript.hs -fplugin-opt=HERMIT.GHCI:MapFusion:resume -w
diff --git a/tests/golden/mean_Mean_hs_MeanScript_hs.ref b/tests/golden/mean_Mean_hs_MeanScript_hs.ref
index 31ef594..b5230cc 100644
--- a/tests/golden/mean_Mean_hs_MeanScript_hs.ref
+++ b/tests/golden/mean_Mean_hs_MeanScript_hs.ref
@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Mean.hs, Mean.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
   sum ∷ [Int] → Int
   length ∷ [Int] → Int
@@ -158,5 +158,5 @@ HERMIT> Leaving GHCi.
 ghc: user interrupt
 Linking Mean ...
 [starting HERMIT-shell v0.1.0.0 on Mean.hs]
-[starting HERMIT v1.0.0.0 on Mean.hs]
+[starting HERMIT v1.0.0.1 on Mean.hs]
 % ghc Mean.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:MeanScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w
diff --git a/tests/golden/new_reverse_Reverse_hs_ReverseScript_hs.ref b/tests/golden/new_reverse_Reverse_hs_ReverseScript_hs.ref
index cce4512..4fea237 100644
--- a/tests/golden/new_reverse_Reverse_hs_ReverseScript_hs.ref
+++ b/tests/golden/new_reverse_Reverse_hs_ReverseScript_hs.ref
@@ -1,7 +1,7 @@
 [1 of 2] Compiling HList            ( HList.hs, HList.o )
 [2 of 2] Compiling Main             ( Reverse.hs, Reverse.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]
   absR ∷ ∀ a . ([a] → H a) → [a] → [a]
@@ -735,5 +735,5 @@ Leaving GHCi.
 ghc: user interrupt
 Linking Reverse ...
 [starting HERMIT-shell v0.1.0.0 on Reverse.hs]
-[starting HERMIT v1.0.0.0 on Reverse.hs]
+[starting HERMIT v1.0.0.1 on Reverse.hs]
 % ghc Reverse.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:ReverseScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w
diff --git a/tests/golden/nub_Nub_hs_NubScript_hs.ref b/tests/golden/nub_Nub_hs_NubScript_hs.ref
index a9ee02a..d7197dc 100644
--- a/tests/golden/nub_Nub_hs_NubScript_hs.ref
+++ b/tests/golden/nub_Nub_hs_NubScript_hs.ref
@@ -1,6 +1,6 @@
 [1 of 1] Compiling Main             ( Nub.hs, Nub.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
   absN ∷ ([Int] → Set Int → [Int]) → [Int] → [Int]
   filter ∷ ∀ a . (a → Bool) → [a] → [a]
@@ -438,5 +438,5 @@ Leaving GHCi.
 ghc: user interrupt
 Linking Nub ...
 [starting HERMIT-shell v0.1.0.0 on Nub.hs]
-[starting HERMIT v1.0.0.0 on Nub.hs]
+[starting HERMIT v1.0.0.1 on Nub.hs]
 % ghc Nub.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:NubScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w
diff --git a/tests/golden/qsort_QSort_hs_QSortScript_hs.ref b/tests/golden/qsort_QSort_hs_QSortScript_hs.ref
index 690dffb..87db41b 100644
--- a/tests/golden/qsort_QSort_hs_QSortScript_hs.ref
+++ b/tests/golden/qsort_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]
   absR ∷ ∀ a . ([a] → H a) → [a] → [a]
@@ -742,5 +742,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
diff --git a/tests/golden/reverse_Reverse_hs_ReverseScript_hs.ref b/tests/golden/reverse_Reverse_hs_ReverseScript_hs.ref
index 1c27b0e..a39d1c1 100644
--- a/tests/golden/reverse_Reverse_hs_ReverseScript_hs.ref
+++ b/tests/golden/reverse_Reverse_hs_ReverseScript_hs.ref
@@ -1,7 +1,7 @@
 [1 of 2] Compiling HList            ( HList.hs, HList.o )
 [2 of 2] Compiling Main             ( Reverse.hs, Reverse.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 ()
@@ -151,5 +151,5 @@ Leaving GHCi.
 ghc: user interrupt
 Linking Reverse ...
 [starting HERMIT-shell v0.1.0.0 on Reverse.hs]
-[starting HERMIT v1.0.0.0 on Reverse.hs]
+[starting HERMIT v1.0.0.1 on Reverse.hs]
 % ghc Reverse.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:ReverseScript.hs -fplugin-opt=HERMIT.GHCI:Main:resume -w