diff options
| author | zweije | 2001-08-14 12:06:36 +0000 |
|---|---|---|
| committer | zweije | 2001-08-14 12:06:36 +0000 |
| commit | 969a03ba89be04d26c9f3fddc44e4fe8aea5bb28 (patch) | |
| tree | c06a8236ae38b509f369a4396e8b0e1189b6014c /sucl/basic.dcl | |
| parent | This commit was generated by cvs2svn to compensate for changes in r626, (diff) | |
This commit was generated by cvs2svn to compensate for changes in r628,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@629 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl/basic.dcl')
| -rw-r--r-- | sucl/basic.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sucl/basic.dcl b/sucl/basic.dcl index be3260a..c0d1de8 100644 --- a/sucl/basic.dcl +++ b/sucl/basic.dcl @@ -30,6 +30,8 @@ Implementation //:: Optional t = Absent | Present t //Now using Optional from cocl's general module +instance == (Optional a) | == a + // Adjust a function for a single argument adjust :: !arg res (arg->res) !arg -> res | == arg |