diff options
| author | martinw | 2000-04-26 09:10:34 +0000 |
|---|---|---|
| committer | martinw | 2000-04-26 09:10:34 +0000 |
| commit | 1e8f9d92be20258186661009221e60034fc53f06 (patch) | |
| tree | 7b82bbcc810aa9fdfa04b0912914a8139d8683bc /frontend/typeproperties.dcl | |
| parent | small bugfix (diff) | |
changes to make compiler compatible with itself
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/typeproperties.dcl')
| -rw-r--r-- | frontend/typeproperties.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/typeproperties.dcl b/frontend/typeproperties.dcl index fc7677a..430aba9 100644 --- a/frontend/typeproperties.dcl +++ b/frontend/typeproperties.dcl @@ -17,7 +17,6 @@ EmptyTypeClassification :: TypeClassification TopSignClass :== { sc_pos_vect = bitnot 0, sc_neg_vect = bitnot 0 } ArrowSignClass :== { sc_pos_vect = 2, sc_neg_vect = 1 } -PosSignClass :== { sc_pos_vect = bitnot 0, sc_neg_vect = 0 } :: Sign = { pos_sign :: !Bool @@ -36,7 +35,9 @@ signClassToSign :: !SignClassification !Int -> Sign IsPositive sign_class index :== sign_class.sc_pos_vect bitand (1 << index) <> 0 IsNegative sign_class index :== sign_class.sc_neg_vect bitand (1 << index) <> 0 */ + instance <<< Sign +instance * Sign :: TypeSign key = { ts_cons_var_signs :: !key |