GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-09-11 21:06:02 -06:00
Code Issues Packages Projects Releases Wiki Activity

identification: String=Str, Int=Predef.Int, Float=Predef.Float

Browse Source
This commit is contained in:
Krasimir Angelov
2025-09-03 12:47:05 +00:00
parent 4eb8ae2f85
commit adf042f283
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Grammar/Lookup.hs
+5 -1
View File
@@ -68,7 +68,11 @@ lookupIdentInfo (m,ModPGF{mpgf=pgf}) i =
Nothing -> notFound i Nothing -> notFound i
where where
cnvType xs (PGF2.DTyp hypos cat es) = cnvType xs (PGF2.DTyp hypos cat es) =
appHypos hypos xs (QC (m,identS cat)) es let t | cat == "String" = Sort cStr
| cat == "Int" = QC (cPredef,cInt)
| cat == "Float" = QC (cPredef,cFloat)
| otherwise = QC (m,identS cat)
in appHypos hypos xs t es
appHypos [] xs t es = appHypos [] xs t es =
foldl (appExpr xs) t es foldl (appExpr xs) t es