diff options
| author | alimarin | 2001-03-13 15:36:49 +0000 |
|---|---|---|
| committer | alimarin | 2001-03-13 15:36:49 +0000 |
| commit | c3a2cdaad45d3e1536d3b98d89036e549f159530 (patch) | |
| tree | 03e6e689e81bca56ad245ff00fc9c17a7bef80b5 /frontend/checktypes.dcl | |
| parent | added 2.0 syntax to type_io.icl (diff) | |
Generics are added, but are disabled.
Tested with compiling Object IO and butstrapping.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index 6c4c192..2f45848 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -29,3 +29,5 @@ decodeTopConsVar cv :== ~(inc cv) expandSynonymTypes :: !.Index !*{#CheckedTypeDef} !*{#.DclModule} !*TypeHeaps !*ErrorAdmin -> (!.{#CheckedTypeDef},!.{#DclModule},!.TypeHeaps,!.ErrorAdmin) + +removeVariablesFromSymbolTable :: !Int ![TypeVar] !*SymbolTable -> *SymbolTable |