aboutsummaryrefslogtreecommitdiff
path: root/sucl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl')
-rw-r--r--sucl/cli.icl5
1 files changed, 5 insertions, 0 deletions
diff --git a/sucl/cli.icl b/sucl/cli.icl
index 3e1c8ae..5ce09a6 100644
--- a/sucl/cli.icl
+++ b/sucl/cli.icl
@@ -119,7 +119,12 @@ Abstype implementation.
> exports (tdefs,(es,as,ts,rs)) = es
> typerule (tdefs,(es,as,ts,rs)) = fst.maxtypeinfo ts
+*/
+
+typerule :: Cli SuclSymbol -> Rule SuclTypeSymbol SuclTypeVariable
+typerule _ _ = undef
+/*
> rules (tdefs,(es,as,ts,rs)) = foldmap Present Absent rs
> imports (tdefs,(es,as,ts,rs)) = [sym|(sym,tdef)<-ts;~member (map fst rs) sym]