Changes between Initial Version and Version 2 of Ticket #9

Show
Ignore:
Timestamp:
01/30/09 03:23:18 (4 years ago)
Author:
SamB
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #9 – description

    initial v2  
    55<pre> 
    66% lhc -dhtml -ddatatable -de-verbose regress/tests/bugs/UnpackedPoly.hs 
    7 [86 of 86] Main 
    8 (#3#) :: <b style="color: white">*</b><span style="color: lightgreen;"> → </span><b style="color: white">*</b><span style="color: lightgreen;"> → </span><b style="color: white">*</b><span style="color: lightgreen;"> → </span><b style="color: white">#</b> 
    9       = <span style="color: lightgreen;">Λ</span>x2<span style="color: lightgreen;">.</span> 
    10         <span style="color: lightgreen;">Λ</span>x4<span style="color: lightgreen;">.</span> 
    11         <span style="color: lightgreen;">Λ</span>x6<span style="color: lightgreen;">.</span> 
    12       (# x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>, x4<span style="color: lightgreen;">∷</span><b style="color: white">*</b>, x6<span style="color: lightgreen;">∷</span><b style="color: white">*</b> #) 
    13       slots: (<b style="color: white">*</b>,<b style="color: white">*</b>,<b style="color: white">*</b>) 
    14       alias: NotAlias 
    15       virtual: Nothing 
    16       inhabits: Lhc@.# 
    17       children: DataNormal [(#3#)] 
    18 (#3#) :: <span style="color: lightgreen;">∀</span>x2<span style="color: lightgreen;">.</span> 
    19          <span style="color: lightgreen;">∀</span>x4<span style="color: lightgreen;">.</span> 
    20          <span style="color: lightgreen;">∀</span>x6<span style="color: lightgreen;">.</span> 
    21       (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(x4<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(x6<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(# x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>, x4<span style="color: lightgreen;">∷</span><b style="color: white">*</b>, x6<span style="color: lightgreen;">∷</span><b style="color: white">*</b> #) 
    22       = <span style="color: lightgreen;">λ</span>x22<span style="color: lightgreen;">∷</span>(x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    23         <span style="color: lightgreen;">λ</span>x24<span style="color: lightgreen;">∷</span>(x4<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    24         <span style="color: lightgreen;">λ</span>x26<span style="color: lightgreen;">∷</span>(x6<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    25       (# x22<span style="color: lightgreen;">∷</span>(x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>), x24<span style="color: lightgreen;">∷</span>(x4<span style="color: lightgreen;">∷</span><b style="color: white">*</b>), x26<span style="color: lightgreen;">∷</span>(x6<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) #) 
    26       slots: (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>,x4<span style="color: lightgreen;">∷</span><b style="color: white">*</b>,x6<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    27       alias: NotAlias 
    28       virtual: Nothing 
    29       inhabits: (#3#) 
    30       children: DataNone 
    31 Main.Bar :: <span style="color: lightgreen;">∀</span>x2<span style="color: lightgreen;">.</span> 
    32             <span style="color: lightgreen;">Π</span>x5<span style="color: lightgreen;">∷</span>Main.Foo (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    33          Main.Bar (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    34          = <span style="color: lightgreen;">λ</span>x5<span style="color: lightgreen;">∷</span>Main.Foo (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    35          (<span style="color: magenta;">case</span> __<span style="color: lightgreen;">∷</span>Main.Foo (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <- x5<span style="color: lightgreen;">∷</span>Main.Foo (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    36              Main.Foo (x7<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    37              Main.Bar (x7<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>Main.Bar (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    38          slots: ([x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) 
    39          alias: NotAlias 
    40          virtual: Nothing 
    41          inhabits: Main.Bar 
    42          children: DataNone 
    43 Main.Bar :: <b style="color: white">*</b><span style="color: lightgreen;"> → </span><b style="color: white">*</b> 
    44          = <span style="color: lightgreen;">Λ</span>x2<span style="color: lightgreen;">.</span> 
    45          Main.Bar (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    46          slots: (<b style="color: white">*</b>) 
    47          alias: NotAlias 
    48          virtual: Nothing 
    49          inhabits: Lhc@.* 
    50          children: DataNormal [Main.Bar] 
    51 Main.Foo :: <b style="color: white">*</b><span style="color: lightgreen;"> → </span><b style="color: white">*</b> 
    52          = <span style="color: lightgreen;">Λ</span>x2<span style="color: lightgreen;">.</span> 
    53          Main.Foo (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    54          slots: (<b style="color: white">*</b>) 
    55          alias: NotAlias 
    56          virtual: Nothing 
    57          inhabits: Lhc@.* 
    58          children: DataNormal [Main.Foo] 
    59 Main.Foo :: <span style="color: lightgreen;">∀</span>x2<span style="color: lightgreen;">.</span> 
    60             <span style="color: lightgreen;">Π</span>x5<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]<span style="color: lightgreen;">.</span> 
    61          Main.Foo (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    62          = <span style="color: lightgreen;">λ</span>x5<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]<span style="color: lightgreen;">.</span> 
    63          Main.Foo (x5<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) 
    64          slots: ([x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) 
    65          alias: NotAlias 
    66          virtual: Nothing 
    67          inhabits: Main.Foo 
    68          children: DataNone 
    69 LintPostProcess 
    70 >>> Type Error 
    71 Instance@.iLhc.Show.showsPrec.Main.Bar = <span style="color: lightgreen;">Λ</span>Main.v51<span style="color: lightgreen;">.</span> 
    72                                          <span style="color: lightgreen;">λ</span>x4<span style="color: lightgreen;">∷</span>Int<span style="color: lightgreen;">.</span> 
    73                                          <span style="color: lightgreen;">λ</span>x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    74     (<span style="color: magenta;">case</span> x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    75         Main.Bar (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    76         <span style="color: magenta;">let</span> 
    77             x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    78             Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    79             <span style="color: magenta;">in</span> 
    80             <span style="color: magenta;">let</span> 
    81                 Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    82                 x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    83                 <span style="color: magenta;">in</span> 
    84                 <span style="color: magenta;">let</span> 
    85                     Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    86                     x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    87                     <span style="color: magenta;">in</span> 
    88                     <span style="color: magenta;">let</span> 
    89                         x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    90                         (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    91                         (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    92                         <span style="color: magenta;">in</span> 
    93                         <span style="color: magenta;">let</span> 
    94                             x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    95                             <span style="color: magenta;">let</span> 
    96                                 x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    97                                 (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    98                                 <span style="color: magenta;">in</span> 
    99                                 <span style="color: magenta;">let</span> 
    100                                     x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    101                                     <span style="color: magenta;">let</span> 
    102                                         x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    103                                         (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    104                                         <span style="color: magenta;">in</span> 
    105                                         <span style="color: magenta;">let</span> 
    106                                             x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    107                                             (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    108                                             Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    109                                             <span style="color: magenta;">in</span> 
    110                                             (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    111                                                                                                   <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    112                                                                                                   <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    113                                             ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    114                                     <span style="color: magenta;">in</span> 
    115                                     (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    116                                                                                           <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    117                                                                                           <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    118                                     ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    119                             <span style="color: magenta;">in</span> 
    120                             (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    121         _<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) → <⊥:<unknown>:6:26: Unmatched pattern∷String<span style="color: lightgreen;"> → </span>String><b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String 
    122  
    123 >>> internal error: 
    124 fullCheck(nested): 
    125 <span style="color: lightgreen;">λ</span>x4<span style="color: lightgreen;">∷</span>Int<span style="color: lightgreen;">.</span> 
    126 <span style="color: lightgreen;">λ</span>x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    127 (<span style="color: magenta;">case</span> x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    128     Main.Bar (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    129     <span style="color: magenta;">let</span> 
    130         x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    131         Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    132         <span style="color: magenta;">in</span> 
    133         <span style="color: magenta;">let</span> 
    134             Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    135             x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    136             <span style="color: magenta;">in</span> 
    137             <span style="color: magenta;">let</span> 
    138                 Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    139                 x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    140                 <span style="color: magenta;">in</span> 
    141                 <span style="color: magenta;">let</span> 
    142                     x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    143                     (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    144                     (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    145                     <span style="color: magenta;">in</span> 
    146                     <span style="color: magenta;">let</span> 
    147                         x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    148                         <span style="color: magenta;">let</span> 
    149                             x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    150                             (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    151                             <span style="color: magenta;">in</span> 
    152                             <span style="color: magenta;">let</span> 
    153                                 x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    154                                 <span style="color: magenta;">let</span> 
    155                                     x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    156                                     (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    157                                     <span style="color: magenta;">in</span> 
    158                                     <span style="color: magenta;">let</span> 
    159                                         x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    160                                         (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    161                                         Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    162                                         <span style="color: magenta;">in</span> 
    163                                         (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    164                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    165                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    166                                         ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    167                                 <span style="color: magenta;">in</span> 
    168                                 (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    169                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    170                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    171                                 ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    172                         <span style="color: magenta;">in</span> 
    173                         (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    174     _<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) → <⊥:<unknown>:6:26: Unmatched pattern∷String<span style="color: lightgreen;"> → </span>String><b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String 
    175 ---- 
    176 fullCheck: 
    177 <span style="color: lightgreen;">λ</span>x4<span style="color: lightgreen;">∷</span>Int<span style="color: lightgreen;">.</span> 
    178 <span style="color: lightgreen;">λ</span>x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    179 (<span style="color: magenta;">case</span> x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    180     Main.Bar (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    181     <span style="color: magenta;">let</span> 
    182         x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    183         Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    184         <span style="color: magenta;">in</span> 
    185         <span style="color: magenta;">let</span> 
    186             Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    187             x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    188             <span style="color: magenta;">in</span> 
    189             <span style="color: magenta;">let</span> 
    190                 Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    191                 x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    192                 <span style="color: magenta;">in</span> 
    193                 <span style="color: magenta;">let</span> 
    194                     x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    195                     (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    196                     (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    197                     <span style="color: magenta;">in</span> 
    198                     <span style="color: magenta;">let</span> 
    199                         x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    200                         <span style="color: magenta;">let</span> 
    201                             x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    202                             (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    203                             <span style="color: magenta;">in</span> 
    204                             <span style="color: magenta;">let</span> 
    205                                 x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    206                                 <span style="color: magenta;">let</span> 
    207                                     x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    208                                     (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    209                                     <span style="color: magenta;">in</span> 
    210                                     <span style="color: magenta;">let</span> 
    211                                         x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    212                                         (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    213                                         Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    214                                         <span style="color: magenta;">in</span> 
    215                                         (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    216                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    217                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    218                                         ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    219                                 <span style="color: magenta;">in</span> 
    220                                 (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    221                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    222                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    223                                 ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    224                         <span style="color: magenta;">in</span> 
    225                         (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    226     _<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) → <⊥:<unknown>:6:26: Unmatched pattern∷String<span style="color: lightgreen;"> → </span>String><b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String 
    227 ---- 
    228 fullCheck(nested): 
    229 <span style="color: lightgreen;">λ</span>x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    230 (<span style="color: magenta;">case</span> x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    231     Main.Bar (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    232     <span style="color: magenta;">let</span> 
    233         x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    234         Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    235         <span style="color: magenta;">in</span> 
    236         <span style="color: magenta;">let</span> 
    237             Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    238             x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    239             <span style="color: magenta;">in</span> 
    240             <span style="color: magenta;">let</span> 
    241                 Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    242                 x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    243                 <span style="color: magenta;">in</span> 
    244                 <span style="color: magenta;">let</span> 
    245                     x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    246                     (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    247                     (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    248                     <span style="color: magenta;">in</span> 
    249                     <span style="color: magenta;">let</span> 
    250                         x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    251                         <span style="color: magenta;">let</span> 
    252                             x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    253                             (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    254                             <span style="color: magenta;">in</span> 
    255                             <span style="color: magenta;">let</span> 
    256                                 x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    257                                 <span style="color: magenta;">let</span> 
    258                                     x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    259                                     (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    260                                     <span style="color: magenta;">in</span> 
    261                                     <span style="color: magenta;">let</span> 
    262                                         x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    263                                         (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    264                                         Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    265                                         <span style="color: magenta;">in</span> 
    266                                         (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    267                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    268                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    269                                         ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    270                                 <span style="color: magenta;">in</span> 
    271                                 (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    272                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    273                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    274                                 ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    275                         <span style="color: magenta;">in</span> 
    276                         (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    277     _<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) → <⊥:<unknown>:6:26: Unmatched pattern∷String<span style="color: lightgreen;"> → </span>String><b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String 
    278 ---- 
    279 fullCheck: 
    280 <span style="color: lightgreen;">λ</span>x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;">.</span> 
    281 (<span style="color: magenta;">case</span> x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    282     Main.Bar (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    283     <span style="color: magenta;">let</span> 
    284         x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    285         Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    286         <span style="color: magenta;">in</span> 
    287         <span style="color: magenta;">let</span> 
    288             Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    289             x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    290             <span style="color: magenta;">in</span> 
    291             <span style="color: magenta;">let</span> 
    292                 Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    293                 x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    294                 <span style="color: magenta;">in</span> 
    295                 <span style="color: magenta;">let</span> 
    296                     x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    297                     (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    298                     (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    299                     <span style="color: magenta;">in</span> 
    300                     <span style="color: magenta;">let</span> 
    301                         x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    302                         <span style="color: magenta;">let</span> 
    303                             x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    304                             (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    305                             <span style="color: magenta;">in</span> 
    306                             <span style="color: magenta;">let</span> 
    307                                 x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    308                                 <span style="color: magenta;">let</span> 
    309                                     x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    310                                     (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    311                                     <span style="color: magenta;">in</span> 
    312                                     <span style="color: magenta;">let</span> 
    313                                         x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    314                                         (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    315                                         Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    316                                         <span style="color: magenta;">in</span> 
    317                                         (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    318                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    319                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    320                                         ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    321                                 <span style="color: magenta;">in</span> 
    322                                 (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    323                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    324                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    325                                 ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    326                         <span style="color: magenta;">in</span> 
    327                         (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    328     _<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) → <⊥:<unknown>:6:26: Unmatched pattern∷String<span style="color: lightgreen;"> → </span>String><b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String 
    329 ---- 
    330 fullCheck(nested): 
    331 (<span style="color: magenta;">case</span> x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    332     Main.Bar (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    333     <span style="color: magenta;">let</span> 
    334         x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    335         Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    336         <span style="color: magenta;">in</span> 
    337         <span style="color: magenta;">let</span> 
    338             Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    339             x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    340             <span style="color: magenta;">in</span> 
    341             <span style="color: magenta;">let</span> 
    342                 Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    343                 x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    344                 <span style="color: magenta;">in</span> 
    345                 <span style="color: magenta;">let</span> 
    346                     x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    347                     (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    348                     (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    349                     <span style="color: magenta;">in</span> 
    350                     <span style="color: magenta;">let</span> 
    351                         x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    352                         <span style="color: magenta;">let</span> 
    353                             x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    354                             (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    355                             <span style="color: magenta;">in</span> 
    356                             <span style="color: magenta;">let</span> 
    357                                 x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    358                                 <span style="color: magenta;">let</span> 
    359                                     x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    360                                     (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    361                                     <span style="color: magenta;">in</span> 
    362                                     <span style="color: magenta;">let</span> 
    363                                         x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    364                                         (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    365                                         Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    366                                         <span style="color: magenta;">in</span> 
    367                                         (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    368                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    369                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    370                                         ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    371                                 <span style="color: magenta;">in</span> 
    372                                 (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    373                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    374                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    375                                 ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    376                         <span style="color: magenta;">in</span> 
    377                         (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    378     _<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) → <⊥:<unknown>:6:26: Unmatched pattern∷String<span style="color: lightgreen;"> → </span>String><b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String 
    379 ---- 
    380 fullCheck: 
    381 (<span style="color: magenta;">case</span> x6<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: magenta;">of</span> 
    382     Main.Bar (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>]) → 
    383     <span style="color: magenta;">let</span> 
    384         x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    385         Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    386         <span style="color: magenta;">in</span> 
    387         <span style="color: magenta;">let</span> 
    388             Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    389             x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    390             <span style="color: magenta;">in</span> 
    391             <span style="color: magenta;">let</span> 
    392                 Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    393                 x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    394                 <span style="color: magenta;">in</span> 
    395                 <span style="color: magenta;">let</span> 
    396                     x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    397                     (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    398                     (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    399                     <span style="color: magenta;">in</span> 
    400                     <span style="color: magenta;">let</span> 
    401                         x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    402                         <span style="color: magenta;">let</span> 
    403                             x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    404                             (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    405                             <span style="color: magenta;">in</span> 
    406                             <span style="color: magenta;">let</span> 
    407                                 x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    408                                 <span style="color: magenta;">let</span> 
    409                                     x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    410                                     (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    411                                     <span style="color: magenta;">in</span> 
    412                                     <span style="color: magenta;">let</span> 
    413                                         x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    414                                         (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    415                                         Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    416                                         <span style="color: magenta;">in</span> 
    417                                         (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    418                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    419                                                                                               <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    420                                         ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    421                                 <span style="color: magenta;">in</span> 
    422                                 (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    423                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    424                                                                                       <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    425                                 ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    426                         <span style="color: magenta;">in</span> 
    427                         (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    428     _<span style="color: lightgreen;">∷</span>Main.Bar (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) → <⊥:<unknown>:6:26: Unmatched pattern∷String<span style="color: lightgreen;"> → </span>String><b style="color: white">;</b>)<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String 
    429 ---- 
    430 Checking case bodies 
    431 ---- 
    432 fullCheck: <span style="color: magenta;">let</span> 
    433     x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    434     Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])<b style="color: white">;</b> 
    435     <span style="color: magenta;">in</span> 
    436     <span style="color: magenta;">let</span> 
    437         Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) <span style="color: lightgreen;">=</span> 
    438         x8<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<b style="color: white">;</b> 
    439         <span style="color: magenta;">in</span> 
    440         <span style="color: magenta;">let</span> 
    441             Main.10_d<span style="color: lightgreen;">∷</span>Int <span style="color: lightgreen;">=</span> 
    442             x4<span style="color: lightgreen;">∷</span>Int<b style="color: white">;</b> 
    443             <span style="color: magenta;">in</span> 
    444             <span style="color: magenta;">let</span> 
    445                 x9<span style="color: lightgreen;">∷</span>Bool <span style="color: lightgreen;">=</span> 
    446                 (Lhc.Order.>=<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Order.17_a<span style="color: lightgreen;">.</span> 
    447                 (Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Order.17_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>Bool) Int (Main.10_d<span style="color: lightgreen;">∷</span>Int) (Int# <span style="color: blue;">10</span>)<b style="color: white">;</b> 
    448                 <span style="color: magenta;">in</span> 
    449                 <span style="color: magenta;">let</span> 
    450                     x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    451                     <span style="color: magenta;">let</span> 
    452                         x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    453                         (Lhc.Show.showString<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) <span style="color: blue;">"Bar"</span><b style="color: white">;</b> 
    454                         <span style="color: magenta;">in</span> 
    455                         <span style="color: magenta;">let</span> 
    456                             x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    457                             <span style="color: magenta;">let</span> 
    458                                 x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    459                                 (Lhc.Show.showChar<span style="color: lightgreen;">∷</span>Char<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Char# <span style="color: blue;">32</span>)<b style="color: white">;</b> 
    460                                 <span style="color: magenta;">in</span> 
    461                                 <span style="color: magenta;">let</span> 
    462                                     x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String <span style="color: lightgreen;">=</span> 
    463                                     (Lhc.Show.showsPrec<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Show.2_a<span style="color: lightgreen;">.</span> 
    464                                     Int<span style="color: lightgreen;"> → </span>(Lhc.Show.2_a<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) (Int# <span style="color: blue;">10</span>) (Main.11_aa<span style="color: lightgreen;">∷</span>Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<b style="color: white">;</b> 
    465                                     <span style="color: magenta;">in</span> 
    466                                     (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    467                                                                                           <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    468                                                                                           <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    469                                     ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x230574400<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x217600726<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    470                             <span style="color: magenta;">in</span> 
    471                             (Lhc.Basics..<span style="color: lightgreen;">∷</span><span style="color: lightgreen;">∀</span>Lhc.Basics.v304<span style="color: lightgreen;">.</span> 
    472                                                                                   <span style="color: lightgreen;">∀</span>Lhc.Basics.v305<span style="color: lightgreen;">.</span> 
    473                                                                                   <span style="color: lightgreen;">∀</span>Lhc.Basics.v306<span style="color: lightgreen;">.</span> 
    474                             ((Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>((Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v305<span style="color: lightgreen;">∷</span><b style="color: white">*</b>))<span style="color: lightgreen;"> → </span>(Lhc.Basics.v304<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)<span style="color: lightgreen;"> → </span>(Lhc.Basics.v306<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) String String String (x256521830<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) (x243548158<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String)<b style="color: white">;</b> 
    475                     <span style="color: magenta;">in</span> 
    476                     (Lhc.Show.showParen<span style="color: lightgreen;">∷</span>Bool<span style="color: lightgreen;"> → </span>(String<span style="color: lightgreen;"> → </span>String)<span style="color: lightgreen;"> → </span>String<span style="color: lightgreen;"> → </span>String) (x9<span style="color: lightgreen;">∷</span>Bool) (x11<span style="color: lightgreen;">∷</span>String<span style="color: lightgreen;"> → </span>String) 
    477 ---- 
    478 Checking Let:  (x8)  =  (Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])) 
    479 ---- 
    480 fceq: (Main.Foo (x10<span style="color: lightgreen;">∷</span>[x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>])) 
    481       (Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>)) 
    482 ---- 
    483  
    484 eq: Vars don't match: (x2, Main.v51) 
    485     Main.Foo (x2<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    486     Main.Foo (Main.v51<span style="color: lightgreen;">∷</span><b style="color: white">*</b>) 
    487  
    488 Internal Error 
     7[Practically unreadable HTML edited out...] 
    4898</pre> 
    490 }}}