Commit 5b1f4261 authored by simonm's avatar simonm
Browse files

[project @ 1997-12-16 17:15:04 by simonm]

update tests for 2.10
parent 2b8eabec
......@@ -12,7 +12,6 @@ cc002_HC_OPTS = -noC
cc003_HC_OPTS = -noC
cc004_HC_OPTS = -noC
cc005_HC_OPTS = -fvia-C
cc006_HC_OPTS = -fvia-C
cc007_HC_OPTS = -fvia-C
cc006_HC_OPTS = -fvia-C -fno-prune-tydecls
include $(TOP)/mk/target.mk
cc004.hs:2: Cannot generalise these overloadings (in a _ccall_):
`CReturnable taLM'
`CReturnable taL8'
cc004.hs:2: Cannot generalise these overloadings (in a _ccall_):
`CReturnable taMJ'
`CReturnable taM5'
Compilation had errors
#-----------------------------------------------------------------------------
# $Id: Makefile,v 1.3 1997/12/16 17:15:11 simonm Exp $
TOP = ..
include $(TOP)/mk/boilerplate.mk
......
......@@ -11,7 +11,7 @@ main = do
args <- getArgs
hPutStr stderr (shows args "\n")
path <- getEnv "PATH"
hPutStr stderr (shows path "\n")
hPutStr stderr ("GOT PATH\n")
stdin_txt <- getContents
putStr stdin_txt
file_cts <- readFile (head args)
......
"cg025.bin"
["cg025.hs"]
"/bin:/usr/bin:/users/ets/simonm/bin:/users/ets/simonm/bin/i386-unknown-freebsd:/usr/local/bin:/sbin:/usr/sbin:/usr/X11R6/bin:/usr/local/X11R6/bin:/local/fp/bin:/local/fp/bin/i386-unknown-freebsd:/local/ets/go/i386-unknown-freebsd:/usr/local/teTeX/bin"
GOT PATH
--!!! test various I/O Requests
--
--
......@@ -14,7 +14,7 @@ main = do
args <- getArgs
hPutStr stderr (shows args "\n")
path <- getEnv "PATH"
hPutStr stderr (shows path "\n")
hPutStr stderr ("GOT PATH\n")
stdin_txt <- getContents
putStr stdin_txt
file_cts <- readFile (head args)
......
module GHCmain(mainPrimIO) where
module GHCmain(mainIO) where
import ST
import STBase
mainPrimIO = _ccall_ puts "123\n" >> return ()
mainIO = _ccall_ puts "123\n" >> return ()
#-----------------------------------------------------------------------------
# $Id: Makefile,v 1.1 1997/12/16 17:15:23 simonm Exp $
TOP = ..
include $(TOP)/mk/boilerplate.mk
SUBDIRS = should_compile should_run
include $(TOP)/mk/target.mk
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d23 1 $d24 1 $d25 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelBase 1 :: $d1 1 $d10 1 $d12 1 $d13 1 $d15 1 $d16 1 $d17 1 $d18 1 $d2 1 $d20 1 $d21 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d6 1 $d7 1 $d8 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
PrelRead 1 :: $d10 1 $d11 1 $d14 1 $d15 1 $d16 1 $d4 1 $d5 1 $d6 1 $d8 1 $mreadList 1 lex 1 readList__ 1 readParen 1 Read 1 ReadS 1;
PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
......
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d23 1 $d24 1 $d25 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelBase 1 :: $d1 1 $d10 1 $d12 1 $d13 1 $d15 1 $d16 1 $d17 1 $d18 1 $d2 1 $d20 1 $d21 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d6 1 $d7 1 $d8 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
PrelRead 1 :: $d10 1 $d11 1 $d14 1 $d15 1 $d16 1 $d4 1 $d5 1 $d6 1 $d8 1 $mreadList 1 lex 1 readList__ 1 readParen 1 Read 1 ReadS 1;
PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
......
......@@ -7,9 +7,9 @@ drv003.hs:12: Warning: no explicit method nor default method for `=='
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d16 1 $d2 1 $d33 1 $d38 1 $d40 1 $d42 1 $d47 1 $d8 1 $m/= 1 && 1 not 1 Eq 1 Eval 1;
PrelBase 1 :: $d13 1 $d2 1 $d26 1 $d29 1 $d31 1 $d33 1 $d38 1 $d7 1 $m/= 1 && 1 not 1 Eq 1 Eval 1;
PrelNum 1 :: $d18 1;
_exports_
ShouldSucceed Bar(MkBar) Foo(MkFoo) Ping T(C1 C2 C3);
......
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d27 1 $d28 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d40 1 $d42 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1 String 1;
PrelBase 1 :: $d12 1 $d13 1 $d2 1 $d20 1 $d21 1 $d26 1 $d27 1 $d28 1 $d29 1 $d30 1 $d31 1 $d33 1 $d36 1 $d37 1 $d38 1 $d39 1 $d40 1 $d41 1 $d6 1 $d7 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1 String 1;
PrelNum 1 :: $d17 1 $d18 1;
_exports_
ShouldSucceed Foo(C1 C2 C3);
......
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d14 1 $d2 1 $d26 1 $d31 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 $d6 1 $menumFromThenTo 1 $menumFromTo 1 Enum 1 Eval 1 Functor 1;
PrelBase 1 :: $d11 1 $d19 1 $d2 1 $d24 1 $d29 1 $d31 1 $d33 1 $d36 1 $d38 1 $d5 1 $menumFromThenTo 1 $menumFromTo 1 Enum 1 Eval 1 Functor 1;
PrelNum 1 :: $d8 1;
_exports_
ShouldSucceed Foo(Foo1 Foo2 Foo3 Foo4 Foo5 Foo6 Foo7 Foo8);
......
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
Ix 1 :: $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelBase 1 :: $d1 1 $d10 1 $d11 1 $d12 1 $d13 1 $d15 1 $d17 1 $d18 1 $d19 1 $d2 1 $d20 1 $d21 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d28 1 $d29 1 $d30 1 $d33 1 $d34 1 $d35 1 $d8 1;
PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
_exports_
......
......@@ -3,10 +3,10 @@ NOTE: Simplifier still going after 4 iterations; bailing out.
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
Ix 1 :: $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelBase 1 :: $d1 1 $d10 1 $d11 1 $d12 1 $d13 1 $d15 1 $d17 1 $d18 1 $d19 1 $d2 1 $d20 1 $d21 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d28 1 $d29 1 $d30 1 $d33 1 $d34 1 $d35 1 $d8 1;
PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
_exports_
......
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
Ix 1 :: $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelBase 1 :: $d1 1 $d10 1 $d11 1 $d12 1 $d13 1 $d15 1 $d17 1 $d18 1 $d19 1 $d2 1 $d20 1 $d21 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d28 1 $d29 1 $d30 1 $d33 1 $d34 1 $d35 1 $d8 1;
PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
_exports_
......
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d14 1 $d2 1 $d26 1 $d31 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 $d6 1 $menumFromThenTo 1 $menumFromTo 1 Enum 1 Eval 1 Functor 1;
PrelBase 1 :: $d11 1 $d19 1 $d2 1 $d24 1 $d29 1 $d31 1 $d33 1 $d36 1 $d38 1 $d5 1 $menumFromThenTo 1 $menumFromTo 1 Enum 1 Eval 1 Functor 1;
PrelNum 1 :: $d8 1;
_exports_
ShouldSucceed AD(A B C D);
......
drvfail004.hs:5: No instance for: `Eq (Foo taGu taGv)'
drvfail004.hs:5: No instance for: `Eq (Foo taFR taFS)'
arising from an instance declaration at drvfail004.hs:5
When checking superclass constraints of an instance declaration
......
......@@ -3,47 +3,47 @@ BarNil{-r8,x-}{i} = _/\_ a_tr4J -> BarNil{-r8,x-}{i} {_@_ a_tr4J}
BarCon{-r7,x-}{i} =
_/\_ a_tr4J -> \ tpl_B1 tpl_B2 ->
BarCon{-r7,x-}{i} {_@_ a_tr4J tpl_B1 tpl_B2}
MkFoo{-r4Q,x-}{i} =
MkFoo{-r4P,x-}{i} =
_/\_ d_tr4L e_tr4M f_tr4N -> \ tpl_B1 tpl_B2 tpl_B3 ->
MkFoo{-r4Q,x-}{i}
MkFoo{-r4P,x-}{i}
{_@_ d_tr4L _@_ e_tr4M _@_ f_tr4N tpl_B1 tpl_B2 tpl_B3}
AbsBinds [ta118, ta119] [] [([ta119, ta118], g{-r4A,x-}, g_a12b)]
g_a12b x_r4H = lit_a12j
AbsBinds [ta10v, ta10w] [] [([ta10w, ta10v], g{-r4A,x-}, g_a11y)]
g_a11y x_r4H = lit_a11z
AbsBinds
[ta11m, ta11n, ta11o]
[d.Eq_a11q, d.Ord_a11r, d.Ix_a11s]
[([ta11m, ta11n, ta11o], f2{-r4z,x-}, f2_a12k)]
f2_a12k x_r4F = x_r4F
[ta10J, ta10K, ta10L]
[d.Eq_a10N, d.Ord_a10O, d.Ix_a10P]
[([ta10J, ta10K, ta10L], f2{-r4z,x-}, f2_a11H)]
f2_a11H x_r4F = x_r4F
AbsBinds
[ta11C, ta11D, ta11E]
[d.Eq_a11G]
[([ta11C, ta11D, ta11E], f{-r4y,x-}, f_a12l)]
f_a12l x_r4D = x_r4D
[ta10Z, ta110, ta111]
[d.Eq_a113]
[([ta10Z, ta110, ta111], f{-r4y,x-}, f_a11I)]
f_a11I x_r4D = x_r4D
AbsBinds
[ta11L, ta11N, ta11P]
[ta118, ta11a, ta11c]
[]
[([ta11L, ta11N, ta11P], mkFoo{-r4B,x-}, mkFoo_a12m)]
mkFoo_a12m = MkFoo{-r4Q,x-}{i} [ta11L, ta11N, ta11P]
AbsBinds [ta127] [] [([ta127], $d1{-r12f,x-}, d.Eval_a11V)]
d.Eval_a11V = ({-dict-} [] [])
[([ta118, ta11a, ta11c], mkFoo{-r4B,x-}, mkFoo_a11J)]
mkFoo_a11J = MkFoo{-r4P,x-}{i} [ta118, ta11a, ta11c]
AbsBinds [ta11u] [] [([ta11u], $d1{-r11G,x-}, d.Eval_a11i)]
d.Eval_a11i = ({-dict-} [] [])
AbsBinds
[ta128, ta129, ta12a]
[ta11v, ta11x, ta11w]
[]
[([ta128, ta129, ta12a], $d2{-r12h,x-}, d.Eval_a123)]
d.Eval_a123 = ({-dict-} [] [])
d.Fractional_a126 = PrelNum.$d23{-rFn,p-}
fromRational_a12i =
[([ta11v, ta11x, ta11w], $d2{-r11F,x-}, d.Eval_a11q)]
d.Eval_a11q = ({-dict-} [] [])
d.Fractional_a11t = PrelNum.$d23{-rE3,p-}
fromRational_a11A =
PrelNum.fromRational{-8U,p-} PrelBase.Float{-3c,W-}
d.Fractional_a126
lit_a12j = fromRational_a12i 2.0000000000000000
d.Fractional_a11t
lit_a11z = fromRational_a11A 2.0
ghc: module version changed to 1; reason: no old .hi file
_interface_ Print001 1
_instance_modules_
Addr ArrBase Foreign IO PrelNum
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
Ix 1 :: $d3 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelBase 1 :: $d1 1 $d10 1 $d11 1 $d12 1 $d13 1 $d15 1 $d2 1 $d20 1 $d21 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelNum 1 :: $d1 1 $d10 1 $d14 1 $d15 1 $d16 1 $d17 1 $d18 1 $d19 1 $d2 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrecip 1 $mrem 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
PrelTup 1 :: $d10 1 $d13 1 $d14 1 $d3 1 $d4 1 $d49 1 $d50 1 $d9 1;
_exports_
......
......@@ -11,263 +11,263 @@ MkFoo3{-rm,x-}{i} =
:***{-ro,x-}{i} =
_/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
:***{-ro,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
AbsBinds [taIx] [d.Bar_aIA] [([taIx], f3d{-r4o,x-}, f3d_aTU)]
/////_aTV = /////{-r4C,x-} taIx d.Bar_aIA
f3d_aTU x_r48 y_r49 = x_r48 /////_aTV y_r49
AbsBinds [taIR] [d.Bar_aIU] [([taIR], f3c{-r4p,x-}, f3c_aU0)]
/////_aU1 = /////{-r4C,x-} taIR d.Bar_aIU
f3c_aU0 x_r45 y_r46 = /////_aU1 x_r45 y_r46
AbsBinds [taJb] [d.Bar_aJe] [([taJb], f3b{-r4q,x-}, f3b_aU2)]
meth1_aU3 = meth1{-r4B,x-} taJb d.Bar_aJe
f3b_aU2 x_r42 y_r43 = x_r42 meth1_aU3 y_r43
AbsBinds [taJv] [d.Bar_aJy] [([taJv], f3a{-r4r,x-}, f3a_aU4)]
meth1_aU5 = meth1{-r4B,x-} taJv d.Bar_aJy
f3a_aU4 x_r3Z y_r40 = meth1_aU5 x_r3Z y_r40
AbsBinds [taHU] [d.Bar_aHX] [([taHU], f3d{-r4o,x-}, f3d_aTh)]
/////_aTi = /////{-r4B,x-} taHU d.Bar_aHX
f3d_aTh x_r48 y_r49 = x_r48 /////_aTi y_r49
AbsBinds [taIe] [d.Bar_aIh] [([taIe], f3c{-r4p,x-}, f3c_aTn)]
/////_aTo = /////{-r4B,x-} taIe d.Bar_aIh
f3c_aTn x_r45 y_r46 = /////_aTo x_r45 y_r46
AbsBinds [taIy] [d.Bar_aIB] [([taIy], f3b{-r4q,x-}, f3b_aTp)]
meth1_aTq = meth1{-r4C,x-} taIy d.Bar_aIB
f3b_aTp x_r42 y_r43 = x_r42 meth1_aTq y_r43
AbsBinds [taIS] [d.Bar_aIV] [([taIS], f3a{-r4r,x-}, f3a_aTr)]
meth1_aTs = meth1{-r4C,x-} taIS d.Bar_aIV
f3a_aTr x_r3Z y_r40 = meth1_aTs x_r3Z y_r40
AbsBinds
[taJZ, taK1, taK3]
[taJm, taJo, taJq]
[]
[([taJZ, taK1, taK3], <<<<{-r4s,x-}, <<<<_aU6)]
<<<<_aU6 x_r3T y_r3U
= :***{-ro,x-}{i} [taJZ, taK1, taK3] x_r3T y_r3U
<<<<_aU6 x_r3W y_r3X
= :***{-ro,x-}{i} [taJZ, taK1, taK3] x_r3W y_r3X
[([taJm, taJo, taJq], <<<<{-r4s,x-}, <<<<_aTt)]
<<<<_aTt x_r3T y_r3U
= :***{-ro,x-}{i} [taJm, taJo, taJq] x_r3T y_r3U
<<<<_aTt x_r3W y_r3X
= :***{-ro,x-}{i} [taJm, taJo, taJq] x_r3W y_r3X
AbsBinds
[taKk, taKm, taKo]
[taJH, taJJ, taJL]
[]
[([taKk, taKm, taKo], .....{-r4t,x-}, ....._aU7)]
....._aU7 x_r3Q y_r3R
= MkFoo3{-rm,x-}{i} [taKk, taKm, taKo] x_r3Q y_r3R
[([taJH, taJJ, taJL], .....{-r4t,x-}, ....._aTu)]
....._aTu x_r3Q y_r3R
= MkFoo3{-rm,x-}{i} [taJH, taJJ, taJL] x_r3Q y_r3R
AbsBinds
[taKF, taKH, taKJ]
[taK2, taK4, taK6]
[]
[([taKF, taKH, taKJ], ....{-r4u,x-}, ...._aU8)]
...._aU8 x_r3N y_r3O
= MkFoo3{-rm,x-}{i} [taKF, taKH, taKJ] x_r3N y_r3O
[([taK2, taK4, taK6], ....{-r4u,x-}, ...._aTv)]
...._aTv x_r3N y_r3O
= MkFoo3{-rm,x-}{i} [taK2, taK4, taK6] x_r3N y_r3O
AbsBinds
[taL0, taL2, taL4]
[taKn, taKp, taKr]
[]
[([taL0, taL2, taL4], f2a{-r4v,x-}, f2a_aU9)]
f2a_aU9 x_r3K y_r3L = :##{-rj,x-}{i} [taL0, taL2, taL4] x_r3K y_r3L
[([taKn, taKp, taKr], f2a{-r4v,x-}, f2a_aTw)]
f2a_aTw x_r3K y_r3L = :##{-rj,x-}{i} [taKn, taKp, taKr] x_r3K y_r3L
AbsBinds
[taLl, taLn, taLp]
[taKI, taKK, taKM]
[]
[([taLl, taLn, taLp], f2{-r4w,x-}, f2_aUa)]
f2_aUa x_r3H y_r3I = :##{-rj,x-}{i} [taLl, taLn, taLp] x_r3H y_r3I
[([taKI, taKK, taKM], f2{-r4w,x-}, f2_aTx)]
f2_aTx x_r3H y_r3I = :##{-rj,x-}{i} [taKI, taKK, taKM] x_r3H y_r3I
AbsBinds
[taLG, taLI, taLK]
[taL3, taL5, taL7]
[]
[([taLG, taLI, taLK], f1a{-r4x,x-}, f1a_aUb)]
f1a_aUb x_r3E y_r3F
= MkFoo1{-rk,x-}{i} [taLG, taLI, taLK] x_r3E y_r3F
[([taL3, taL5, taL7], f1a{-r4x,x-}, f1a_aTy)]
f1a_aTy x_r3E y_r3F
= MkFoo1{-rk,x-}{i} [taL3, taL5, taL7] x_r3E y_r3F
AbsBinds
[taM1, taM3, taM5]
[taLo, taLq, taLs]
[]
[([taM1, taM3, taM5], f1{-r4y,x-}, f1_aUc)]
f1_aUc x_r3B y_r3C
= MkFoo1{-rk,x-}{i} [taM1, taM3, taM5] x_r3B y_r3C
[([taLo, taLq, taLs], f1{-r4y,x-}, f1_aTz)]
f1_aTz x_r3B y_r3C
= MkFoo1{-rk,x-}{i} [taLo, taLq, taLs] x_r3B y_r3C
AbsBinds
[taMM, taMP, taMQ]
[taM9, taMc, taMd]
[]
[([taMM, taMP, taMQ], con2tag_Foo#_rFK, con2tag_Foo#_aUd)]
con2tag_Foo#_aUd (MkFoo1{-rk,x-}{i} _ _) = 0#
con2tag_Foo#_aUd (:##{-rj,x-}{i} _ _) = 1#
con2tag_Foo#_aUd (MkFoo3{-rm,x-}{i} _ _) = 2#
con2tag_Foo#_aUd (:***{-ro,x-}{i} _ _) = 3#
[([taM9, taMc, taMd], con2tag_Foo#_rF7, con2tag_Foo#_aTA)]
con2tag_Foo#_aTA (MkFoo1{-rk,x-}{i} _ _) = 0#
con2tag_Foo#_aTA (:##{-rj,x-}{i} _ _) = 1#
con2tag_Foo#_aTA (MkFoo3{-rm,x-}{i} _ _) = 2#
con2tag_Foo#_aTA (:***{-ro,x-}{i} _ _) = 3#
AbsBinds
[taN8, taNb, taNe]
[d.Eq_aOZ, d.Eq_aP0, d.Eq_aP1]
[([taN8, taNb, taNe], $d1{-rTW,x-}, d.Eq_aMY)]
d.Eq_aP5 = d.Eq_aOZ
==_aUe = PrelBase.=={-8Z,p-} taN8 d.Eq_aP5
d.Eq_aP7 = d.Eq_aP0
==_aUf = PrelBase.=={-8Z,p-} taNb d.Eq_aP7
d.Eq_aP9 = d.Eq_aP1
==_aUg = PrelBase.=={-8Z,p-} taNe d.Eq_aP9
==_aUh = ==_aUi
AbsBinds [] [] [([], ==_aUi, ==_aUk)]
==_aUl = ==_aUe
==_aUm = ==_aUf
==_aUn = ==_aUf
==_aUo = ==_aUg
==_aUp = ==_aUg
==_aUk (MkFoo1{-rk,x-}{i} a1_rFT a2_rFU)
(MkFoo1{-rk,x-}{i} b1_rFV b2_rFW)
= (a1_rFT ==_aUe b1_rFV)
PrelBase.&&{-rgw,p-} (a2_rFU ==_aUl b2_rFW)
==_aUk (:##{-rj,x-}{i} a1_rFY a2_rFZ)
(:##{-rj,x-}{i} b1_rG0 b2_rG1)
= (a1_rFY ==_aUf b1_rG0)
PrelBase.&&{-rgw,p-} (a2_rFZ ==_aUg b2_rG1)
==_aUk (MkFoo3{-rm,x-}{i} a1_rG3 a2_rG4)
(MkFoo3{-rm,x-}{i} b1_rG5 b2_rG6)
= (a1_rG3 ==_aUm b1_rG5)
PrelBase.&&{-rgw,p-} (a2_rG4 ==_aUn b2_rG6)
==_aUk (:***{-ro,x-}{i} a1_rG8 a2_rG9)
(:***{-ro,x-}{i} b1_rGa b2_rGb)
= (a1_rG8 ==_aUo b1_rGa)
PrelBase.&&{-rgw,p-} (a2_rG9 ==_aUp b2_rGb)
==_aUk a_rGd b_rGe = PrelBase.False{-58,w-}{i}
AbsBinds [] [] [([], /=_aUj, /=_aUq)]
/=_aUq a_rGi b_rGj = PrelBase.not{-rhu,p-} ==_aUh a_rGi b_rGj
d.Eq_aMY = ({-dict-} [] [==_aUi, /=_aUj])
[taMv, taMy, taMB]
[d.Eq_aOm, d.Eq_aOn, d.Eq_aOo]
[([taMv, taMy, taMB], $d1{-rTm,x-}, d.Eq_aMl)]
d.Eq_aOs = d.Eq_aOm
==_aTG = PrelBase.=={-8Z,p-} taMv d.Eq_aOs
d.Eq_aOu = d.Eq_aOn
==_aTF = PrelBase.=={-8Z,p-} taMy d.Eq_aOu
d.Eq_aOw = d.Eq_aOo
==_aTE = PrelBase.=={-8Z,p-} taMB d.Eq_aOw
==_aTD = ==_aTC
AbsBinds [] [] [([], ==_aTC, ==_aTH)]
==_aTM = ==_aTG
==_aTL = ==_aTF
==_aTK = ==_aTF
==_aTJ = ==_aTE
==_aTI = ==_aTE
==_aTH (MkFoo1{-rk,x-}{i} a1_rFg a2_rFh)
(MkFoo1{-rk,x-}{i} b1_rFi b2_rFj)
= (a1_rFg ==_aTG b1_rFi)
PrelBase.&&{-rfg,p-} (a2_rFh ==_aTM b2_rFj)
==_aTH (:##{-rj,x-}{i} a1_rFl a2_rFm)
(:##{-rj,x-}{i} b1_rFn b2_rFo)
= (a1_rFl ==_aTF b1_rFn)
PrelBase.&&{-rfg,p-} (a2_rFm ==_aTE b2_rFo)
==_aTH (MkFoo3{-rm,x-}{i} a1_rFq a2_rFr)
(MkFoo3{-rm,x-}{i} b1_rFs b2_rFt)
= (a1_rFq ==_aTL b1_rFs)
PrelBase.&&{-rfg,p-} (a2_rFr ==_aTK b2_rFt)
==_aTH (:***{-ro,x-}{i} a1_rFv a2_rFw)
(:***{-ro,x-}{i} b1_rFx b2_rFy)
= (a1_rFv ==_aTJ b1_rFx)
PrelBase.&&{-rfg,p-} (a2_rFw ==_aTI b2_rFy)
==_aTH a_rFA b_rFB = PrelBase.False{-58,w-}{i}
AbsBinds [] [] [([], /=_aTB, /=_aTN)]
/=_aTN a_rFF b_rFG = PrelBase.not{-rga,p-} ==_aTD a_rFF b_rFG
d.Eq_aMl = ({-dict-} [] [==_aTC, /=_aTB])
AbsBinds
[taTP, taTQ, taTR]
[taTc, taTe, taTd]
[]
[([taTP, taTQ, taTR], $d2{-rTX,x-}, d.Eval_aPk)]
d.Eval_aPk = ({-dict-} [] [])
[([taTc, taTe, taTd], $d2{-rTl,x-}, d.Eval_aOH)]
d.Eval_aOH = ({-dict-} [] [])
AbsBinds
[taPy, taPz, taPA]
[d.Ord_aTt, d.Ord_aTu, d.Ord_aTv, d.Eq_aTw]
[([taPy, taPz, taPA], $d3{-rTY,x-}, d.Ord_aPs)]
d.Eq_aTs = d.Eq_aTw
d.Ord_aSg = d.Ord_aTt
d.Ord_aSh = d.Ord_aTu
d.Ord_aSi = d.Ord_aTv
compare_aUr = compare_aUx
compare_aUs = compare_aUx
compare_aUt = compare_aUx
compare_aUu = compare_aUx
compare_aUv = compare_aUx
compare_aUw = compare_aUx
AbsBinds [] [] [([], compare_aUx, compare_aUE)]
compare_aUE a_rHb b_rHc
= case con2tag_Foo#_rFK [taPA, taPy, taPz] a_rHb of
a#_rHZ
-> case con2tag_Foo#_rFK [taPA, taPy, taPz] b_rHc of
b#_rI1
-> if a#_rHZ GHC.==#{-79,w-}{I} b#_rI1 then
case cmp_eq_aUF a_rHb b_rHc of
PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
[taOV, taOW, taOX]
[d.Ord_aSP, d.Ord_aSQ, d.Ord_aSR, d.Eq_aSS]
[([taOV, taOW, taOX], $d3{-rTk,x-}, d.Ord_aOP)]
d.Eq_aST = d.Eq_aSS
d.Ord_aRD = d.Ord_aSP
d.Ord_aRE = d.Ord_aSQ
d.Ord_aRF = d.Ord_aSR
compare_aU0 = compare_aTU
compare_aTZ = compare_aTU
compare_aTY = compare_aTU
compare_aTX = compare_aTU
compare_aTW = compare_aTU
compare_aTV = compare_aTU
AbsBinds [] [] [([], compare_aTU, compare_aU1)]
compare_aU1 a_rGy b_rGz
= case con2tag_Foo#_rF7 [taOX, taOV, taOW] a_rGy of
a#_rHm
-> case con2tag_Foo#_rF7 [taOX, taOV, taOW] b_rGz of
b#_rHo
-> if a#_rHm GHC.==#{-79,w-}{I} b#_rHo then
case cmp_eq_aU2 a_rGy b_rGz of
PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
else
if a#_rHZ GHC.<#{-7b,w-}{I} b#_rI1 then
PrelBase.LT{-rb7,p-}{i}
if a#_rHm GHC.<#{-7b,w-}{I} b#_rHo then
PrelBase.LT{-ram,p-}{i}
else
PrelBase.GT{-rb8,p-}{i}
PrelBase.GT{-ran,p-}{i}
where
{- nonrec -}
AbsBinds
[taRs, taRt, taRA]
[d.Ord_aRI, d.Ord_aRK, d.Ord_aRM]
[([taRs, taRt, taRA], cmp_eq_rHe, cmp_eq_aUG)]
compare_aUH = PrelBase.compare{-rgL,p-} taRs d.Ord_aRI
compare_aUI = compare_aUH
compare_aUJ = PrelBase.compare{-rgL,p-} taRt d.Ord_aRK
compare_aUK = PrelBase.compare{-rgL,p-} taRA d.Ord_aRM
compare_aUL = compare_aUJ
compare_aUM = compare_aUJ
compare_aUN = compare_aUK
compare_aUO = compare_aUK
cmp_eq_aUG (MkFoo1{-rk,x-}{i} a1_rHg a2_rHh)
(MkFoo1{-rk,x-}{i} b1_rHi b2_rHj)
= case compare_aUH a1_rHg b1_rHi of
PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
[taQP, taQQ, taQX]
[d.Ord_aR5, d.Ord_aR7, d.Ord_aR9]
[([taQP, taQQ, taQX], cmp_eq_rGB, cmp_eq_aU3)]
compare_aUb = PrelBase.compare{-rft,p-} taQP d.Ord_aR5
compare_aUa = compare_aUb
compare_aU9 = PrelBase.compare{-rft,p-} taQQ d.Ord_aR7
compare_aU8 = PrelBase.compare{-rft,p-} taQX d.Ord_aR9
compare_aU7 = compare_aU9
compare_aU6 = compare_aU9
compare_aU5 = compare_aU8
compare_aU4 = compare_aU8
cmp_eq_aU3 (MkFoo1{-rk,x-}{i} a1_rGD a2_rGE)
(MkFoo1{-rk,x-}{i} b1_rGF b2_rGG)
= case compare_aUb a1_rGD b1_rGF of
PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
PrelBase.EQ{-r4n,p-}{i}
-> case compare_aUI a2_rHh b2_rHj of
PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
-> case compare_aUa a2_rGE b2_rGG of
PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
cmp_eq_aUG (:##{-rj,x-}{i} a1_rHr a2_rHs)
(:##{-rj,x-}{i} b1_rHt b2_rHu)
= case compare_aUJ a1_rHr b1_rHt of
PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
cmp_eq_aU3 (:##{-rj,x-}{i} a1_rGO a2_rGP)
(:##{-rj,x-}{i} b1_rGQ b2_rGR)
= case compare_aU9 a1_rGO b1_rGQ of
PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
PrelBase.EQ{-r4n,p-}{i}
-> case compare_aUK a2_rHs b2_rHu of
PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
-> case compare_aU8 a2_rGP b2_rGR of
PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
cmp_eq_aUG (MkFoo3{-rm,x-}{i} a1_rHC a2_rHD)
(MkFoo3{-rm,x-}{i} b1_rHE b2_rHF)
= case compare_aUL a1_rHC b1_rHE of
PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
cmp_eq_aU3 (MkFoo3{-rm,x-}{i} a1_rGZ a2_rH0)