aboutsummaryrefslogtreecommitdiff
path: root/frontend/StdCompare.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/StdCompare.dcl')
-rw-r--r--frontend/StdCompare.dcl1
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/StdCompare.dcl b/frontend/StdCompare.dcl
index 4dc74d5..097900d 100644
--- a/frontend/StdCompare.dcl
+++ b/frontend/StdCompare.dcl
@@ -18,3 +18,4 @@ instance == BasicType, TypeVar, TypeSymbIdent, DefinedSymbol, TypeContext , Basi
instance < MemberDef
+smallerOrEqual :: !Type !Type -> CompareValue