Skip to content

GitLab

Commit 80d19100 authored by simonm's avatar simonm
Browse files

[project @ 1997-09-05 14:11:05 by simonm] 

Mondo commit to get tests working.
parent e3f0d880
Expand all Hide whitespace changes
Inline Side-by-side
ghc/tests/Makefile
View file @ 80d19100
TOP = ..
TOP = .
include $(TOP)/mk/boilerplate.mk
SUBDIRS = reader rename simplCore typecheck deSugar printing ccall deriving programs
SUBDIRS = ccall deriving deSugar printing reader rename simplCore typecheck
#programs
include $(TOP)/mk/target.mk
......
ghc/tests/ccall/Makefile 0 → 100644
View file @ 80d19100
TOP = ..
include $(TOP)/mk/boilerplate.mk
SUBDIRS = should_compile should_fail
include $(TOP)/mk/target.mk
ghc/tests/ccall/should_compile/Makefile
View file @ 80d19100
TOP = ../../..
TOP = ../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_compile.mk
HS_SRCS = $(wildcard *.hs)
SRC_RUNTEST_OPTS += -o1 $*.stdout -o2 $*.stderr -x 0
HC_OPTS += -dcore-lint -fglasgow-exts
cc002_RUNTEST_OPTS = -x 1
cc004_RUNTEST_OPTS = -x 1
cc007_RUNTEST_OPTS = -x 1
# Note that these tests are still in a state of flux... don't believe errors
# they report. In fact, these aren't really very good tests at all...
......@@ -21,12 +15,4 @@ cc005_HC_OPTS = -fvia-C -ddump-stg -ddump-flatC
cc006_HC_OPTS = -fvia-C -ddump-stg -ddump-flatC
cc007_HC_OPTS = -fvia-C -ddump-stg -ddump-flatC
%.o : %.hs
%.o : %.hs
$(RUNTEST) $(HC) $(RUNTEST_OPTS) $(HC_OPTS) -c $< -o $@ -osuf $(subst .,,$(suffix $@))
all :: $(HS_OBJS)
include $(TOP)/mk/target.mk
ghc/tests/ccall/should_compile/cc001.stderr
View file @ 80d19100
......@@ -2,332 +2,261 @@
================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
{- nonrec -}
d.Fractional_a16j =
PrelNum.$d23{-rtW,p-}
fromRational_a16o =
PrelNum.fromRational{-8T,p-}
PrelBase.Float{-3c,p-}
d.Fractional_a16j
lit_a16r =
fromRational_a16o
1.0000000000000000
d.Fractional_a16n =
PrelNum.$d14{-rtM,p-}
fromRational_a16q =
PrelNum.fromRational{-8T,p-}
PrelBase.Double{-3a,p-}
d.Fractional_a16n
lit_a16p =
fromRational_a16q
2.0000000000000000
{- nonrec -}
AbsBinds [] [] [([], c{-r5,x-}, c_a15h)]
c_a15h
x1_r4l x2_r4n x3_r4p x4_r4r
= STBase.ST{-5G,p-}{i}
[GHC.RealWorld{-3s,p-}, PrelBase.Float{-3c,p-}]
_ccall_ c
x1_r4l x2_r4n x3_r4p x4_r4r
{- nonrec -}
{- nonrec -}
AbsBinds [] [] [([], b{-r3,x-}, b_a15F)]
b_a15F
x_r4j = STBase.ST{-5G,p-}{i}
[GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
_ccall_ b
x_r4j
{- nonrec -}
{- nonrec -}
AbsBinds [] [] [([], a{-r1,x-}, a_a15R)]
a_a15R
= STBase.ST{-5G,p-}{i}
[GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
_ccall_ a
{- nonrec -}
{- nonrec -}
AbsBinds [] [] [([], d{-r7,x-}, d_a15Y)]
d_a15Y
= STBase.thenPrimIO{-r4w,p-}
[PrelBase.Int{-3g,p-}, PrelBase.Float{-3c,p-}]
a{-r1,x-}
(\ x_r4t -> STBase.thenPrimIO{-r4w,p-}
[PrelBase.Int{-3g,p-}, PrelBase.Float{-3c,p-}]
(b{-r3,x-}
x_r4t)
(\ y_r4v -> c{-r5,x-}
y_r4v 'f' lit_a16r lit_a16p))
{- nonrec -}
AbsBinds [] [] [([], c{-r5,x-}, c_aZc)]
c_aZc x1_r4l x2_r4m x3_r4n x4_r4o
= STBase.ST{-5G,w-}{i}
[GHC.RealWorld{-3s,W-}, PrelBase.Float{-3c,W-}] _ccall_ c
x1_r4l x2_r4m x3_r4n x4_r4o
AbsBinds [] [] [([], b{-r3,x-}, b_aZE)]
b_aZE x_r4j
= STBase.ST{-5G,w-}{i}
[GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ b x_r4j
AbsBinds [] [] [([], a{-r1,x-}, a_aZR)]
a_aZR
= STBase.ST{-5G,w-}{i}
[GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ a
AbsBinds [] [] [([], d{-r7,x-}, d_aZY)]
d_aZY
= STBase.thenPrimIO{-r4t,p-}
[PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-}]
a{-r1,x-}
(\ x_r4q
-> STBase.thenPrimIO{-r4t,p-}
[PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-}]
(b{-r3,x-} x_r4q)
(\ y_r4s -> c{-r5,x-} y_r4s 'f' lit_a10r lit_a10t))
d.Fractional_a10l = PrelNum.$d23{-rsg,p-}
fromRational_a10q =
PrelNum.fromRational{-8T,p-} PrelBase.Float{-3c,W-}
d.Fractional_a10l
lit_a10r = fromRational_a10q 1.0000000000000000
d.Fractional_a10p = PrelNum.$d14{-rs6,p-}
fromRational_a10s =
PrelNum.fromRational{-8T,p-} PrelBase.Double{-3a,W-}
d.Fractional_a10p
lit_a10t = fromRational_a10s 2.0000000000000000
================================================================================
Desugared:
Rec {
d.Fractional_a16j ::
{PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,p-}}
{-# L #-}
d.Fractional_a16j =
PrelNum.$d23{-rtW,p-}
fromRational_a16o ::
PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
{-# L #-}
fromRational_a16o =
PrelNum.fromRational{-8T,p-}
_@_ PrelBase.Float{-3c,p-} d.Fractional_a16j
lit_a16r ::
PrelBase.Float{-3c,p-}
{-# L #-}
lit_a16r =
fromRational_a16o
_rational_ 1 1
d.Fractional_a16n ::
{PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,p-}}
{-# L #-}
d.Fractional_a16n =
PrelNum.$d14{-rtM,p-}
fromRational_a16q ::
PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
{-# L #-}
fromRational_a16q =
PrelNum.fromRational{-8T,p-}
_@_ PrelBase.Double{-3a,p-} d.Fractional_a16n
lit_a16p ::
PrelBase.Double{-3a,p-}
{-# L #-}
lit_a16p =
fromRational_a16q
_rational_ 2 1
c_a15h ::
PrelBase.Int{-3g,p-}
-> PrelBase.Char{-38,p-}
-> PrelBase.Float{-3c,p-}
-> PrelBase.Double{-3a,p-}
-> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
c_aZc :: PrelBase.Int{-3g,W-}
-> PrelBase.Char{-38,W-}
-> PrelBase.Float{-3c,W-}
-> PrelBase.Double{-3a,W-}
-> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
{-# L #-}
c_a15h =
\ x1_r4l ::
PrelBase.Int{-3g,p-}
c_aZc =
\ x1_r4l :: PrelBase.Int{-3g,W-}
{-# L #-}
x1_r4l x2_r4n ::
PrelBase.Char{-38,p-}
x1_r4l x2_r4m :: PrelBase.Char{-38,W-}
{-# L #-}
x2_r4n x3_r4p ::
PrelBase.Float{-3c,p-}
x2_r4m x3_r4n :: PrelBase.Float{-3c,W-}
{-# L #-}
x3_r4p x4_r4r ::
PrelBase.Double{-3a,p-}
x3_r4n x4_r4o :: PrelBase.Double{-3a,W-}
{-# L #-}
x4_r4r ->
x4_r4o ->
let {
ds_d1et ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-> (PrelBase.Float{-3c,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
ds_d17v :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-> (PrelBase.Float{-3c,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
{-# L #-}
ds_d1et =
\ ds_d1ez ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
ds_d17v =
\ ds_d17B :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
{-# L #-}
ds_d1ez ->
case ds_d1ez of { STBase.S#{-5D,p-}{i} ds_d1eI ->
case x1_r4l of { PrelBase.I#{-5b,p-}{i} ds_d1eR ->
case x2_r4n of { PrelBase.C#{-54,p-}{i} ds_d1f0 ->
case x3_r4p of { PrelBase.F#{-59,p-}{i} ds_d1f9 ->
case x4_r4r of { PrelBase.D#{-56,p-}{i} ds_d1fw ->
ds_d17B ->
case ds_d17B of { STBase.S#{-5D,w-}{i} ds_d18A ->
case x1_r4l of { PrelBase.I#{-5b,w-}{i} ds_d18J ->
case x2_r4m of { PrelBase.C#{-54,w-}{i} ds_d18S ->
case x3_r4n of { PrelBase.F#{-59,w-}{i} ds_d191 ->
case x4_r4o of { PrelBase.D#{-56,w-}{i} ds_d19o ->
case
_ccall_ c [(STBase.StateAndFloat#{-3C,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-}) GHC.Int#{-3f,p-} GHC.Char#{-37,p-} GHC.Float#{-3b,p-} GHC.Double#{-39,p-}]!
ds_d1eI ds_d1eR ds_d1f0 ds_d1f9 ds_d1fw
_ccall_ c [(STBase.StateAndFloat#{-3C,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-}) GHC.Int#{-3f,W-} GHC.Char#{-37,W-} GHC.Float#{-3b,W-} GHC.Double#{-39,W-}]!
ds_d18A ds_d18J ds_d18S ds_d191 ds_d19o
of {
STBase.StateAndFloat#{-5u,p-}{i} ds_d1fZ ds_d1fX ->
STBase.StateAndFloat#{-5u,w-}{i} ds_d19R ds_d19P ->
let {
ds_d1fO ::
PrelBase.Float{-3c,p-}
ds_d19G :: PrelBase.Float{-3c,W-}
{-# L #-}
ds_d1fO =
PrelBase.F#{-59,p-}{i}
{ds_d1fX} } in
ds_d19G =
PrelBase.F#{-59,w-}{i} {ds_d19P} } in
let {
ds_d1fS ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
ds_d19K :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
{-# L #-}
ds_d1fS =
STBase.S#{-5D,p-}{i}
{_@_ GHC.RealWorld{-3s,p-} ds_d1fZ}
ds_d19K =
STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d19R}
} in
PrelTup.(,){-62,p-}{i}
{_@_ PrelBase.Float{-3c,p-}
_@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
ds_d1fO
ds_d1fS};};};};};};}
PrelTup.(,){-62,w-}{i}
{_@_ PrelBase.Float{-3c,W-}
_@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
ds_d19G
ds_d19K};};};};};};}
} in
STBase.ST{-5G,p-}{i}
_@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Float{-3c,p-} ds_d1et
c{-r5,x-} ::
PrelBase.Int{-3g,p-}
-> PrelBase.Char{-38,p-}
-> PrelBase.Float{-3c,p-}
-> PrelBase.Double{-3a,p-}
-> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
STBase.ST{-5G,w-}{i}
_@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Float{-3c,W-} ds_d17v
c{-r5,x-} :: PrelBase.Int{-3g,W-}
-> PrelBase.Char{-38,W-}
-> PrelBase.Float{-3c,W-}
-> PrelBase.Double{-3a,W-}
-> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
{-# L #-}
c{-r5,x-} =
c_a15h
b_a15F ::
PrelBase.Int{-3g,p-} -> STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
c_aZc
b_aZE :: PrelBase.Int{-3g,W-}
-> STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
{-# L #-}
b_a15F =
\ x_r4j ::
PrelBase.Int{-3g,p-}
b_aZE =
\ x_r4j :: PrelBase.Int{-3g,W-}
{-# L #-}
x_r4j ->
let {
ds_d1gj ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
ds_d1ab :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
{-# L #-}
ds_d1gj =
\ ds_d1gp ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
ds_d1ab =
\ ds_d1ah :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
{-# L #-}
ds_d1gp ->
case ds_d1gp of { STBase.S#{-5D,p-}{i} ds_d1gy ->
case x_r4j of { PrelBase.I#{-5b,p-}{i} ds_d1gM ->
ds_d1ah ->
case ds_d1ah of { STBase.S#{-5D,w-}{i} ds_d1aq ->
case x_r4j of { PrelBase.I#{-5b,w-}{i} ds_d1aE ->
case
_ccall_ b [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-}) GHC.Int#{-3f,p-}]!
ds_d1gy ds_d1gM
_ccall_ b [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-}) GHC.Int#{-3f,W-}]!
ds_d1aq ds_d1aE
of {
STBase.StateAndInt#{-5v,p-}{i} ds_d1hf ds_d1hd ->
STBase.StateAndInt#{-5v,w-}{i} ds_d1b7 ds_d1b5 ->
let {
ds_d1h4 ::
PrelBase.Int{-3g,p-}
ds_d1aW :: PrelBase.Int{-3g,W-}
{-# L #-}
ds_d1h4 =
PrelBase.I#{-5b,p-}{i}
{ds_d1hd} } in
ds_d1aW =
PrelBase.I#{-5b,w-}{i} {ds_d1b5} } in
let {
ds_d1h8 ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
ds_d1b0 :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
{-# L #-}
ds_d1h8 =
STBase.S#{-5D,p-}{i}
{_@_ GHC.RealWorld{-3s,p-} ds_d1hf}
ds_d1b0 =
STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d1b7}
} in
PrelTup.(,){-62,p-}{i}
{_@_ PrelBase.Int{-3g,p-}
_@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
ds_d1h4
ds_d1h8};};};}
PrelTup.(,){-62,w-}{i}
{_@_ PrelBase.Int{-3g,W-}
_@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
ds_d1aW
ds_d1b0};};};}
} in
STBase.ST{-5G,p-}{i}
_@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d1gj
b{-r3,x-} ::
PrelBase.Int{-3g,p-} -> STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
STBase.ST{-5G,w-}{i}
_@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_d1ab
b{-r3,x-} :: PrelBase.Int{-3g,W-}
-> STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
{-# L #-}
b{-r3,x-} =
b_a15F
a_a15R ::
STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
b_aZE
a_aZR :: STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
{-# L #-}
a_a15R =
a_aZR =
let {
ds_d1hy ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
ds_d1bq :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
{-# L #-}
ds_d1hy =
\ ds_d1hE ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
ds_d1bq =
\ ds_d1bw :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
{-# L #-}
ds_d1hE ->
case ds_d1hE of { STBase.S#{-5D,p-}{i} ds_d1hP ->
ds_d1bw ->
case ds_d1bw of { STBase.S#{-5D,w-}{i} ds_d1bH ->
case
_ccall_ a [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
ds_d1hP
_ccall_ a [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
ds_d1bH
of {
STBase.StateAndInt#{-5v,p-}{i} ds_d1ii ds_d1ig ->
STBase.StateAndInt#{-5v,w-}{i} ds_d1ca ds_d1c8 ->
let {
ds_d1i7 ::
PrelBase.Int{-3g,p-}
ds_d1bZ :: PrelBase.Int{-3g,W-}
{-# L #-}
ds_d1i7 =
PrelBase.I#{-5b,p-}{i}
{ds_d1ig} } in
ds_d1bZ =
PrelBase.I#{-5b,w-}{i} {ds_d1c8} } in
let {
ds_d1ib ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
ds_d1c3 :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
{-# L #-}
ds_d1ib =
STBase.S#{-5D,p-}{i}
{_@_ GHC.RealWorld{-3s,p-} ds_d1ii}
ds_d1c3 =
STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d1ca}
} in
PrelTup.(,){-62,p-}{i}
{_@_ PrelBase.Int{-3g,p-}
_@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
ds_d1i7
ds_d1ib};};}
PrelTup.(,){-62,w-}{i}
{_@_ PrelBase.Int{-3g,W-}
_@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
ds_d1bZ
ds_d1c3};};}
} in
STBase.ST{-5G,p-}{i}
_@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d1hy
a{-r1,x-} ::
STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
STBase.ST{-5G,w-}{i}
_@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_d1bq
a{-r1,x-} :: STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
{-# L #-}
a{-r1,x-} =
a_a15R
d_a15Y ::
STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
a_aZR
d_aZY :: STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
{-# L #-}
d_a15Y =
d_aZY =
let {
ds_d1iE ::
PrelBase.Int{-3g,p-}
-> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
ds_d1cw :: PrelBase.Int{-3g,W-}
-> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
{-# L #-}
ds_d1iE =
\ x_r4t ::
PrelBase.Int{-3g,p-}
ds_d1cw =
\ x_r4q :: PrelBase.Int{-3g,W-}
{-# L #-}
x_r4t ->
x_r4q ->
let {
ds_d1iT ::
STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
ds_d1cL :: STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
{-# L #-}
ds_d1iT =
b{-r3,x-}
x_r4t } in
ds_d1cL =
b{-r3,x-} x_r4q } in
let {
ds_d1iX ::
PrelBase.Int{-3g,p-}
-> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
ds_d1cP :: PrelBase.Int{-3g,W-}
-> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
{-# L #-}
ds_d1iX =
\ y_r4v ::
PrelBase.Int{-3g,p-}
ds_d1cP =
\ y_r4s :: PrelBase.Int{-3g,W-}
{-# L #-}
y_r4v ->
let {
ds_d1jf ::
PrelBase.Char{-38,p-}
{-# L #-}
ds_d1jf =
PrelBase.C#{-54,p-}{i}
{'f'}
} in
c{-r5,x-}
y_r4v ds_d1jf lit_a16r lit_a16p
y_r4s ->
(let {
ds_d1df :: PrelBase.Char{-38,W-}
{-# L #-}
ds_d1df =
PrelBase.C#{-54,w-}{i} {'f'}
} in c{-r5,x-} y_r4s ds_d1df)
lit_a10r lit_a10t
} in
STBase.thenPrimIO{-r4w,p-}
_@_ PrelBase.Int{-3g,p-} _@_ PrelBase.Float{-3c,p-} ds_d1iT ds_d1iX
STBase.thenPrimIO{-r4t,p-}
_@_ PrelBase.Int{-3g,W-} _@_ PrelBase.Float{-3c,W-} ds_d1cL ds_d1cP
} in
STBase.thenPrimIO{-r4w,p-}
_@_ PrelBase.Int{-3g,p-}
_@_ PrelBase.Float{-3c,p-}
STBase.thenPrimIO{-r4t,p-}
_@_ PrelBase.Int{-3g,W-}
_@_ PrelBase.Float{-3c,W-}
a{-r1,x-}
ds_d1iE
d{-r7,x-} ::
STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
ds_d1cw
d{-r7,x-} :: STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
{-# L #-}
d{-r7,x-} =
d_a15Y
d_aZY
d.Fractional_a10l :: {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,W-}}
{-# L #-}
d.Fractional_a10l =
PrelNum.$d23{-rsg,p-}
fromRational_a10q :: PrelNum.Rational{-3r,p-}
-> PrelBase.Float{-3c,W-}
{-# L #-}
fromRational_a10q =
PrelNum.fromRational{-8T,p-}
_@_ PrelBase.Float{-3c,W-} d.Fractional_a10l
lit_a10r :: PrelBase.Float{-3c,W-}
{-# L #-}
lit_a10r =
fromRational_a10q _rational_ 1 1
d.Fractional_a10p :: {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,W-}}
{-# L #-}
d.Fractional_a10p =
PrelNum.$d14{-rs6,p-}
fromRational_a10s :: PrelNum.Rational{-3r,p-}
-> PrelBase.Double{-3a,W-}
{-# L #-}
fromRational_a10s =
PrelNum.fromRational{-8T,p-}
_@_ PrelBase.Double{-3a,W-} d.Fractional_a10p
lit_a10t :: PrelBase.Double{-3a,W-}
{-# L #-}
lit_a10t =
fromRational_a10s _rational_ 2 1
end Rec }
NOTE: Simplifier still going after 4 iterations; bailing out.
ghc/tests/ccall/should_compile/cc003.stderr
View file @ 80d19100
......@@ -2,114 +2,95 @@
================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds [] [] [([], fubar{-r1,x-}, fubar_aZa)]
fubar_aZa
= STBase.seqPrimIO{-r46,p-}
[PrelBase.(){-40,p-}, PrelBase.Int{-3g,p-}]
(STBase.ST{-5G,p-}{i}
[GHC.RealWorld{-3s,p-}, PrelBase.(){-40,p-}]
_ccall_ f)
(STBase.ST{-5G,p-}{i}
[GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
_ccall_ b)
{- nonrec -}
AbsBinds [] [] [([], fubar{-r1,x-}, fubar_aTQ)]
fubar_aTQ
= STBase.seqPrimIO{-r46,p-}
[PrelBase.(){-40,W-}, PrelBase.Int{-3g,W-}]
(STBase.ST{-5G,w-}{i}
[GHC.RealWorld{-3s,W-}, PrelBase.(){-40,W-}] _ccall_ f)
(STBase.ST{-5G,w-}{i}
[GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ b)
================================================================================
Desugared:
fubar_aZa ::
STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
Rec {
fubar_aTQ :: STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
{-# L #-}
fubar_aZa =
let { ds_d110 ::
STBase.ST{-3O,p-} GHC.RealWorld{-3s,p-} PrelBase.(){-40,p-}
fubar_aTQ =
let { ds_dVM :: STBase.PrimIO{-3P,W-} PrelBase.(){-40,W-}
{-# L #-}
ds_d110 =
ds_dVM =
let {
ds_d11g ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-> (PrelBase.(){-40,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
ds_dW2 :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-> (PrelBase.(){-40,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
{-# L #-}
ds_d11g =
\ ds_d11m ::
STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
ds_dW2 =
\ ds_dW8 :: STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
{-# L #-}
ds_d