diff options
| author | peb <unknown> | 2005-04-18 13:55:32 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-04-18 13:55:32 +0000 |
| commit | c1592825c71867711a63293b588fcbc97e52bfc4 (patch) | |
| tree | 5b042471de94431e15f8fda2c6ff9a85bce99cef /src/GF/Conversion/SimpleToFinite.hs | |
| parent | 1323b7406376c72f40b1e561e079f8824f79aabf (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/GF/Conversion/SimpleToFinite.hs')
| -rw-r--r-- | src/GF/Conversion/SimpleToFinite.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/GF/Conversion/SimpleToFinite.hs b/src/GF/Conversion/SimpleToFinite.hs index f462ddf01..3480a2a23 100644 --- a/src/GF/Conversion/SimpleToFinite.hs +++ b/src/GF/Conversion/SimpleToFinite.hs @@ -4,9 +4,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/14 11:42:05 $ +-- > CVS $Date: 2005/04/18 14:55:32 $ -- > CVS $Author: peb $ --- > CVS $Revision: 1.3 $ +-- > CVS $Revision: 1.4 $ -- -- Calculating the finiteness of each type in a grammar ----------------------------------------------------------------------------- @@ -31,7 +31,7 @@ import Ident (Ident(..)) type CnvMonad a = BacktrackM () a convertGrammar :: SGrammar -> SGrammar -convertGrammar rules = tracePrt "#finite simpleGFC rules" (prt . length) $ +convertGrammar rules = tracePrt "SimpleToFinie - nr. 'finite' rules" (prt . length) $ solutions cnvMonad () where split = calcSplitable rules cnvMonad = member rules >>= convertRule split @@ -101,7 +101,7 @@ calcSplitable rules = (listAssoc splitableCat2Funs, listAssoc splitableFun2Cat) -- all cats that are splitable splitableCats = listSet $ - tracePrt "finite categories to split" prt $ + tracePrt "SimpleToFinite - finite categories to split" prt $ (nondepCats <**> depCats) <\\> resultCats -- all result cats for some pure function |