diff options
| author | martinw | 2000-09-20 14:17:30 +0000 |
|---|---|---|
| committer | martinw | 2000-09-20 14:17:30 +0000 |
| commit | 2959546fa705b0e3f9c18a3a0d44b346008a772d (patch) | |
| tree | a6460631d4f990c4ccbecd0e74f21c0500c2343c /frontend/checktypes.icl | |
| parent | changed signature of readPtr from "unique" into "possibly unique" (diff) | |
now "list inferred types" can print attributes also
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@220 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index b063707..e681d85 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -950,22 +950,6 @@ checkSpecialTypes mod_index SP_None type_defs modules heaps cs = (SP_None, type_defs, modules, heaps, cs) -/* MW: already defined in module syntax -instance <<< SelectorDef -where - (<<<) file {sd_symb} = file <<< sd_symb -*/ - -instance <<< AttrInequality -where - (<<<) file {ai_demanded,ai_offered} - = file <<< ai_offered <<< " <= " <<< ai_demanded -/* -instance <<< VarBind -where - (<<<) file vb = file <<< (vb.vb_var,vb.vb_vars) -*/ - cOuterMostLevel :== 0 addTypeVariablesToSymbolTable :: ![ATypeVar] ![AttributeVar] !*TypeHeaps !*CheckState |