Changed the way the constraints are written in tests

SUBTYPE T Int -> T <: Int
2015-07-13 20:36:24 +03:00
parent d32ba08cb7
commit b162a65e85
254 changed files with 541 additions and 574 deletions
@@ -1,9 +1,9 @@
 VARIABLES T P E
 FIX_VARIABLES

-SUBTYPE P My<T>
-SUBTYPE Int T
-SUBTYPE Successor<E> P
+P <: My<T>
+Int <: T
+Successor<E> <: P

 type parameter bounds:
 T >: Int, := T*, := E*, := Int