External Core typechecker

Thu, 05 Sep 2002 11:42:48 -0700 

[ oops, forgot to include the attachment in the last message; it's also
copied here as text ]

%module Main
  %rec
  {main1 :: GHCziPrim.ZLzmzgZR
            (GHCziPrim.Statezh GHCziPrim.RealWorld)
            (GHCziPrim.Z2H
             (GHCziPrim.Statezh GHCziPrim.RealWorld)
             GHCziBase.Z0T) =
     %let %rec
          {x :: GHCziNum.Integer = lit;
           x1 :: GHCziNum.Integer = x}
     %in %let %rec
              {y :: GHCziBase.ZMZN GHCziNum.Integer =
                 GHCziBase.zdwZC @ GHCziNum.Integer lit1
                 (GHCziBase.zdwZC @ GHCziNum.Integer lit2
                  (GHCziBase.zdwZC @ GHCziNum.Integer lit3
                   (GHCziBase.zdwZMZN @ GHCziNum.Integer)));
               y1 :: GHCziBase.ZMZN GHCziNum.Integer = y}
         %in SystemziIO.putStrLn
             (show (GHCziBase.ZC @ GHCziNum.Integer y1 y1));
   main :: GHCziPrim.ZLzmzgZR
           (GHCziPrim.Statezh GHCziPrim.RealWorld)
           (GHCziPrim.Z2H
            (GHCziPrim.Statezh GHCziPrim.RealWorld)
            GHCziBase.Z0T) =
     main1;
   lit :: GHCziNum.Integer =
     fromInteger (GHCziNum.zdwSzh (5::GHCziPrim.Intzh));
   fromInteger :: GHCziPrim.ZLzmzgZR
                  GHCziNum.Integer
                  GHCziNum.Integer =
     GHCziNum.fromInteger @ GHCziNum.Integer zddNum;
   lit1 :: GHCziNum.Integer =
     fromInteger1 (GHCziNum.zdwSzh (1::GHCziPrim.Intzh));
   fromInteger1 :: GHCziPrim.ZLzmzgZR
                   GHCziNum.Integer
                   GHCziNum.Integer =
     fromInteger;
   lit2 :: GHCziNum.Integer =
     fromInteger2 (GHCziNum.zdwSzh (2::GHCziPrim.Intzh));
   fromInteger2 :: GHCziPrim.ZLzmzgZR
                   GHCziNum.Integer
                   GHCziNum.Integer =
     fromInteger;
   lit3 :: GHCziNum.Integer =
     fromInteger3 (GHCziNum.zdwSzh (3::GHCziPrim.Intzh));
   fromInteger3 :: GHCziPrim.ZLzmzgZR
                   GHCziNum.Integer
                   GHCziNum.Integer =
     fromInteger;
   show :: GHCziPrim.ZLzmzgZR
           (GHCziBase.ZMZN GHCziNum.Integer)
           (GHCziBase.ZMZN GHCziBase.Char) =
     GHCziShow.show @ (GHCziBase.ZMZN GHCziNum.Integer) zddShow;
   zddShow :: GHCziShow.ZCTShow (GHCziBase.ZMZN GHCziNum.Integer) =
     GHCziShow.zdfShowZMZN @ GHCziNum.Integer zddShow1;
   zddShow1 :: GHCziShow.ZCTShow GHCziNum.Integer =
     GHCziNum.zdp2Num @ GHCziNum.Integer zddNum;
   zddNum :: GHCziNum.ZCTNum GHCziNum.Integer =
     GHCziNum.zdfNumInteger;
   Main.zdmain :: GHCziPrim.ZLzmzgZR
                  (GHCziPrim.Statezh GHCziPrim.RealWorld)
                  (GHCziPrim.Z2H
                   (GHCziPrim.Statezh GHCziPrim.RealWorld)
                   GHCziBase.Z0T) =
     GHCziTopHandler.runIO @ GHCziBase.Z0T main};

-- 
Kirsten Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt

%module Main
  %rec
  {main1 :: GHCziPrim.ZLzmzgZR
            (GHCziPrim.Statezh GHCziPrim.RealWorld)
            (GHCziPrim.Z2H
             (GHCziPrim.Statezh GHCziPrim.RealWorld)
             GHCziBase.Z0T) =
     %let %rec
          {x :: GHCziNum.Integer = lit;
           x1 :: GHCziNum.Integer = x}
     %in %let %rec
              {y :: GHCziBase.ZMZN GHCziNum.Integer =
                 GHCziBase.zdwZC @ GHCziNum.Integer lit1
                 (GHCziBase.zdwZC @ GHCziNum.Integer lit2
                  (GHCziBase.zdwZC @ GHCziNum.Integer lit3
                   (GHCziBase.zdwZMZN @ GHCziNum.Integer)));
               y1 :: GHCziBase.ZMZN GHCziNum.Integer = y}
         %in SystemziIO.putStrLn
             (show (GHCziBase.ZC @ GHCziNum.Integer y1 y1));
   main :: GHCziPrim.ZLzmzgZR
           (GHCziPrim.Statezh GHCziPrim.RealWorld)
           (GHCziPrim.Z2H
            (GHCziPrim.Statezh GHCziPrim.RealWorld)
            GHCziBase.Z0T) =
     main1;
   lit :: GHCziNum.Integer =
     fromInteger (GHCziNum.zdwSzh (5::GHCziPrim.Intzh));
   fromInteger :: GHCziPrim.ZLzmzgZR
                  GHCziNum.Integer
                  GHCziNum.Integer =
     GHCziNum.fromInteger @ GHCziNum.Integer zddNum;
   lit1 :: GHCziNum.Integer =
     fromInteger1 (GHCziNum.zdwSzh (1::GHCziPrim.Intzh));
   fromInteger1 :: GHCziPrim.ZLzmzgZR
                   GHCziNum.Integer
                   GHCziNum.Integer =
     fromInteger;
   lit2 :: GHCziNum.Integer =
     fromInteger2 (GHCziNum.zdwSzh (2::GHCziPrim.Intzh));
   fromInteger2 :: GHCziPrim.ZLzmzgZR
                   GHCziNum.Integer
                   GHCziNum.Integer =
     fromInteger;
   lit3 :: GHCziNum.Integer =
     fromInteger3 (GHCziNum.zdwSzh (3::GHCziPrim.Intzh));
   fromInteger3 :: GHCziPrim.ZLzmzgZR
                   GHCziNum.Integer
                   GHCziNum.Integer =
     fromInteger;
   show :: GHCziPrim.ZLzmzgZR
           (GHCziBase.ZMZN GHCziNum.Integer)
           (GHCziBase.ZMZN GHCziBase.Char) =
     GHCziShow.show @ (GHCziBase.ZMZN GHCziNum.Integer) zddShow;
   zddShow :: GHCziShow.ZCTShow (GHCziBase.ZMZN GHCziNum.Integer) =
     GHCziShow.zdfShowZMZN @ GHCziNum.Integer zddShow1;
   zddShow1 :: GHCziShow.ZCTShow GHCziNum.Integer =
     GHCziNum.zdp2Num @ GHCziNum.Integer zddNum;
   zddNum :: GHCziNum.ZCTNum GHCziNum.Integer =
     GHCziNum.zdfNumInteger;
   Main.zdmain :: GHCziPrim.ZLzmzgZR
                  (GHCziPrim.Statezh GHCziPrim.RealWorld)
                  (GHCziPrim.Z2H
                   (GHCziPrim.Statezh GHCziPrim.RealWorld)
                   GHCziBase.Z0T) =
     GHCziTopHandler.runIO @ GHCziBase.Z0T main};

Reply via email to