diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2006-06-01 10:26:49 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2006-06-01 10:26:49 +0000 |
| commit | 496f1fc8767f9d8ce1bb69b6e6460c2b7b7dd4b4 (patch) | |
| tree | 744205609902f1dde62a9aca91457da65e02deef /src/GF/Conversion/GFCtoSimple.hs | |
| parent | f7d8cdfc2ec43984979a6c7dd1eacc221dd779ec (diff) | |
The SLinType type is changed so that you don't have to use enumerateTerms each time when you want to know the possible table arguments
Diffstat (limited to 'src/GF/Conversion/GFCtoSimple.hs')
| -rw-r--r-- | src/GF/Conversion/GFCtoSimple.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Conversion/GFCtoSimple.hs b/src/GF/Conversion/GFCtoSimple.hs index a01deb08a..b6a34a8ce 100644 --- a/src/GF/Conversion/GFCtoSimple.hs +++ b/src/GF/Conversion/GFCtoSimple.hs @@ -119,8 +119,8 @@ expandTerm gram term = -- tracePrt "expanded term" prt $ convertCType :: Env -> A.CType -> SLinType convertCType gram (A.RecType rec) = RecT [ (lbl, convertCType gram ctype) | A.Lbg lbl ctype <- rec ] -convertCType gram (A.Table pt vt) = TblT (convertCType gram pt) (convertCType gram vt) -convertCType gram ct@(A.Cn con) = ConT con $ map (convertTerm gram) $ groundTerms gram ct +convertCType gram (A.Table pt vt) = TblT (enumerateTerms Nothing (convertCType gram pt)) (convertCType gram vt) +convertCType gram ct@(A.Cn con) = ConT $ map (convertTerm gram) $ groundTerms gram ct convertCType gram (A.TStr) = StrT convertCType gram (A.TInts n) = error "GFCtoSimple.convertCType: cannot handle 'TInts' constructor" |