diff options
Diffstat (limited to 'sucl/absmodule.icl')
-rw-r--r-- | sucl/absmodule.icl | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/sucl/absmodule.icl b/sucl/absmodule.icl deleted file mode 100644 index 4c0f1be..0000000 --- a/sucl/absmodule.icl +++ /dev/null @@ -1,39 +0,0 @@ -implementation module absmodule - -// $Id$ - -import rule - -/* - ------------------------------------------------------------------------- -Exports. - -> %export -> module -> addtalias -> addtsymdef -> addalias -> addsymdef -> newmodule - ------------------------------------------------------------------------- -Includes. - -> %include "basic.lit" -> %include "graph.lit" -extgraph -> %include "rule.lit" - ------------------------------------------------------------------------- -Module implementation. - -*/ - -:: Module sym pvar tsym tvar - = { arities :: [(sym,Int)] // Arity of each symbol - , 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 - } |