diff options
Diffstat (limited to 'sucl')
| -rw-r--r-- | sucl/absmodule.dcl | 8 | ||||
| -rw-r--r-- | sucl/absmodule.icl | 8 | ||||
| -rw-r--r-- | sucl/cli.icl | 2 |
3 files changed, 9 insertions, 9 deletions
diff --git a/sucl/absmodule.dcl b/sucl/absmodule.dcl index ccea9f3..30fc4dd 100644 --- a/sucl/absmodule.dcl +++ b/sucl/absmodule.dcl @@ -5,11 +5,11 @@ 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 + = { //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 + //, 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 } diff --git a/sucl/absmodule.icl b/sucl/absmodule.icl index f18ecc6..fad7cf6 100644 --- a/sucl/absmodule.icl +++ b/sucl/absmodule.icl @@ -42,11 +42,11 @@ Module implementation. */ :: 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 + = {// 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 + //, 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 } diff --git a/sucl/cli.icl b/sucl/cli.icl index 0f2d2c9..2c808d0 100644 --- a/sucl/cli.icl +++ b/sucl/cli.icl @@ -153,7 +153,7 @@ typerule m sym */ clistrategy :: Cli ((Graph SuclSymbol SuclVariable) SuclVariable var -> Bool) -> Strategy SuclSymbol var SuclVariable answer | == var -clistrategy cli=:{exportedtypesymbols=tes,typealias=tas,typeconstructors=tcs,exportedsymbols=es,aliases=as,typerules=ts,rules=rs} matchable +clistrategy {typeconstructors=tcs,typerules=ts,rules=rs} matchable = ( checkarity (typearity o maxtypeinfo ts) // Checks curried occurrences and strict arguments o checklaws cleanlaws // Checks for special (hard coded) rules (+x0=x /y1=y ...) o checkrules matchable (foldmap id [] rs) // Checks normal rewrite rules |