From 5c3e14efbcdca5383aec7963afad44a2d7048087 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 18 Nov 2006 21:10:46 +0000 Subject: [PATCH] overloading API and examples --- src/GF/Compile/CheckGrammar.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 76ff093f3..1b3159cd1 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -589,8 +589,8 @@ inferLType gr trm = case trm of _ -> raise $ "no overload instance of" +++ prt f +++ "for" +++ unwords (map prtType tys) +++ "among" ++++ unlines [unwords (map prtType ty) | (ty,_) <- typs] - ++++ "DEBUG" +++ unwords (map show tys) +++ ";" - ++++ unlines (map (show . fst) typs) ---- + ---- ++++ "DEBUG" +++ unwords (map show tys) +++ ";" + ---- ++++ unlines (map (show . fst) typs) ---- lookupOverloadInstance tys typs = lookup tys typs ---- use Map