diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-11-30 09:14:07 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-11-30 09:14:07 +0000 |
| commit | 68d4cc143f01189ebe99ca4413470257335fced4 (patch) | |
| tree | 32777f3b66a025769e234cc52c86186ea87faa5c /src/GF/UseGrammar | |
| parent | ac08470c220ab57f20e673042878ea6c0faf167b (diff) | |
added transfer cases
Diffstat (limited to 'src/GF/UseGrammar')
| -rw-r--r-- | src/GF/UseGrammar/Transfer.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/UseGrammar/Transfer.hs b/src/GF/UseGrammar/Transfer.hs index f219554cf..ba35c18ed 100644 --- a/src/GF/UseGrammar/Transfer.hs +++ b/src/GF/UseGrammar/Transfer.hs @@ -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 |
