diff options
-rw-r--r-- | src/LambdaCube/Compiler/Core.hs | 2 | ||||
-rw-r--r-- | testdata/loopIssue.out | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs index 809a8d9c..4f0c597a 100644 --- a/src/LambdaCube/Compiler/Core.hs +++ b/src/LambdaCube/Compiler/Core.hs | |||
@@ -259,7 +259,7 @@ reduce (Neut (ReducedN y)) = Just $ hnf y | |||
259 | reduce (SubstLet x) = Just $ hnf x | 259 | reduce (SubstLet x) = Just $ hnf x |
260 | reduce _ = Nothing | 260 | reduce _ = Nothing |
261 | -} | 261 | -} |
262 | hnf (Reduced y) = y | 262 | hnf (Reduced y) = hnf y -- TODO: review hnf call here |
263 | hnf a = a | 263 | hnf a = a |
264 | 264 | ||
265 | outputType = tTyCon0 FOutput $ error "cs 9" | 265 | outputType = tTyCon0 FOutput $ error "cs 9" |
diff --git a/testdata/loopIssue.out b/testdata/loopIssue.out index 6413ce9b..86b64220 100644 --- a/testdata/loopIssue.out +++ b/testdata/loopIssue.out | |||
@@ -69,7 +69,7 @@ inf :: Inf | |||
69 | inf = primFix _ \a -> _rhs (Inf a) | 69 | inf = primFix _ \a -> _rhs (Inf a) |
70 | 70 | ||
71 | inf2 :: Inf | 71 | inf2 :: Inf |
72 | inf2 = _rhs inf | 72 | inf2 = _rhs (Inf inf) |
73 | 73 | ||
74 | main :: Bool | 74 | main :: Bool |
75 | main = _rhs True | 75 | main = _rhs True |
@@ -81,7 +81,7 @@ match'Inf :: forall (a :: Type -> Type) -> a Inf -> forall b -> a b -> a b | |||
81 | match'Inf = \a b c d -> <<type case function>> | 81 | match'Inf = \a b c d -> <<type case function>> |
82 | 82 | ||
83 | primes :: [Bool] | 83 | primes :: [Bool] |
84 | primes = _rhs repeatT | 84 | primes = _rhs (True : repeatT) |
85 | 85 | ||
86 | repeat :: Bool -> [Bool] | 86 | repeat :: Bool -> [Bool] |
87 | repeat = primFix _ \a b -> _rhs (typeAnn b : a b) | 87 | repeat = primFix _ \a b -> _rhs (typeAnn b : a b) |