projects / ghc-hetmet.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
[project @ 1997-07-31 00:05:10 by sof]
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc049.stderr
diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc049.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc049.stderr
deleted file mode 100644 (file)
index 4350d75..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc049.stderr
+++ /dev/null
@@ -1,239 +0,0 @@
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-{- nonrec -}
-d.Eq_a11Z =
-    PrelBase.$d7{-rcB,p-}
-d.Eq_a120 =
-    PrelBase.$d32{-rc8,p-}
-d.Eq_a11X =
-    PrelTup.$d9{-ry4,p-}
-       [PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}]
-       [d.Eq_a11Z, d.Eq_a120]
-d.Eq_a11V =
-    PrelBase.$d27{-rc2,p-}
-       (PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})
-       d.Eq_a11X
-d.Eq_a11T =
-    PrelBase.$d27{-rc2,p-}
-       [(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})]
-       d.Eq_a11V
-==_a12u =
-    PrelBase.=={-8Y,p-}
-       [[(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})]]
-       d.Eq_a11T
-d.Num_a125 =
-    PrelBase.$d3{-rc5,p-}
-fromInt_a12t =
-    PrelBase.fromInt{-8R,p-}
-       PrelBase.Int{-3g,p-}
-       d.Num_a125
-lit_a12s =
-    fromInt_a12t PrelBase.I#{-5b,p-}{i} 1#
-fromInt_a12r =
-    fromInt_a12t
-lit_a12q =
-    fromInt_a12r PrelBase.I#{-5b,p-}{i} 2#
-d.Eq_a12b =
-    PrelBase.$d33{-rc9,p-}
-d.Eq_a129 =
-    PrelBase.$d27{-rc2,p-}
-       PrelBase.Char{-38,p-}
-       d.Eq_a12b
-==_a12p =
-    PrelBase.=={-8Y,p-}
-       [PrelBase.Char{-38,p-}]
-       d.Eq_a129
-d.Eq_a12i =
-    d.Eq_a11Z
-d.Eq_a12g =
-    PrelBase.$d27{-rc2,p-}
-       PrelBase.Int{-3g,p-}
-       d.Eq_a12i
-d.Eq_a12e =
-    PrelBase.$d27{-rc2,p-}
-       [PrelBase.Int{-3g,p-}]
-       d.Eq_a12g
-==_a12o =
-    PrelBase.=={-8Y,p-}
-       [[PrelBase.Int{-3g,p-}]]
-       d.Eq_a12e
-lit_a12n =
-    lit_a12s
-lit_a12m =
-    lit_a12q
-fromInt_a12l =
-    fromInt_a12t
-lit_a12j =
-    fromInt_a12l PrelBase.I#{-5b,p-}{i} 3#
-{- nonrec -}
-AbsBinds [] [] [([], main3{-r47,x-}, main3_aXA)]
-    main3_aXA
-       =   [[lit_a12n] (PrelBase.Int{-3g,p-}),
-            [lit_a12m] (PrelBase.Int{-3g,p-})] ([PrelBase.Int{-3g,p-}])
-           ==_a12o [[lit_a12j] (PrelBase.Int{-3g,p-})] ([PrelBase.Int{-3g,p-}])
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], main2{-r48,x-}, main2_aYl)]
-    main2_aYl
-       =   "Hello" ==_a12p "Goodbye"
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], main1{-r49,x-}, main1_aYv)]
-    main1_aYv
-       =   [[(lit_a12s,
-              PrelBase.True{-5E,p-}{i})] ((PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}))] ([(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})])
-           ==_a12u [[(lit_a12q,
-                      PrelBase.False{-58,p-}{i})] ((PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}))] ([(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})])
-{- nonrec -}
-{- rec -}
-AbsBinds
-[t{-aZp-}]
-[d.Eq_aZS]
-[([t{-aZp-}], mem3{-r4b,x-}, mem3_aZc), ([t{-aZp-}],
-                                        mem4{-r4a,x-},
-                                        mem4_aZd)]
-    d.Eq_aZQ =
-       PrelBase.$d27{-rc2,p-}
-           t{-aZp-}
-           d.Eq_aZS
-    ==_a12v =
-       PrelBase.=={-8Y,p-}
-           [t{-aZp-}]
-           d.Eq_aZQ
-    mem3_aZc
-       x_r3V PrelBase.[]{-5i,p-}{i}
-               =   PrelBase.False{-58,p-}{i}
-    mem3_aZc
-       x_r3Y (y_r40 PrelBase.:{-55,p-}{i} ys_r41)
-               =   if [x_r3Y] (t{-aZp-}) ==_a12v [y_r40] (t{-aZp-}) then
-                       mem4_aZd x_r3Y ys_r41
-                   else
-                       PrelBase.False{-58,p-}{i}
-    mem4_aZd
-       y_r43 (x_r45 PrelBase.:{-55,p-}{i} xs_r46)
-               =   mem3_aZc y_r43 xs_r46
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], oR1{-r4d,x-}, oR1_aZU)]
-    oR1_aZU
-       a_r3J b_r3L
-               =   if a_r3J then PrelBase.True{-5E,p-}{i} else b_r3L
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], oR{-r4f,x-}, oR_a102)]
-    oR_a102
-       a_r3x b_r3z
-               =   if a_r3x then PrelBase.True{-5E,p-}{i} else b_r3z
-{- nonrec -}
-{- rec -}
-AbsBinds
-[t{-a10n-}]
-[d.Eq_a10R]
-[([t{-a10n-}], mem2{-r4c,x-}, mem2_a10a), ([t{-a10n-}],
-                                          mem1{-r4e,x-},
-                                          mem1_a10b)]
-    ==_a12x =
-       PrelBase.=={-8Y,p-}
-           t{-a10n-}
-           d.Eq_a10R
-    ==_a12w =
-       ==_a12x
-    mem2_a10a
-       x_r3N PrelBase.[]{-5i,p-}{i}
-               =   PrelBase.False{-58,p-}{i}
-    mem2_a10a
-       x_r3Q (y_r3S PrelBase.:{-55,p-}{i} ys_r3T)
-               =   (x_r3Q ==_a12x y_r3S) oR{-r4f,x-} (mem1_a10b x_r3Q ys_r3T)
-    mem1_a10b
-       x_r3B PrelBase.[]{-5i,p-}{i}
-               =   PrelBase.False{-58,p-}{i}
-    mem1_a10b
-       x_r3E (y_r3G PrelBase.:{-55,p-}{i} ys_r3H)
-               =   (x_r3E ==_a12w y_r3G) oR1{-r4d,x-} (mem2_a10a x_r3E ys_r3H)
-{- nonrec -}
-{- rec -}
-AbsBinds
-[t{-a10Z-}]
-[d.Eq_a11c]
-[([t{-a10Z-}], mem{-r4g,x-}, mem_a10T)]
-    ==_a12y =
-       PrelBase.=={-8Y,p-}
-           t{-a10Z-}
-           d.Eq_a11c
-    mem_a10T
-       x_r3p PrelBase.[]{-5i,p-}{i}
-               =   PrelBase.False{-58,p-}{i}
-    mem_a10T
-       x_r3s (y_r3u PrelBase.:{-55,p-}{i} ys_r3v)
-               =   (x_r3s ==_a12y y_r3u) oR{-r4f,x-} (mem_a10T x_r3s ys_r3v)
-{- nonrec -}
-{- rec -}
-AbsBinds
-[riC{-a11y-}]
-[d.Ord_a11J, d.Num_a11M]
-[([riC{-a11y-}], fib{-r4h,x-}, fib_a11e)]
-    <=_a12H =
-       PrelBase.<={-rdK,p-}
-           riC{-a11y-}
-           d.Ord_a11J
-    fromInt_a12G =
-       PrelBase.fromInt{-8R,p-}
-           riC{-a11y-}
-           d.Num_a11M
-    lit_a12F =
-       fromInt_a12G PrelBase.I#{-5b,p-}{i} 2#
-    d.Num_a11O =
-       d.Num_a11M
-    +_a12E =
-       PrelBase.+{-rdD,p-}
-           riC{-a11y-}
-           d.Num_a11O
-    d.Num_a11Q =
-       d.Num_a11M
-    -_a12D =
-       PrelBase.-{-817,p-}
-           riC{-a11y-}
-           d.Num_a11Q
-    fromInt_a12C =
-       fromInt_a12G
-    lit_a12B =
-       fromInt_a12C PrelBase.I#{-5b,p-}{i} 1#
-    -_a12A =
-       -_a12D
-    lit_a12z =
-       lit_a12F
-    fib_a11e
-       n_r3n   =   if n_r3n <=_a12H lit_a12F then
-                       n_r3n
-                   else
-                       (fib_a11e n_r3n -_a12D lit_a12B)
-                       +_a12E (fib_a11e n_r3n -_a12A lit_a12z)
-{- nonrec -}
-tc049.hs:27: 
-    Warning: Possibly incomplete patterns
-       in the definition of function `mem4'
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: $d1 1 $d11 1 $d14 1 $d15 1 $d2 1 $d21 1 $d26 1 $d27 1 $d3 1 $d32 1 $d33 1 $d34 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d45 1 $d46 1 $d49 1 $d50 1 $d51 1 $d54 1 $d55 1 $d6 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
-PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
-PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
-_exports_
-ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
-_declarations_
-1 fib _:_ _forall_ [a] {PrelBase.Ord a, PrelBase.Num a} => a -> a ;;
-1 main1 _:_ PrelBase.Bool ;;
-1 main2 _:_ PrelBase.Bool ;;
-1 main3 _:_ PrelBase.Bool ;;
-1 mem _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
-1 mem1 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
-1 mem2 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
-1 mem3 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
-1 mem4 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
-1 oR _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
-1 oR1 _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)