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

remove redundant variants

Browse Source
This commit is contained in:
Krasimir Angelov
2025-05-28 19:17:45 +00:00
parent 2c427b69fe
commit 68bab72cd3
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs
+4 -1
View File
@@ -501,9 +501,12 @@ resolveOverloads scope c t0 q args mb_ty = do
arg_tys <- mapCM (checkArg g) c1 args arg_tys <- mapCM (checkArg g) c1 args
let v_ttys = mapC (\c (t,ty) -> (t,eval g [] c ty [])) c2 ttys let v_ttys = mapC (\c (t,ty) -> (t,eval g [] c ty [])) c2 ttys
try (\(fun,fun_ty) -> reapply2 scope c3 fun fun_ty arg_tys mb_ty) try (\(fun,fun_ty) -> reapply2 scope c3 fun fun_ty arg_tys mb_ty)
(\ttys -> fmap (\(ts,ty) -> (FV ts,ty)) (snd (minimum g ttys))) (\ttys -> fmap (\(ts,ty) -> (mkFV ts,ty)) (snd (minimum g ttys)))
v_ttys v_ttys
where where
mkFV [t] = t
mkFV ts = FV ts
checkArg g c (ImplArg arg) = do checkArg g c (ImplArg arg) = do
let (c1,c2) = split c let (c1,c2) = split c
(arg,arg_ty) <- tcRho scope c1 arg Nothing (arg,arg_ty) <- tcRho scope c1 arg Nothing