diff options
| author | krasimir <krasimir@chalmers.se> | 2010-05-26 09:37:32 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-05-26 09:37:32 +0000 |
| commit | 6eda1118fcc497fda0939f02502569caf8625c7c (patch) | |
| tree | d5c208f79e701e48aa85a2bf08d995f7b28e9619 /src/compiler/GF/Compile/PGFtoProlog.hs | |
| parent | b1441f2807a44c63a50382db93f49601550a95a8 (diff) | |
since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation
Diffstat (limited to 'src/compiler/GF/Compile/PGFtoProlog.hs')
| -rw-r--r-- | src/compiler/GF/Compile/PGFtoProlog.hs | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/compiler/GF/Compile/PGFtoProlog.hs b/src/compiler/GF/Compile/PGFtoProlog.hs index 9e390e87b..8c5dee166 100644 --- a/src/compiler/GF/Compile/PGFtoProlog.hs +++ b/src/compiler/GF/Compile/PGFtoProlog.hs @@ -116,32 +116,6 @@ instance PLPrint Patt where instance PLPrint Equation where plp (Equ patterns result) = plOper ":" (plp patterns) (plp result) -instance PLPrint Term where - plp (S terms) = plTerm "s" [plp terms] - plp (C n) = plTerm "c" [show n] - plp (K tokn) = plTerm "k" [plp tokn] - plp (FV trms) = plTerm "fv" [plp trms] - plp (P t1 t2) = plTerm "p" [plp t1, plp t2] - plp (W s trm) = plTerm "w" [plp s, plp trm] - plp (R terms) = plTerm "r" [plp terms] - plp (F oper) = plTerm "f" [plp oper] - plp (V n) = plTerm "v" [show n] - plp (TM str) = plTerm "tm" [plp str] - -{-- more prolog-like syntax for PGF terms, but also more difficult to handle: -instance PLPrint Term where - plp (S terms) = plp terms - plp (C n) = show n - plp (K token) = plp token - plp (FV terms) = prCurlyList (map plp terms) - plp (P t1 t2) = plOper "/" (plp t1) (plp t2) - plp (W s trm) = plOper "+" (plp s) (plp trm) - plp (R terms) = plTerm "r" (map plp terms) - plp (F oper) = plTerm "f" [plp oper] - plp (V n) = plTerm "arg" [show n] - plp (TM str) = plTerm "meta" [plp str] ---} - instance PLPrint CId where plp cid | isLogicalVariable str || cid == wildCId = plVar str |