From 5ed289050bba7924972700181478cb22e9d69c70 Mon Sep 17 00:00:00 2001 From: alimarin Date: Mon, 25 Mar 2002 15:04:33 +0000 Subject: new implementation of generics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/general.icl | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'frontend/general.icl') diff --git a/frontend/general.icl b/frontend/general.icl index 4ac4931..3506334 100644 --- a/frontend/general.icl +++ b/frontend/general.icl @@ -44,6 +44,14 @@ instance <<< (a,b,c,d,e) | <<< a & <<< b & <<< c & <<< d & <<< e where (<<<) file (v,w,x,y,z) = file <<< '(' <<< v <<< ", " <<< w <<< ", " <<< x <<< ", " <<< y <<< ", " <<< z <<< ") " +instance <<< (a,b,c,d,e,f) | <<< a & <<< b & <<< c & <<< d & <<< e & <<< f +where + (<<<) file (u,v,w,x,y,z) = file <<< '(' <<< u <<< ", " <<< v <<< ", " <<< w <<< ", " <<< x <<< ", " <<< y <<< ", " <<< z <<< ") " + +instance <<< (a,b,c,d,e,f,g) | <<< a & <<< b & <<< c & <<< d & <<< e & <<< f & <<< g +where + (<<<) file (t,u,v,w,x,y,z) = file <<< '(' <<< t <<< ", " <<< u <<< ", " <<< v <<< ", " <<< w <<< ", " <<< x <<< ", " <<< y <<< ", " <<< z <<< ") " + instance <<< [a] | <<< a where (<<<) file [] = file <<< "[]" -- cgit v1.2.3