diff options
| author | johnvg | 2013-10-23 09:34:41 +0000 |
|---|---|---|
| committer | johnvg | 2013-10-23 09:34:41 +0000 |
| commit | f2591a6ff00c2b50d821ac5025aee97f907f5d30 (patch) | |
| tree | 868be9a3b1b6d8cbf7d6f19fb7966a6a7fcae486 /frontend | |
| parent | rename parameter inline to inlineFlag, because it is now a keyword (since c99) (diff) | |
undo previous commit, because it causes the compiler to crash when compiling the CleanIDE
(undo: check the type of instances defined using :== (maybe the parser should reject these instances))
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2304 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/transform.icl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/frontend/transform.icl b/frontend/transform.icl index eb55392..714ea74 100644 --- a/frontend/transform.icl +++ b/frontend/transform.icl @@ -1392,11 +1392,6 @@ where remove_macros_from_group [FunctionOrIclMacroIndex fun:funs] fun_defs # (funs,fun_defs)=remove_macros_from_group funs fun_defs | fun_defs.[fun].fun_info.fi_group_index<NoIndex - /* Macros don't have types, however the parser allows :== for instances, which results in a macro with a type. - These types must be checked, because if the type of the expression is incorrect and the instance is exported, - an incorrectly typed program can be compiled. Currently using :== in instances probably has no effect, - so it might be better to reject this in the parser. */ - && case fun_defs.[fun].fun_type of No -> True; _ -> False = (funs,fun_defs) = ([fun:funs],fun_defs) remove_macros_from_group [DclMacroIndex macro_module_index macro_index:funs] fun_defs |