diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-10-02 13:44:52 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-10-02 13:44:52 +0000 |
| commit | 8fc4f7b1fd5bef71c1833af63e6e283249f011db (patch) | |
| tree | d2c5e0fcc70414076052e8294f78fac167ac0883 /src/GF/Conversion/SimpleToFCFG.hs | |
| parent | dabf5d1ee0145b9664f36e25d6c43b817f5367fc (diff) | |
more debugging of GrammarToGFCC
Diffstat (limited to 'src/GF/Conversion/SimpleToFCFG.hs')
| -rw-r--r-- | src/GF/Conversion/SimpleToFCFG.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/GF/Conversion/SimpleToFCFG.hs b/src/GF/Conversion/SimpleToFCFG.hs index 73c4f0b0e..79eea13bd 100644 --- a/src/GF/Conversion/SimpleToFCFG.hs +++ b/src/GF/Conversion/SimpleToFCFG.hs @@ -127,6 +127,10 @@ convertTerm :: TermMap -> TermSelector -> Term -> LinRec -> CnvMonad LinRec convertTerm cnc_defs selector (V nr) ((lbl_path,lin) : lins) = convertArg selector nr [] lbl_path lin lins convertTerm cnc_defs selector (C nr) ((lbl_path,lin) : lins) = convertCon selector nr lbl_path lin lins convertTerm cnc_defs selector (R record) ((lbl_path,lin) : lins) = convertRec cnc_defs selector 0 record lbl_path lin lins + +----convertTerm cnc_defs selector (P term (R ts)) lins = +---- convertTerm cnc_defs selector (foldl P term ts) lins ---- ?? AR 2/10/2007 + convertTerm cnc_defs selector (P term sel) lins = do nr <- evalTerm cnc_defs [] sel convertTerm cnc_defs (TuplePrj nr selector) term lins convertTerm cnc_defs selector (FV vars) lins = do term <- member vars @@ -213,11 +217,14 @@ unifyPType nr path (C max_index) = return index unifyPType nr path (RP alias _) = unifyPType nr path alias +unifyPType nr path t = error $ "unifyPType " ++ show t ---- AR 2/10/2007 + selectTerm :: FPath -> Term -> Term selectTerm [] term = term selectTerm (index:path) (R record) = selectTerm path (record !! index) selectTerm path (RP _ term) = selectTerm path term + ---------------------------------------------------------------------- -- FRulesEnv |