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