Commit 56ab3a53 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

This commit was generated by cvs2svn to compensate for changes in r628,

which included commits to RCS files with non-trunk default branches.
parent c44c1a84
......@@ -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
......
......@@ -27,6 +27,11 @@ Implementation
// Now using Optional type from cocl's general module
from general import Optional,No,Yes
instance == (Optional a) | == a
where (==) No No = True
(==) (Yes x1) (Yes x2) = x1==x2
(==) _ _ = False
// Adjust a function for a single argument
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment