diff options
Diffstat (limited to 'sucl/absmodule.dcl')
| -rw-r--r-- | sucl/absmodule.dcl | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/sucl/absmodule.dcl b/sucl/absmodule.dcl index 30fc4dd..fd2060a 100644 --- a/sucl/absmodule.dcl +++ b/sucl/absmodule.dcl @@ -5,11 +5,9 @@ definition module absmodule from rule import Rule :: Module sym pvar tsym tvar - = { //exportedtypesymbols :: [tsym] // Exported type symbols (from DCL) - //, typealias :: [(tsym,Rule tsym tvar)] // Alias types - typeconstructors :: [(tsym,[sym])] // All constructor symbols of each declared algebraic type - , exportedsymbols :: [sym] // Exported function/constructor symbols - //, aliases :: [(sym,Rule sym pvar)] // Macros - , typerules :: [(sym,(Rule tsym tvar,[Bool]))] // Info from type rules (actual type and argument strictnesses) - , rules :: [(sym,[Rule sym pvar])] // Rewrite rules of each symbol, absent if imported + = { typeconstructors :: [(tsym,[sym])] // All constructor symbols of each declared algebraic type + , exportedsymbols :: [sym] // Exported function/constructor symbols + , typerules :: [(sym,Rule tsym tvar)] // Principal types of symbols + , stricts :: [(sym,[Bool])] // Strict arguments of functions + , rules :: [(sym,[Rule sym pvar])] // Rewrite rules of each symbol, absent if imported } |