diff options
| author | ronny | 1999-10-05 13:09:14 +0000 |
|---|---|---|
| committer | ronny | 1999-10-05 13:09:14 +0000 |
| commit | db9e59813541e06caece64592854862bab9c0138 (patch) | |
| tree | ae7cef5982a377261188aed09dc0f0cc95c50f8c /frontend/general.dcl | |
| parent | Standard project directories initialized by cvs2svn. (diff) | |
Initial import
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/general.dcl')
| -rw-r--r-- | frontend/general.dcl | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/frontend/general.dcl b/frontend/general.dcl new file mode 100644 index 0000000..e2215df --- /dev/null +++ b/frontend/general.dcl @@ -0,0 +1,31 @@ +definition module general + +from StdEnv import <<<, +, ~ + +instance ~ Bool + +instance <<< Bool +instance <<< (a,b) | <<< a & <<< b +instance <<< (a,b,c) | <<< a & <<< b & <<< c +instance <<< (a,b,c,d) | <<< a & <<< b & <<< c & <<< d +instance <<< (a,b,c,d,e) | <<< a & <<< b & <<< c & <<< d & <<< e +instance <<< [a] | <<< a + +:: Bind a b = + { bind_src :: !a + , bind_dst :: !b + } + +:: Env a b :== [Bind a b] + +:: Optional x = Yes !x | No + +(--->) infix :: .a !b -> .a | <<< b +(-?->) infix :: .a !(!Bool, !b) -> .a | <<< b + +instance + {#Char} + +cMAXINT :== 2147483647 + +:: BITVECT :== Int + |