diff options
| author | sjakie | 1999-10-19 11:24:36 +0000 |
|---|---|---|
| committer | sjakie | 1999-10-19 11:24:36 +0000 |
| commit | d2eead8c8ba172ae4148c3d0bc083335068af89d (patch) | |
| tree | a043b2796c56608250770870042d1729305a6918 /frontend/unitype.dcl | |
| parent | *** empty log message *** (diff) | |
extension: improved error messages for uniqueness types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@19 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/unitype.dcl')
| -rw-r--r-- | frontend/unitype.dcl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/frontend/unitype.dcl b/frontend/unitype.dcl index 3769c19..83065d1 100644 --- a/frontend/unitype.dcl +++ b/frontend/unitype.dcl @@ -17,9 +17,11 @@ instance toInt TypeAttribute :: Coercions = { coer_demanded :: !.{! .CoercionTree}, coer_offered :: !.{! .CoercionTree }} -isNonUnique :: !CoercionTree -> Bool -isUnique :: !CoercionTree -> Bool -// isExistential :: !CoercionTree -> Bool +isNonUnique :: !CoercionTree -> Bool +isUnique :: !CoercionTree -> Bool + +isNonUniqueAttribute :: !Int !Coercions -> Bool +isUniqueAttribute :: !Int !Coercions -> Bool :: BOOLVECT :== Int |