diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 01:38:21 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 01:38:21 +0200 |
| commit | 9c3e2fee74ae5ae9885aff40154ec4c1db04a646 (patch) | |
| tree | b90c13160235feb48a54167854475a4b9f804440 /src | |
| parent | 25c580d8772e2626c4bcb4988e43450ba9bf9d16 (diff) | |
fix coverage test
Diffstat (limited to 'src')
| -rw-r--r-- | src/LambdaCube/Compiler/Core.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs index b10f6de9..809a8d9c 100644 --- a/src/LambdaCube/Compiler/Core.hs +++ b/src/LambdaCube/Compiler/Core.hs | |||
| @@ -252,14 +252,14 @@ mkFun :: FunName -> [Exp] -> Exp -> Exp | |||
| 252 | mkFun f xs e = mkFun_ (foldMap getFreeVars xs) f xs e | 252 | mkFun f xs e = mkFun_ (foldMap getFreeVars xs) f xs e |
| 253 | 253 | ||
| 254 | pattern ReducedN y <- Fun _ _ (RHS y) | 254 | pattern ReducedN y <- Fun _ _ (RHS y) |
| 255 | pattern Reduced y <- (reduce -> Just y) | 255 | pattern Reduced y <- Neut (ReducedN y) |
| 256 | 256 | {- | |
| 257 | -- TODO: too much hnf call | 257 | -- TODO: too much hnf call |
| 258 | reduce (Neut (ReducedN y)) = Just $ hnf y | 258 | 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 (reduce -> Just y) = y | 262 | hnf (Reduced y) = y |
| 263 | hnf a = a | 263 | hnf a = a |
| 264 | 264 | ||
| 265 | outputType = tTyCon0 FOutput $ error "cs 9" | 265 | outputType = tTyCon0 FOutput $ error "cs 9" |