diff options
Diffstat (limited to 'src/GF/Conversion/SimpleToFinite.hs')
| -rw-r--r-- | src/GF/Conversion/SimpleToFinite.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/GF/Conversion/SimpleToFinite.hs b/src/GF/Conversion/SimpleToFinite.hs index b875a698e..7f50f626e 100644 --- a/src/GF/Conversion/SimpleToFinite.hs +++ b/src/GF/Conversion/SimpleToFinite.hs @@ -107,14 +107,17 @@ calcSplitable rules = (listAssoc splitableCat2Funs, listAssoc splitableFun2Cat) (nondepCats <**> depCats) <\\> resultCats -- all result cats for some pure function - resultCats = nubsort [ cat | Rule (Abs (Decl _ cat _) decls _) _ <- rules, + resultCats = tracePrt "SimpleToFinite - result cats" prt $ + nubsort [ cat | Rule (Abs (Decl _ cat _) decls _) _ <- rules, not (null decls) ] -- all cats in constants without dependencies - nondepCats = nubsort [ cat | Rule (Abs (Decl _ cat []) [] _) _ <- rules ] + nondepCats = tracePrt "SimpleToFinite - nondep cats" prt $ + nubsort [ cat | Rule (Abs (Decl _ cat []) [] _) _ <- rules ] -- all cats occurring as some dependency of another cat - depCats = nubsort [ cat | Rule (Abs decl decls _) _ <- rules, + depCats = tracePrt "SimpleToFinite - dep cats" prt $ + nubsort [ cat | Rule (Abs decl decls _) _ <- rules, cat <- varCats [] (decls ++ [decl]) ] varCats _ [] = [] |