From 05ffd999512958a5bd1a44e7bc053db5af549ca8 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 10 Feb 2015 10:07:28 +0100 Subject: week 2 almost finished --- week2/mart/TupleOverloading.dcl | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 week2/mart/TupleOverloading.dcl (limited to 'week2/mart/TupleOverloading.dcl') diff --git a/week2/mart/TupleOverloading.dcl b/week2/mart/TupleOverloading.dcl new file mode 100644 index 0000000..6831948 --- /dev/null +++ b/week2/mart/TupleOverloading.dcl @@ -0,0 +1,25 @@ +definition module TupleOverloading + +import StdEnv + +instance + (a,b) | + a & + b +instance + (a,b,c) | + a & + b & + c + + +instance - (a,b) | - a & - b +instance - (a,b,c) | - a & - b & - c + +instance * (a,b) | * a & * b +instance * (a,b,c) | * a & * b & * c + +instance / (a,b) | / a & / b +instance / (a,b,c) | / a & / b & / c + +instance zero (a,b) | zero a & zero b +instance zero (a,b,c) | zero a & zero b & zero c + +instance one (a,b) | one a & one b +instance one (a,b,c) | one a & one b & one c + +instance ~ (a,b) | ~ a & ~ b +instance ~ (a,b,c) | ~ a & ~ b & ~ c -- cgit v1.2.3