diff options
| author | ronny | 2004-03-17 12:26:47 +0000 |
|---|---|---|
| committer | ronny | 2004-03-17 12:26:47 +0000 |
| commit | a613de0b391f5f95b0496515ec73ac41639af7b2 (patch) | |
| tree | aef2a99b4618c4c8d6588ca53d3f039f6defe9f0 /frontend/checktypes.icl | |
| parent | ignore rank > 1 quantors in type_io (diff) | |
reification of type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index ac33f28..b2effaf 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -1446,6 +1446,7 @@ where , td_attribute = TA_None , td_pos = NoPos , td_used_types = [] + , td_fun_index = NoIndex } cons_def = |