msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

a better error message

Browse Source
This commit is contained in:
krangelov
2021-12-15 09:36:12 +01:00
parent 8cb0383864
commit b61e870783
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/compiler/GF/Compile/GeneratePMCFG.hs
View File

@@ -274,7 +274,7 @@ mkLinDefault gr typ = liftM (Abs Explicit varStr) $ mkDefField typ
ts <- mapM mkDefField ts ts <- mapM mkDefField ts
return $ R (zipWith assign ls ts) return $ R (zipWith assign ls ts)
_ | Just _ <- isTypeInts ty -> return $ EInt 0 -- exists in all as first val _ | Just _ <- isTypeInts ty -> return $ EInt 0 -- exists in all as first val
_ -> checkError ("linearization type field cannot be" <+> pp (show ty)) _ -> checkError ("a field in a linearization type cannot be" <+> ty)
mkLinReference :: SourceGrammar -> Type -> Check Term mkLinReference :: SourceGrammar -> Type -> Check Term
mkLinReference gr typ = do mkLinReference gr typ = do
@@ -292,7 +292,7 @@ mkLinReference gr typ = do
RecType [] -> return Nothing RecType [] -> return Nothing
RecType rs -> traverse rs trm RecType rs -> traverse rs trm
_ | Just _ <- isTypeInts ty -> return Nothing _ | Just _ <- isTypeInts ty -> return Nothing
_ -> checkError ("linearization type field cannot be" <+> typ) _ -> checkError ("a field in a linearization type cannot be" <+> typ)
traverse [] trm = return Nothing traverse [] trm = return Nothing
traverse ((l,ty):rs) trm = do res <- mkRefField ty (P trm l) traverse ((l,ty):rs) trm = do res <- mkRefField ty (P trm l)