diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-29 16:10:52 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-29 16:10:52 +0000 |
| commit | 68411f04f9c69610c170677fd34f8c6a47adfa2b (patch) | |
| tree | 9b2c16b9f0d5b746957a2e0623320705908c619f /src/Transfer/SyntaxToCore.hs | |
| parent | 0d0c7e5b2df04acce8f97eb4080c603b0d1478df (diff) | |
Fixed type argument to recursive call in generated composOp.
Diffstat (limited to 'src/Transfer/SyntaxToCore.hs')
| -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) |