summaryrefslogtreecommitdiff
path: root/src/GF
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2005-12-02 08:46:30 +0000
committeraarne <aarne@cs.chalmers.se>2005-12-02 08:46:30 +0000
commit8de44f741e2452cbad73dd1fb467fca888235748 (patch)
treea8563ade5a918ef7db692153e1d62e503617ccba /src/GF
parentb1f6099025ee17371db899a2f8c2f02fdc8b2682 (diff)
EInteger
Diffstat (limited to 'src/GF')
-rw-r--r--src/GF/UseGrammar/Transfer.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/UseGrammar/Transfer.hs b/src/GF/UseGrammar/Transfer.hs
index ba35c18ed..38b8b489a 100644
--- a/src/GF/UseGrammar/Transfer.hs
+++ b/src/GF/UseGrammar/Transfer.hs
@@ -42,7 +42,7 @@ exp2core f = T.EApp (T.EVar (var f)) . exp2c where
Q _ c -> T.EVar (var c)
QC _ c -> T.EVar (var c)
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?
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.EVar c -> Vr (var c) -- GF annotates to Q or QC
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
where
var (T.CIdent x) = zIdent x