diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Transfer/SyntaxToCore.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Transfer/SyntaxToCore.hs b/src/Transfer/SyntaxToCore.hs index f849bbcfb..23c2328a2 100644 --- a/src/Transfer/SyntaxToCore.hs +++ b/src/Transfer/SyntaxToCore.hs @@ -138,7 +138,7 @@ deriveComposOp t k cs = -- has a dependent type -- FIXME: make a special case for lists? let rec v at = case at of - EApp (EVar t') _ | t' == t -> apply (e f) [at, e v] + EApp (EVar t') c | t' == t -> apply (e f) [c, e v] _ -> e v calls = zipWith rec vars (argumentTypes ct) return $ Case (PCons ci (map PVar vars)) (apply (e ci) calls) |