diff options
| author | krasimir <krasimir@chalmers.se> | 2010-11-12 19:37:19 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-11-12 19:37:19 +0000 |
| commit | 115b4213d515ce308568fd71e362f6ce2881fb50 (patch) | |
| tree | 246d76b05654b88d11bbfaf23dd67beb02dde21f /src/compiler/GF/Grammar/CF.hs | |
| parent | b46442ab0b50fe58417b85d34a97a16e7b06de05 (diff) | |
operations in the abstract syntax
Diffstat (limited to 'src/compiler/GF/Grammar/CF.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/CF.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/CF.hs b/src/compiler/GF/Grammar/CF.hs index e45008485..009bbd3c2 100644 --- a/src/compiler/GF/Grammar/CF.hs +++ b/src/compiler/GF/Grammar/CF.hs @@ -110,7 +110,7 @@ cf2cat (L loc (_,(cat, items))) = map identS $ cat : [c | Left c <- items] cf2rule :: CFRule -> ((Ident,Info),(Ident,Info)) cf2rule (L loc (fun, (cat, items))) = (def,ldef) where f = identS fun - def = (f, AbsFun (Just (L loc (mkProd args' (Cn (identS cat)) []))) Nothing Nothing) + def = (f, AbsFun (Just (L loc (mkProd args' (Cn (identS cat)) []))) Nothing Nothing (Just True)) args0 = zip (map (identS . ("x" ++) . show) [0..]) items args = [((Explicit,v), Cn (identS c)) | (v, Left c) <- args0] args' = [(Explicit,identS "_", Cn (identS c)) | (_, Left c) <- args0] |