diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-18 21:10:46 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-18 21:10:46 +0000 |
| commit | 5c3e14efbcdca5383aec7963afad44a2d7048087 (patch) | |
| tree | bd35aacf036aba6a09e5dbf3b179407cdcb65dbd /src/GF/Compile | |
| parent | 9d1cc0728494d5887fb95af0ef0b326b38ddb530 (diff) | |
overloading API and examples
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 4 |
1 files 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 |