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

avoid unnecessary variants

Browse Source
This commit is contained in:
Krasimir Angelov
2025-05-18 07:46:56 +02:00
parent 3a1990fd1d
commit 68ae919afa
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,7 +501,7 @@ 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
checkArg g c (ImplArg arg) = do checkArg g c (ImplArg arg) = do
@@ -515,6 +515,9 @@ resolveOverloads scope c t0 q args mb_ty = do
let v = eval g (scopeEnv scope) c2 arg [] let v = eval g (scopeEnv scope) c2 arg []
return (arg,v,arg_ty) return (arg,v,arg_ty)
mkFV [t] = t
mkFV ts = FV ts
minimum g [] = (maxBound,err) minimum g [] = (maxBound,err)
where where
err = evalError (pp "Overload resolution failed") err = evalError (pp "Overload resolution failed")