Initial import

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 21 insertions, 0 deletions

diff --git a/frontend/StdCompare.dcl b/frontend/StdCompare.dcl
new file mode 100644
index 0000000..67fff22
--- /dev/null
+++ b/frontend/StdCompare.dcl
@@ -0,0 +1,21 @@
+definition module StdCompare
+
+import syntax, compare_constructor
+
+::	CompareValue :== Int
+Smaller :== -1
+Greater	:== 1
+Equal	:== 0
+
+class (=<) infix 4 a :: !a !a -> CompareValue
+
+instance =< Int, Expression, {# Char}, Ident, [a] | =< a, BasicType //, Global a | =< a
+
+instance =< Type
+
+instance == BasicType, TypeVar, TypeSymbIdent, DefinedSymbol, TypeContext , BasicValue, FunKind, Global a | == a
+
+export == Int
+
+instance < MemberDef
+