diff options
author | johnvg | 2005-04-08 14:46:05 +0000 |
---|---|---|
committer | johnvg | 2005-04-08 14:46:05 +0000 |
commit | 19df6660bd62dd35ab0c8acfd55346f457652fd9 (patch) | |
tree | aa9ba5e6877c536c84f60c0d6293644e49561ebb /frontend | |
parent | fix uniqueness type of UnqArraySelectFun (diff) |
fix specified type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1526 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r-- | frontend/trans.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/trans.icl b/frontend/trans.icl index 6e52c46..465c65f 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -3705,7 +3705,7 @@ where = (fun_defs, imported_types, collected_imports, [fun_index : fun_indices_with_abs_syn_types], type_heaps, var_heap) = (fun_defs, imported_types, collected_imports, fun_indices_with_abs_syn_types, type_heaps, var_heap) - expand_abstract_syn_types_in_function_type :: !{#.CommonDefs} !.Int !*(!*{#u:FunDef},!*{#{#.(TypeDef .TypeRhs)}},![(Global .Int)],!*TypeHeaps,!*(Heap VarInfo)) -> (!{#v:FunDef},!.{#{#(TypeDef .TypeRhs)}},![(Global Int)],!.TypeHeaps,!.(Heap VarInfo)), [u <= v] + expand_abstract_syn_types_in_function_type :: !{#.CommonDefs} !.Int !*(!*{#FunDef},!*{#{#.(TypeDef .TypeRhs)}},![(Global .Int)],!*TypeHeaps,!*(Heap VarInfo)) -> (!*{#FunDef},!.{#{#(TypeDef .TypeRhs)}},![(Global Int)],!.TypeHeaps,!.(Heap VarInfo)) expand_abstract_syn_types_in_function_type common_defs fun_index (fun_defs, imported_types, collected_imports, type_heaps, var_heap) # (fun_def=:{fun_type = Yes fun_type, fun_info = {fi_properties}}, fun_defs) = fun_defs![fun_index] |