Commit 82f1c787 authored by Ben Gamari's avatar Ben Gamari 🐢

Fix tests

parent 29f82250
......@@ -2,6 +2,7 @@
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 8, types: 19, coercions: 1}
-- RHS size: {terms: 2, types: 3, coercions: 1}
T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
[GblId[DataConWrapper],
Caf=NoCafRefs,
......@@ -12,6 +13,7 @@ T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
Tmpl= \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N}]
T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N
-- RHS size: {terms: 4, types: 7, coercions: 0}
absurd :: forall a. Int :~: Bool -> a
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b]
absurd = \ (@ a) (x :: Int :~: Bool) -> case x of _ [Occ=Dead] { }
......
......@@ -2,6 +2,7 @@
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 22, types: 14, coercions: 0}
-- RHS size: {terms: 8, types: 3, coercions: 0}
dl :: Double -> Double
[GblId,
Arity=1,
......@@ -15,6 +16,7 @@ dl :: Double -> Double
dl =
\ (x :: Double) -> case x of _ [Occ=Dead] { D# y -> D# (+## y y) }
-- RHS size: {terms: 1, types: 0, coercions: 0}
dr :: Double -> Double
[GblId,
Arity=1,
......@@ -27,6 +29,7 @@ dr :: Double -> Double
case x of _ [Occ=Dead] { D# x1 -> D# (+## x1 x1) }}]
dr = dl
-- RHS size: {terms: 8, types: 3, coercions: 0}
fl :: Float -> Float
[GblId,
Arity=1,
......@@ -41,6 +44,7 @@ fl =
\ (x :: Float) ->
case x of _ [Occ=Dead] { F# y -> F# (plusFloat# y y) }
-- RHS size: {terms: 1, types: 0, coercions: 0}
fr :: Float -> Float
[GblId,
Arity=1,
......
......@@ -2,10 +2,12 @@
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 5, types: 9, coercions: 5}
-- RHS size: {terms: 2, types: 2, coercions: 0}
a :: Wrap Age -> Wrap Age
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
a = \ (ds :: Wrap Age) -> ds
-- RHS size: {terms: 1, types: 0, coercions: 5}
convert :: Wrap Age -> Int
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
convert =
......
......@@ -3,6 +3,7 @@
Result size of Tidy Core = {terms: 22, types: 10, coercions: 0}
Rec {
-- RHS size: {terms: 10, types: 2, coercions: 0}
T3717.$wfoo [InlPrag=[0], Occ=LoopBreaker] :: Int# -> Int#
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
T3717.$wfoo =
......@@ -13,6 +14,7 @@ T3717.$wfoo =
}
end Rec }
-- RHS size: {terms: 10, types: 4, coercions: 0}
foo [InlPrag=INLINE[0]] :: Int -> Int
[GblId,
Arity=1,
......
......@@ -3,6 +3,7 @@
Result size of Tidy Core = {terms: 26, types: 11, coercions: 0}
Rec {
-- RHS size: {terms: 10, types: 2, coercions: 0}
$wxs :: Int# -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
$wxs =
......@@ -13,6 +14,7 @@ $wxs =
}
end Rec }
-- RHS size: {terms: 14, types: 5, coercions: 0}
foo [InlPrag=NOINLINE] :: Int -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U(U)>]
foo =
......
......@@ -3,6 +3,7 @@
Result size of Tidy Core = {terms: 54, types: 38, coercions: 0}
Rec {
-- RHS size: {terms: 19, types: 5, coercions: 0}
T4908.f_$s$wf [Occ=LoopBreaker] :: Int# -> Int -> Int# -> Bool
[GblId, Arity=3, Caf=NoCafRefs, Str=DmdType <S,1*U><L,A><L,U>]
T4908.f_$s$wf =
......@@ -17,6 +18,7 @@ T4908.f_$s$wf =
}
end Rec }
-- RHS size: {terms: 24, types: 13, coercions: 0}
T4908.$wf [InlPrag=[0]] :: Int# -> (Int, Int) -> Bool
[GblId,
Arity=2,
......@@ -39,6 +41,7 @@ T4908.$wf =
0# -> True
}
-- RHS size: {terms: 8, types: 6, coercions: 0}
f [InlPrag=INLINE[0]] :: Int -> (Int, Int) -> Bool
[GblId,
Arity=2,
......
......@@ -2,14 +2,17 @@
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 23, types: 11, coercions: 0}
-- RHS size: {terms: 2, types: 0, coercions: 0}
lvl :: [Char]
[GblId, Str=DmdType]
lvl = unpackCString# "Too small"#
-- RHS size: {terms: 2, types: 1, coercions: 0}
T4930.foo1 :: Int
[GblId, Str=DmdType b]
T4930.foo1 = error @ Int lvl
-- RHS size: {terms: 16, types: 5, coercions: 0}
foo :: Int -> Int
[GblId,
Arity=1,
......
......@@ -2,6 +2,7 @@
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 36, types: 29, coercions: 0}
-- RHS size: {terms: 6, types: 3, coercions: 0}
T7360.$WFoo3 [InlPrag=INLINE] :: Int -> Foo
[GblId[DataConWrapper],
Arity=1,
......@@ -16,10 +17,12 @@ T7360.$WFoo3 =
\ (dt [Occ=Once!] :: Int) ->
case dt of _ [Occ=Dead] { I# dt [Occ=Once] -> T7360.Foo3 dt }
-- RHS size: {terms: 5, types: 2, coercions: 0}
fun1 [InlPrag=NOINLINE] :: Foo -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
fun1 = \ (x :: Foo) -> case x of _ [Occ=Dead] { __DEFAULT -> () }
-- RHS size: {terms: 2, types: 0, coercions: 0}
T7360.fun5 :: ()
[GblId,
Str=DmdType,
......@@ -27,6 +30,7 @@ T7360.fun5 :: ()
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
T7360.fun5 = fun1 T7360.Foo1
-- RHS size: {terms: 2, types: 0, coercions: 0}
T7360.fun4 :: Int
[GblId,
Caf=NoCafRefs,
......@@ -35,6 +39,7 @@ T7360.fun4 :: Int
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
T7360.fun4 = I# 0#
-- RHS size: {terms: 16, types: 12, coercions: 0}
fun2 :: forall a. [a] -> ((), Int)
[GblId,
Arity=1,
......
......@@ -2,6 +2,7 @@
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 23, types: 16, coercions: 0}
-- RHS size: {terms: 22, types: 14, coercions: 0}
main :: IO ()
[GblId, Str=DmdType]
main =
......
......@@ -2,12 +2,14 @@
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 162, types: 61, coercions: 0}
-- RHS size: {terms: 2, types: 1, coercions: 0}
Roman.foo3 :: Int
[GblId, Str=DmdType b]
Roman.foo3 =
patError @ Int "spec-inline.hs:(19,5)-(29,25)|function go"#
Rec {
-- RHS size: {terms: 55, types: 9, coercions: 0}
Roman.foo_$s$wgo [Occ=LoopBreaker] :: Int# -> Int# -> Int#
[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType <L,U><L,U>]
Roman.foo_$s$wgo =
......@@ -30,6 +32,7 @@ Roman.foo_$s$wgo =
}
end Rec }
-- RHS size: {terms: 74, types: 22, coercions: 0}
Roman.$wgo [InlPrag=[0]] :: Maybe Int -> Maybe Int -> Int#
[GblId,
Arity=2,
......@@ -67,6 +70,7 @@ Roman.$wgo =
}
}
-- RHS size: {terms: 9, types: 5, coercions: 0}
Roman.foo_go [InlPrag=INLINE[0]] :: Maybe Int -> Maybe Int -> Int
[GblId,
Arity=2,
......@@ -80,6 +84,7 @@ Roman.foo_go =
\ (w :: Maybe Int) (w1 :: Maybe Int) ->
case Roman.$wgo w w1 of ww { __DEFAULT -> I# ww }
-- RHS size: {terms: 2, types: 0, coercions: 0}
Roman.foo2 :: Int
[GblId,
Caf=NoCafRefs,
......@@ -88,6 +93,7 @@ Roman.foo2 :: Int
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Roman.foo2 = I# 6#
-- RHS size: {terms: 2, types: 1, coercions: 0}
Roman.foo1 :: Maybe Int
[GblId,
Caf=NoCafRefs,
......@@ -96,6 +102,7 @@ Roman.foo1 :: Maybe Int
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Roman.foo1 = Just @ Int Roman.foo2
-- RHS size: {terms: 11, types: 4, coercions: 0}
foo :: Int -> Int
[GblId,
Arity=1,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment