projects / ghc-hetmet.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
[project @ 1997-05-26 05:58:06 by sof]
[ghc-hetmet.git] / ghc / compiler / tests / deSugar / ds014.stderr
diff --git a/ghc/compiler/tests/deSugar/ds014.stderr b/ghc/compiler/tests/deSugar/ds014.stderr
index e151c0a..724fd2c 100644 (file)
--- a/ghc/compiler/tests/deSugar/ds014.stderr
+++ b/ghc/compiler/tests/deSugar/ds014.stderr
@@ -1,105 +1,603 @@
-Desugared:
-Tests.a :: Char
-Tests.a = MkChar! 'a'#
-Tests.b :: [Char]
-Tests.b = "b"S
-Tests.c :: [Char]
-Tests.c = (: Char) Tests.a Tests.b
-Tests.d :: [Char]
-Tests.d = (++ Char) Tests.b Tests.b
-Tests.b1 :: [Char]
-Tests.b1 = Nil! Char
-Tests.b2 :: [Char]
-Tests.b2 = Nil! Char
-Tests.b3 :: [Char]
-Tests.b3 = (++ Char) "\SO\&H"S "\137\&9"S
-Tests.a000 :: Char
-Tests.a000 = MkChar! '\NUL'#
-Tests.a001 :: Char
-Tests.a001 = MkChar! '\SOH'#
-Tests.a002 :: Char
-Tests.a002 = MkChar! '\STX'#
-Tests.a003 :: Char
-Tests.a003 = MkChar! '\ETX'#
-Tests.a004 :: Char
-Tests.a004 = MkChar! '\EOT'#
-Tests.a005 :: Char
-Tests.a005 = MkChar! '\ENQ'#
-Tests.a006 :: Char
-Tests.a006 = MkChar! '\ACK'#
-Tests.a007 :: Char
-Tests.a007 = MkChar! '\a'#
-Tests.a010 :: Char
-Tests.a010 = MkChar! '\b'#
-Tests.a011 :: Char
-Tests.a011 = MkChar! '\t'#
-Tests.a012 :: Char
-Tests.a012 = MkChar! '\n'#
-Tests.a013 :: Char
-Tests.a013 = MkChar! '\v'#
-Tests.a014 :: Char
-Tests.a014 = MkChar! '\f'#
-Tests.a015 :: Char
-Tests.a015 = MkChar! '\r'#
-Tests.a016 :: Char
-Tests.a016 = MkChar! '\SO'#
-Tests.a017 :: Char
-Tests.a017 = MkChar! '\SI'#
-Tests.a020 :: Char
-Tests.a020 = MkChar! '\DLE'#
-Tests.a021 :: Char
-Tests.a021 = MkChar! '\DC1'#
-Tests.a022 :: Char
-Tests.a022 = MkChar! '\DC2'#
-Tests.a023 :: Char
-Tests.a023 = MkChar! '\DC3'#
-Tests.a024 :: Char
-Tests.a024 = MkChar! '\DC4'#
-Tests.a025 :: Char
-Tests.a025 = MkChar! '\NAK'#
-Tests.a026 :: Char
-Tests.a026 = MkChar! '\SYN'#
-Tests.a027 :: Char
-Tests.a027 = MkChar! '\ETB'#
-Tests.a030 :: Char
-Tests.a030 = MkChar! '\CAN'#
-Tests.a031 :: Char
-Tests.a031 = MkChar! '\EM'#
-Tests.a032 :: Char
-Tests.a032 = MkChar! '\SUB'#
-Tests.a033 :: Char
-Tests.a033 = MkChar! '\ESC'#
-Tests.a034 :: Char
-Tests.a034 = MkChar! '\FS'#
-Tests.a035 :: Char
-Tests.a035 = MkChar! '\GS'#
-Tests.a036 :: Char
-Tests.a036 = MkChar! '\RS'#
-Tests.a037 :: Char
-Tests.a037 = MkChar! '\US'#
-Tests.a040 :: Char
-Tests.a040 = MkChar! ' '#
-Tests.a042 :: Char
-Tests.a042 = MkChar! '"'#
-Tests.a047 :: Char
-Tests.a047 = MkChar! '\''#
-Tests.a134 :: Char
-Tests.a134 = MkChar! '\\'#
-Tests.a177 :: Char
-Tests.a177 = MkChar! '\DEL'#
-Tests.ascii :: [Char]
-Tests.ascii =
-    "\NUL\SOH\STX\ETX\EOT\ENQ\ACK\a\b\t\n\v\f\r\SO\SI\DLE\DC1\DC2\DC3\DC4\NAK\SYN\ETB\CAN\EM\SUB\ESC\FS\GS\RS\US !\"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\DEL"S
-Tests.na200 :: Char
-Tests.na200 = MkChar! '\128'#
-Tests.na250 :: Char
-Tests.na250 = MkChar! '¨'#
-Tests.na300 :: Char
-Tests.na300 = MkChar! 'À'#
-Tests.na350 :: Char
-Tests.na350 = MkChar! 'è'#
-Tests.na377 :: Char
-Tests.na377 = MkChar! 'ÿ'#
-Tests.eightbit :: [Char]
-Tests.eightbit = "\128¨Àèÿ"S
 
+
+================================================================================
+Desugared:
+Rec {
+d.MonadPlus_aMn  :: 
+    {PrelBase.MonadPlus{-2a,p-} PrelBase.[]{-3j,p-}}
+{-# L #-}
+d.MonadPlus_aMn =
+    PrelBase.$d22{-rcv,p-}
+++_aYd  :: 
+    _forall_
+    [rjy{-aM3-}]
+    =>
+    [rjy{-aM3-}] -> [rjy{-aM3-}] -> [rjy{-aM3-}]
+{-# L #-}
+++_aYd =
+    PrelBase.++{-rc4,p-}
+       _@_ PrelBase.[]{-3j,p-} d.MonadPlus_aMn
+++_aYk  :: 
+    _forall_
+    [rjy{-aLC-}]
+    =>
+    [rjy{-aLC-}] -> [rjy{-aLC-}] -> [rjy{-aLC-}]
+{-# L #-}
+++_aYk =
+    ++_aYd
+eightbit_aIH  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+eightbit_aIH =
+    _string_ "\128\168\192\232\255"
+eightbit{-rP,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+eightbit{-rP,x-} =
+    eightbit_aIH
+na377_aIL  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na377_aIL =
+    PrelBase.C#{-54,p-}{i}
+       {'ÿ'}
+na377{-rQ,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na377{-rQ,x-} =
+    na377_aIL
+na350_aIP  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na350_aIP =
+    PrelBase.C#{-54,p-}{i}
+       {'è'}
+na350{-rR,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na350{-rR,x-} =
+    na350_aIP
+na300_aIT  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na300_aIT =
+    PrelBase.C#{-54,p-}{i}
+       {'À'}
+na300{-rS,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na300{-rS,x-} =
+    na300_aIT
+na250_aIX  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na250_aIX =
+    PrelBase.C#{-54,p-}{i}
+       {'¨'}
+na250{-rT,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na250{-rT,x-} =
+    na250_aIX
+na200_aJ1  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na200_aJ1 =
+    PrelBase.C#{-54,p-}{i}
+       {'\80'}
+na200{-rU,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+na200{-rU,x-} =
+    na200_aJ1
+ascii_aJ5  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+ascii_aJ5 =
+    _string_ "\NUL\SOH\STX\ETX\EOT\ENQ\ACK\a\b\t\n\v\f\r\SO\SI\DLE\DC1\DC2\DC3\DC4\NAK\SYN\ETB\CAN\EM\SUB\ESC\FS\GS\RS\US !\"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\DEL"
+ascii{-rV,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+ascii{-rV,x-} =
+    ascii_aJ5
+a177_aJ9  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a177_aJ9 =
+    PrelBase.C#{-54,p-}{i}
+       {'\7f'}
+a177{-rW,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a177{-rW,x-} =
+    a177_aJ9
+a134_aJd  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a134_aJd =
+    PrelBase.C#{-54,p-}{i}
+       {'\'}
+a134{-rX,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a134{-rX,x-} =
+    a134_aJd
+a047_aJh  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a047_aJh =
+    PrelBase.C#{-54,p-}{i}
+       {'''}
+a047{-rY,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a047{-rY,x-} =
+    a047_aJh
+a042_aJl  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a042_aJl =
+    PrelBase.C#{-54,p-}{i}
+       {'"'}
+a042{-rZ,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a042{-rZ,x-} =
+    a042_aJl
+a040_aJp  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a040_aJp =
+    PrelBase.C#{-54,p-}{i}
+       {' '}
+a040{-r10,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a040{-r10,x-} =
+    a040_aJp
+a037_aJt  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a037_aJt =
+    PrelBase.C#{-54,p-}{i}
+       {'\1f'}
+a037{-r11,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a037{-r11,x-} =
+    a037_aJt
+a036_aJx  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a036_aJx =
+    PrelBase.C#{-54,p-}{i}
+       {'\1e'}
+a036{-r12,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a036{-r12,x-} =
+    a036_aJx
+a035_aJB  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a035_aJB =
+    PrelBase.C#{-54,p-}{i}
+       {'\1d'}
+a035{-r13,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a035{-r13,x-} =
+    a035_aJB
+a034_aJF  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a034_aJF =
+    PrelBase.C#{-54,p-}{i}
+       {'\1c'}
+a034{-r14,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a034{-r14,x-} =
+    a034_aJF
+a033_aJJ  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a033_aJJ =
+    PrelBase.C#{-54,p-}{i}
+       {'\e'}
+a033{-r15,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a033{-r15,x-} =
+    a033_aJJ
+a032_aJN  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a032_aJN =
+    PrelBase.C#{-54,p-}{i}
+       {'\1a'}
+a032{-r16,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a032{-r16,x-} =
+    a032_aJN
+a031_aJR  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a031_aJR =
+    PrelBase.C#{-54,p-}{i}
+       {'\19'}
+a031{-r17,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a031{-r17,x-} =
+    a031_aJR
+a030_aJV  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a030_aJV =
+    PrelBase.C#{-54,p-}{i}
+       {'\18'}
+a030{-r18,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a030{-r18,x-} =
+    a030_aJV
+a027_aJZ  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a027_aJZ =
+    PrelBase.C#{-54,p-}{i}
+       {'\17'}
+a027{-r19,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a027{-r19,x-} =
+    a027_aJZ
+a026_aK3  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a026_aK3 =
+    PrelBase.C#{-54,p-}{i}
+       {'\16'}
+a026{-r1a,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a026{-r1a,x-} =
+    a026_aK3
+a025_aK7  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a025_aK7 =
+    PrelBase.C#{-54,p-}{i}
+       {'\15'}
+a025{-r1b,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a025{-r1b,x-} =
+    a025_aK7
+a024_aKb  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a024_aKb =
+    PrelBase.C#{-54,p-}{i}
+       {'\14'}
+a024{-r1c,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a024{-r1c,x-} =
+    a024_aKb
+a023_aKf  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a023_aKf =
+    PrelBase.C#{-54,p-}{i}
+       {'\13'}
+a023{-r1d,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a023{-r1d,x-} =
+    a023_aKf
+a022_aKj  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a022_aKj =
+    PrelBase.C#{-54,p-}{i}
+       {'\12'}
+a022{-r1e,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a022{-r1e,x-} =
+    a022_aKj
+a021_aKn  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a021_aKn =
+    PrelBase.C#{-54,p-}{i}
+       {'\11'}
+a021{-r1f,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a021{-r1f,x-} =
+    a021_aKn
+a020_aKr  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a020_aKr =
+    PrelBase.C#{-54,p-}{i}
+       {'\10'}
+a020{-r1g,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a020{-r1g,x-} =
+    a020_aKr
+a017_aKv  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a017_aKv =
+    PrelBase.C#{-54,p-}{i}
+       {'\ f'}
+a017{-r1h,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a017{-r1h,x-} =
+    a017_aKv
+a016_aKz  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a016_aKz =
+    PrelBase.C#{-54,p-}{i}
+       {'\ e'}
+a016{-r1i,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a016{-r1i,x-} =
+    a016_aKz
+a015_aKD  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a015_aKD =
+    PrelBase.C#{-54,p-}{i}
+       {'\r'}
+a015{-r1j,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a015{-r1j,x-} =
+    a015_aKD
+a014_aKH  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a014_aKH =
+    PrelBase.C#{-54,p-}{i}
+       {'\f'}
+a014{-r1k,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a014{-r1k,x-} =
+    a014_aKH
+a013_aKL  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a013_aKL =
+    PrelBase.C#{-54,p-}{i}
+       {'\v'}
+a013{-r1l,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a013{-r1l,x-} =
+    a013_aKL
+a012_aKP  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a012_aKP =
+    PrelBase.C#{-54,p-}{i}
+       {'
+'}
+a012{-r1m,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a012{-r1m,x-} =
+    a012_aKP
+a011_aKT  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a011_aKT =
+    PrelBase.C#{-54,p-}{i}
+       {'      '}
+a011{-r1n,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a011{-r1n,x-} =
+    a011_aKT
+a010_aKX  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a010_aKX =
+    PrelBase.C#{-54,p-}{i}
+       {'\b'}
+a010{-r1o,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a010{-r1o,x-} =
+    a010_aKX
+a007_aL1  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a007_aL1 =
+    PrelBase.C#{-54,p-}{i}
+       {'\a'}
+a007{-r1p,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a007{-r1p,x-} =
+    a007_aL1
+a006_aL5  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a006_aL5 =
+    PrelBase.C#{-54,p-}{i}
+       {'\ 6'}
+a006{-r1q,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a006{-r1q,x-} =
+    a006_aL5
+a005_aL9  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a005_aL9 =
+    PrelBase.C#{-54,p-}{i}
+       {'\ 5'}
+a005{-r1r,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a005{-r1r,x-} =
+    a005_aL9
+a004_aLd  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a004_aLd =
+    PrelBase.C#{-54,p-}{i}
+       {'\ 4'}
+a004{-r1s,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a004{-r1s,x-} =
+    a004_aLd
+a003_aLh  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a003_aLh =
+    PrelBase.C#{-54,p-}{i}
+       {'\ 3'}
+a003{-r1t,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a003{-r1t,x-} =
+    a003_aLh
+a002_aLl  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a002_aLl =
+    PrelBase.C#{-54,p-}{i}
+       {'\ 2'}
+a002{-r1u,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a002{-r1u,x-} =
+    a002_aLl
+a001_aLp  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a001_aLp =
+    PrelBase.C#{-54,p-}{i}
+       {'\ 1'}
+a001{-r1v,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a001{-r1v,x-} =
+    a001_aLp
+a000_aLt  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a000_aLt =
+    PrelBase.C#{-54,p-}{i}
+       {'\0'}
+a000{-r1w,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a000{-r1w,x-} =
+    a000_aLt
+b3_aLx  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b3_aLx =
+    ++_aYk
+       _@_ PrelBase.Char{-38,p-} _string_ "\SO\&H" _string_ "\137\&9"
+b3{-r1x,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b3{-r1x,x-} =
+    b3_aLx
+b2_aLM  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b2_aLM =
+    PrelBase.[]{-5i,p-}{i}
+       {_@_ PrelBase.Char{-38,p-}}
+b2{-r1y,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b2{-r1y,x-} =
+    b2_aLM
+b1_aLQ  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b1_aLQ =
+    PrelBase.[]{-5i,p-}{i}
+       {_@_ PrelBase.Char{-38,p-}}
+b1{-r1z,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b1{-r1z,x-} =
+    b1_aLQ
+b_aLU  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b_aLU =
+    let {
+      ds_d18d  :: 
+         PrelBase.Char{-38,p-}
+      {-# L #-}
+      ds_d18d =
+         PrelBase.C#{-54,p-}{i}
+             {'b'} } in
+    let {
+      ds_d18h  :: 
+         [PrelBase.Char{-38,p-}]
+      {-# L #-}
+      ds_d18h =
+         PrelBase.[]{-5i,p-}{i}
+             {_@_ PrelBase.Char{-38,p-}}
+    } in 
+      PrelBase.:{-55,p-}{i}
+         {_@_ PrelBase.Char{-38,p-} ds_d18d ds_d18h}
+b{-r1C,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+b{-r1C,x-} =
+    b_aLU
+d_aLY  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+d_aLY =
+    ++_aYd
+       _@_ PrelBase.Char{-38,p-} b{-r1C,x-} b{-r1C,x-}
+d{-r1A,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+d{-r1A,x-} =
+    d_aLY
+a_aMd  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a_aMd =
+    PrelBase.C#{-54,p-}{i}
+       {'a'}
+a{-r1D,x-}  :: 
+    PrelBase.Char{-38,p-}
+{-# L #-}
+a{-r1D,x-} =
+    a_aMd
+c_aMh  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+c_aMh =
+    PrelBase.:{-55,p-}{i}
+       _@_ PrelBase.Char{-38,p-} a{-r1D,x-} b{-r1C,x-}
+c{-r1B,x-}  :: 
+    [PrelBase.Char{-38,p-}]
+{-# L #-}
+c{-r1B,x-} =
+    c_aMh
+end Rec }
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)