fork download
copy 
  1. [1 of 1] Compiling Main             ( digitsV2.hs, digitsV2.o )
  2.  
  3. ==================== Tidy Core ====================
  4. Result size of Tidy Core = {terms: 57, types: 64, coercions: 12}
  5.  
  6. lvl_r1xl :: Integer
  7. [GblId, Caf=NoCafRefs, Str=DmdType]
  8. lvl_r1xl = __integer 10
  9.  
  10. Rec {
  11. Main.$wgo [InlPrag=[0], Occ=LoopBreaker]
  12.   :: Integer -> [Int] -> (# Int, [Int] #)
  13. [GblId, Arity=2, Str=DmdType <S,U><L,U>]
  14. Main.$wgo =
  15.   \ (w_s1wh :: Integer) (w1_s1wi :: [Int]) ->
  16.     case integer-gmp-1.0.0.0:GHC.Integer.Type.ltInteger#
  17.            w_s1wh lvl_r1xl
  18.     of wild_a1dp { __DEFAULT ->
  19.     case GHC.Prim.tagToEnum# @ Bool wild_a1dp of _ [Occ=Dead] {
  20.       False ->
  21.         case integer-gmp-1.0.0.0:GHC.Integer.Type.quotRemInteger
  22.                w_s1wh lvl_r1xl
  23.         of _ [Occ=Dead] { (# ipv_a1dB, ipv1_a1dC #) ->
  24.         Main.$wgo
  25.           ipv_a1dB
  26.           (GHC.Types.:
  27.              @ Int
  28.              (case integer-gmp-1.0.0.0:GHC.Integer.Type.integerToInt ipv1_a1dC
  29.               of wild2_a1ea { __DEFAULT ->
  30.               GHC.Types.I# wild2_a1ea
  31.               })
  32.              w1_s1wi)
  33.         };
  34.       True -> (# GHC.Num.$fNumInt_$cfromInteger w_s1wh, w1_s1wi #)
  35.     }
  36.     }
  37. end Rec }
  38.  
  39. Main.main3 :: Integer
  40. [GblId,
  41.  Caf=NoCafRefs,
  42.  Str=DmdType,
  43.  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
  44.          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
  45. Main.main3 = __integer 1
  46.  
  47. Main.main2 :: [Int]
  48. [GblId,
  49.  Str=DmdType,
  50.  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
  51.          WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 50 30}]
  52. Main.main2 =
  53.   case Main.$wgo Main.main3 (GHC.Types.[] @ Int)
  54.   of _ [Occ=Dead] { (# ww1_s1wo, ww2_s1wp #) ->
  55.   GHC.Types.: @ Int ww1_s1wo ww2_s1wp
  56.   }
  57.  
  58. Main.main1
  59.   :: GHC.Prim.State# GHC.Prim.RealWorld
  60.      -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #)
  61. [GblId,
  62.  Arity=1,
  63.  Str=DmdType <L,U>,
  64.  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
  65.          WorkFree=True, Expandable=True,
  66.          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
  67. Main.main1 =
  68.   \ (s_a1eo [OS=OneShot] :: GHC.Prim.State# GHC.Prim.RealWorld) ->
  69.     (# s_a1eo, Main.main2 #)
  70.  
  71. main :: IO [Int]
  72. [GblId,
  73.  Arity=1,
  74.  Str=DmdType <L,U>,
  75.  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
  76.          WorkFree=True, Expandable=True,
  77.          Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)
  78.          Tmpl= Main.main1
  79.                `cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
  80.                        :: (GHC.Prim.State# GHC.Prim.RealWorld
  81.                            -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
  82.                           ~R# IO [Int])}]
  83. main =
  84.   Main.main1
  85.   `cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
  86.           :: (GHC.Prim.State# GHC.Prim.RealWorld
  87.               -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
  88.              ~R# IO [Int])
  89.  
  90. Main.main4
  91.   :: GHC.Prim.State# GHC.Prim.RealWorld
  92.      -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #)
  93. [GblId,
  94.  Arity=1,
  95.  Str=DmdType,
  96.  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
  97.          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
  98. Main.main4 =
  99.   GHC.TopHandler.runMainIO1
  100.     @ [Int]
  101.     (Main.main1
  102.      `cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
  103.              :: (GHC.Prim.State# GHC.Prim.RealWorld
  104.                  -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
  105.                 ~R# IO [Int]))
  106.  
  107. :Main.main :: IO [Int]
  108. [GblId,
  109.  Arity=1,
  110.  Str=DmdType,
  111.  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
  112.          WorkFree=True, Expandable=True,
  113.          Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)
  114.          Tmpl= Main.main4
  115.                `cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
  116.                        :: (GHC.Prim.State# GHC.Prim.RealWorld
  117.                            -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
  118.                           ~R# IO [Int])}]
  119. :Main.main =
  120.   Main.main4
  121.   `cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
  122.           :: (GHC.Prim.State# GHC.Prim.RealWorld
  123.               -> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
  124.              ~R# IO [Int])
  125.  
  126.  
  127.  
  128. Linking digitsV2.exe ...
  129.  
Not running #stdin #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/SIKzQE
language:
Text (text 6.10)
created:
10 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!