From 8de44f741e2452cbad73dd1fb467fca888235748 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 2 Dec 2005 08:46:30 +0000 Subject: [PATCH] EInteger --- src/GF/UseGrammar/Transfer.hs | 4 ++-- 1 file 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