diff options
| author | johnvg | 2002-06-17 11:29:50 +0000 |
|---|---|---|
| committer | johnvg | 2002-06-17 11:29:50 +0000 |
| commit | 2503354503ecdd697bb1dbea7c9fb8fee3f77ae6 (patch) | |
| tree | 3abf7a922862ca12c2c78a3fc03220290f8e9549 /frontend/typeproperties.icl | |
| parent | removed hello and bye, replace testArgs by [] (diff) | |
removed ingnored !'s
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1097 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/typeproperties.icl')
| -rw-r--r-- | frontend/typeproperties.icl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontend/typeproperties.icl b/frontend/typeproperties.icl index d646e06..5f6e04d 100644 --- a/frontend/typeproperties.icl +++ b/frontend/typeproperties.icl @@ -81,7 +81,7 @@ treeInsert new_key new_el tree=:(BT_Node el left right) = BT_Node el (treeInsert new_key new_el left) right = BT_Node el left (treeInsert new_key new_el right) -treeRetrieve :: !k !(BinTree (m k)) -> !Optional (m k) | =< k & key m +treeRetrieve :: !k !(BinTree (m k)) -> Optional (m k) | =< k & key m treeRetrieve search_key BT_Empty = No treeRetrieve search_key tree=:(BT_Node el left right) @@ -124,7 +124,7 @@ retrieveSignClassification :: ![SignClassification] !TypeClassification -> Optio retrieveSignClassification cons_classes {tc_signs} = treeRetrieve cons_classes tc_signs -addSignClassification :: ![SignClassification] !SignClassification !TypeClassification -> !TypeClassification +addSignClassification :: ![SignClassification] !SignClassification !TypeClassification -> TypeClassification addSignClassification hio_signs sign_class tc=:{tc_signs} = { tc & tc_signs = treeInsert hio_signs { ts_cons_var_signs = hio_signs, ts_type_sign = sign_class } tc_signs } @@ -132,7 +132,7 @@ retrievePropClassification :: ![PropClassification] !TypeClassification -> Optio retrievePropClassification cons_classes {tc_props} = treeRetrieve cons_classes tc_props -addPropClassification :: ![PropClassification] !PropClassification !TypeClassification -> !TypeClassification +addPropClassification :: ![PropClassification] !PropClassification !TypeClassification -> TypeClassification addPropClassification hio_props prop_class tc=:{tc_props} = { tc & tc_props = treeInsert hio_props { ts_cons_var_props = hio_props, ts_type_prop = prop_class } tc_props } |