GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-12 14:29:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed type argument to recursive call in generated composOp.

Browse Source
This commit is contained in:
bringert
2005-11-29 16:10:52 +00:00
parent 6c109eecc4
commit dba03132b5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Transfer/SyntaxToCore.hs
View File

@@ -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)