diff options
| author | krasimir <krasimir@chalmers.se> | 2010-08-09 10:10:08 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-08-09 10:10:08 +0000 |
| commit | b0e110cf4f7c6e43d044f05fdedde3ffaabb9843 (patch) | |
| tree | bbbcf12cc8940277b3f04076fb0c84979c149bfd /src/compiler/GF/Compile/PGFtoJS.hs | |
| parent | 68d04c9136baee39d3c0bf1b345f7d669d9e6072 (diff) | |
native representation for HOAS in PMCFG and incremental type checking of the parse forest
Diffstat (limited to 'src/compiler/GF/Compile/PGFtoJS.hs')
| -rw-r--r-- | src/compiler/GF/Compile/PGFtoJS.hs | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/compiler/GF/Compile/PGFtoJS.hs b/src/compiler/GF/Compile/PGFtoJS.hs index d756af5cd..b81e0c5d3 100644 --- a/src/compiler/GF/Compile/PGFtoJS.hs +++ b/src/compiler/GF/Compile/PGFtoJS.hs @@ -71,19 +71,22 @@ children :: JS.Ident children = JS.Ident "cs" frule2js :: Production -> JS.Expr -frule2js (PApply funid args) = new "Rule" [JS.EInt funid, JS.EArray (map JS.EInt args)] +frule2js (PApply funid args) = new "Apply" [JS.EInt funid, JS.EArray (map farg2js args)] frule2js (PCoerce arg) = new "Coerce" [JS.EInt arg] +farg2js (PArg hypos fid) = new "PArg" (map (JS.EInt . snd) hypos ++ [JS.EInt fid]) + ffun2js (CncFun f lins) = new "CncFun" [JS.EStr (showCId f), JS.EArray (map JS.EInt (Array.elems lins))] seq2js :: Array.Array DotPos Symbol -> JS.Expr seq2js seq = JS.EArray [sym2js s | s <- Array.elems seq] sym2js :: Symbol -> JS.Expr -sym2js (SymCat n l) = new "Arg" [JS.EInt n, JS.EInt l] -sym2js (SymLit n l) = new "Lit" [JS.EInt n, JS.EInt l] -sym2js (SymKS ts) = new "KS" (map JS.EStr ts) -sym2js (SymKP ts alts) = new "KP" [JS.EArray (map JS.EStr ts), JS.EArray (map alt2js alts)] +sym2js (SymCat n l) = new "SymCat" [JS.EInt n, JS.EInt l] +sym2js (SymLit n l) = new "SymLit" [JS.EInt n, JS.EInt l] +sym2js (SymVar n l) = new "SymVar" [JS.EInt n, JS.EInt l] +sym2js (SymKS ts) = new "SymKS" (map JS.EStr ts) +sym2js (SymKP ts alts) = new "SymKP" [JS.EArray (map JS.EStr ts), JS.EArray (map alt2js alts)] alt2js (Alt ps ts) = new "Alt" [JS.EArray (map JS.EStr ps), JS.EArray (map JS.EStr ts)] |