Commit 691965d4 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

Translate typerule function from Miranda to Clean

parent 0ae161cb
definition module cli
// $Id$
from coreclean import SuclSymbol,SuclVariable,SuclTypeSymbol,SuclTypeVariable
from rule import Rule
:: Cli
typerule :: Cli SuclSymbol -> Rule SuclTypeSymbol SuclTypeVariable
......@@ -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]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment