diff options
| author | sjakie | 2001-10-02 10:10:33 +0000 |
|---|---|---|
| committer | sjakie | 2001-10-02 10:10:33 +0000 |
| commit | 094a95bee31b84217329eb0e62778600d1e8711b (patch) | |
| tree | 582360a6c275f3479c61fa8c0f675787256794c6 /frontend/general.dcl | |
| parent | pass file modification times from icl module and dcl modules to backend (diff) | |
Bug fixes: reference count analysis fixed,
Universally quantified types used in class members
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/general.dcl')
| -rw-r--r-- | frontend/general.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/general.dcl b/frontend/general.dcl index ac5e052..6ee3b29 100644 --- a/frontend/general.dcl +++ b/frontend/general.dcl @@ -20,6 +20,8 @@ instance <<< [a] | <<< a :: Optional x = Yes !x | No +:: Choice a b = Either a | Or b + (--->) infix :: .a !b -> .a | <<< b (-?->) infix :: .a !(!Bool, !b) -> .a | <<< b |