diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 02:00:15 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 02:00:15 +0200 |
commit | 18ea057b94fbcce585314d661f8c0533a4c0c4f6 (patch) | |
tree | 34788884b3851cafd6fe6a1e6c6f060bf6b9a79e /src/LambdaCube | |
parent | e21050f0561700eaccbfccf32bed86c62bd31299 (diff) |
tweak hnf handling
Diffstat (limited to 'src/LambdaCube')
-rw-r--r-- | src/LambdaCube/Compiler/Core.hs | 2 |
1 files changed, 1 insertions, 1 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" |