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

a better error message

Browse Source
This commit is contained in:
krasimir
2017-03-07 23:17:24 +00:00
parent 31cd69b730
commit f1240ef489
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/compiler/GF/Compile/TypeCheck/ConcreteNew.hs
View File

@@ -480,7 +480,8 @@ subsCheckRho ge scope t ty1@(VRecType rs1) ty2@(VRecType rs2) = do -- Rule
let fields = [(l,ty2,lookup l rs1) | (l,ty2) <- rs2] let fields = [(l,ty2,lookup l rs1) | (l,ty2) <- rs2]
case [l | (l,_,Nothing) <- fields] of case [l | (l,_,Nothing) <- fields] of
[] -> return () [] -> return ()
missing -> tcError ("Missing fields:" <+> hsep missing) missing -> tcError ("In the term" <+> pp t $$
"there are no values for fields:" <+> hsep missing)
rs <- sequence [mkField scope l t ty1 ty2 | (l,ty2,Just ty1) <- fields, Just t <- [mkProj l]] rs <- sequence [mkField scope l t ty1 ty2 | (l,ty2,Just ty1) <- fields, Just t <- [mkProj l]]
return (mkWrap (R rs)) return (mkWrap (R rs))
subsCheckRho ge scope t tau1 tau2 = do -- Rule EQ subsCheckRho ge scope t tau1 tau2 = do -- Rule EQ