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

EInteger

Browse Source
This commit is contained in:
aarne
2005-12-02 08:46:30 +00:00
parent b1f6099025
commit 8de44f741e
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/GF/UseGrammar/Transfer.hs
View File

@@ -42,7 +42,7 @@ exp2core f = T.EApp (T.EVar (var f)) . exp2c where
Q _ c -> T.EVar (var c) Q _ c -> T.EVar (var c)
QC _ c -> T.EVar (var c) QC _ c -> T.EVar (var c)
K s -> T.EStr s K s -> T.EStr s
EInt i -> T.EInt $ toInteger i EInt i -> T.EInteger $ toInteger i
Meta m -> T.EMeta (T.TMeta (prt m)) ---- which meta symbol? Meta m -> T.EMeta (T.TMeta (prt m)) ---- which meta symbol?
Vr x -> T.EVar (var x) ---- should be syntactic var Vr x -> T.EVar (var x) ---- should be syntactic var
@@ -54,7 +54,7 @@ core2exp e = case e of
T.EAbs (T.PVVar x) b -> Abs (var x) (core2exp b) ---- only from syntactic abstr T.EAbs (T.PVVar x) b -> Abs (var x) (core2exp b) ---- only from syntactic abstr
T.EVar c -> Vr (var c) -- GF annotates to Q or QC T.EVar c -> Vr (var c) -- GF annotates to Q or QC
T.EStr s -> K s T.EStr s -> K s
T.EInt i -> EInt $ fromInteger i T.EInteger i -> EInt $ fromInteger i
T.EMeta _ -> uExp -- meta symbol 0, refreshed by GF T.EMeta _ -> uExp -- meta symbol 0, refreshed by GF
where where
var (T.CIdent x) = zIdent x var (T.CIdent x) = zIdent x