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/Compiler | |
| parent | e21050f0561700eaccbfccf32bed86c62bd31299 (diff) | |
tweak hnf handling
Diffstat (limited to 'src/LambdaCube/Compiler')
| -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" |