msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

length test in overload

Browse Source
This commit is contained in:
aarne
2006-12-21 10:38:26 +00:00
parent 453e7c5c42
commit 58f76dd1cf
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/GF/Compile/CheckGrammar.hs
View File

@@ -617,8 +617,9 @@ getOverload env@gr mt t = case appForm t of
---- TODO: use a trie ---- TODO: use a trie
lookupOverloadInstance tys typs = lookupOverloadInstance tys typs =
[(mkFunType rest val, t) | [(mkFunType rest val, t) |
(ty,(val,t)) <- typs, let lt = length tys,
let (pre,rest) = splitAt (length tys) ty, (ty,(val,t)) <- typs, length ty >= lt,
let (pre,rest) = splitAt lt ty,
pre == tys pre == tys
] ]