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

yet another variation of the overloading error

Browse Source
This commit is contained in:
Krasimir Angelov
2025-11-14 15:04:30 +01:00
parent 6c9a197b37
commit 761b89d690
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/TypeCheck/Concrete.hs
+9 -5
View File
@@ -659,12 +659,16 @@ resolveOverloads scope c t0 q args mb_ty = do
minimum g ttys0 arg_tys [] = (maxBound,err) minimum g ttys0 arg_tys [] = (maxBound,err)
where where
err = evalError ("Overload resolution failed" $$ err = evalError ("no overload instance in the term" $$
"of term " <+> pp (foldl App (Q q) args) $$ nest 4 (pp (foldl App (Q q) args)) $$
"with alternatives" $$ (case mb_ty of
nest 4 (vcat [pp (snd q) <+> pp ':' <+> ppTerm Terse 0 ty | (_,ty) <- ttys0]) $$ Just vty -> pp "with value type" $$
nest 4 (ppValue Unqualified 0 vty)
Nothing -> empty) $$
"and argument types" $$ "and argument types" $$
nest 4 (fsep (punctuate (pp ',') [ppValue Terse 0 ty | (_,_,ty) <- arg_tys]))) nest 4 (fsep (punctuate (pp ',') [ppValue Terse 0 ty | (_,_,ty) <- arg_tys])) $$
"among alternatives" $$
nest 4 (vcat [pp (snd q) <+> pp ':' <+> ppTerm Terse 0 ty | (_,ty) <- ttys0]))
minimum g ttys0 arg_tys (tty@(t,ty):ttys) = minimum g ttys0 arg_tys (tty@(t,ty):ttys) =
let a = arity ty let a = arity ty