From 5766ffe42a65ca20dea7889db7429f85f81e2915 Mon Sep 17 00:00:00 2001
From: zweije
Date: Fri, 10 Aug 2001 14:40:37 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r612, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@613 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/cli.icl | 5 +++++
 1 file changed, 5 insertions(+)

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]
-- 
cgit v1.2.3