mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
added transfer cases
This commit is contained in:
@@ -53,6 +53,9 @@ core2exp e = case e of
|
||||
T.EApp f a -> App (core2exp f) (core2exp a)
|
||||
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.EMeta _ -> uExp -- meta symbol 0, refreshed by GF
|
||||
where
|
||||
var (T.CIdent x) = zIdent x
|
||||
|
||||
|
||||
Reference in New Issue
Block a user