External Core typechecker

[Kirsten Chevalier]

[ 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 * krc at uclink.berkeley.edu * Often in error, never in doubt
-------------- next part --------------
%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};