Commit 72eeb328 authored by Ian Lynagh's avatar Ian Lynagh

Accept prog003 output

Also added some extra prints to make it clearer what's happening
parent 0eae27e4
......@@ -14,63 +14,74 @@
:shell rm -f *.o *.hi
:shell cp D1.hs D.hs
putStrLn "Run 1"
:load A
:type a
a 42
putStrLn "Run 2"
-- sigh; sleep 1, because the filesystem only stores times in seconds
:shell sleep 1; cp D2.hs D.hs
:reload
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 3"
-- compile D, check that :reload doesn't pick it up
:shell $HC $HC_OPTS -c D.hs
:reload
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 4"
-- pick up the compiled D now, with :load
:load A
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 5"
-- D,C compiled
:shell $HC $HC_OPTS -c C.hs
:load A
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 6"
-- D,C,B compiled
:shell $HC $HC_OPTS -c B.hs
:load A
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 7"
-- D,C,B,A compiled
:shell $HC $HC_OPTS -c A.hs
:load A
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 8"
-- D,C,A compiled (better not use A.o)
:shell rm B.o
:load A
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 9"
-- D,A compiled (better not use A.o)
:shell rm C.o
:load A
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 10"
-- A compiled (better not use A.o)
:shell rm D.o
:load A
:type (Main.a,B.b,C.c,D.d)
a 42
putStrLn "Run 11"
-- A,B,C compiled (better not use A.o, B.o, C.o)
:shell $HC $HC_OPTS --make -v0 A
:shell rm D.o
......
Run 1
a :: Int -> Int
168
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
28.0
(Main.a,B.b,C.c,D.d) :: (Float -> Float, Float -> Float, Float -> Float, Float -> Float)
Run 2
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 3
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 4
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 5
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 6
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 7
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 8
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 9
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 10
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Run 11
(Main.a,B.b,C.c,D.d) :: (Float -> Float,
Float -> Float,
Float -> Float,
Float -> Float)
28.0
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment