Permalink
Browse files

Force terminal to "DUMP" for reproducible test cases.

git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.12.0+beta1@10595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent 3754c02 commit f83060e65609cc571269fb368602f9b01fe7ebc8 xclerc committed Jun 18, 2010
View
@@ -33,7 +33,7 @@ one: lib
exec-one:
@echo "Running tests from '$$DIR' ..."
- @(cd $(DIR) && $(MAKE) BASEDIR=$(BASEDIR) && cd ../..)
+ @(cd $(DIR) && $(MAKE) TERM=dumb BASEDIR=$(BASEDIR) && cd ../..)
lib: FORCE
@(cd lib && $(MAKE) -s BASEDIR=$(BASEDIR) && cd ..)
@@ -24,13 +24,13 @@
# val get_x : < get_x : 'a; .. > -> 'a = <fun>
# val set_x : < set_x : 'a; .. > -> 'a = <fun>
# - : int list = [10; 5]
-# #
- class ref x_init = object
+# Characters 7-96:
+ ......ref x_init = object
val mutable x = x_init
method get = x
method set y = x <- y
- end;;
-Error: Some type variables are unbound in this type:
+ end..
+Error: Some type variables are unbound in this type:
class ref :
'a ->
object
@@ -75,24 +75,29 @@ val c' : color_point circle = <obj>
method move : int -> unit
method set_center : 'a -> unit
end
-# #
- let c'' = new color_circle p;;
-Error: This expression has type point but an expression was expected of type
+# Characters 28-29:
+ let c'' = new color_circle p;;
+ ^
+Error: This expression has type point but an expression was expected of type
#color_point
The first object type has no method color
# val c'' : color_point color_circle = <obj>
# - : color_point circle = <obj>
-# # (c'' :> point circle);; (* Echec *)
-Error: Type
+# Characters 0-21:
+ (c'' :> point circle);; (* Echec *)
+ ^^^^^^^^^^^^^^^^^^^^^
+Error: Type
color_point color_circle =
< center : color_point; color : string; move : int -> unit;
set_center : color_point -> unit >
is not a subtype of
point circle =
< center : point; move : int -> unit; set_center : point -> unit >
Type point = point is not a subtype of color_point = color_point
-# # fun x -> (x : color_point color_circle :> point circle);;
-Error: Type
+# Characters 9-55:
+ fun x -> (x : color_point color_circle :> point circle);;
+ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+Error: Type
color_point color_circle =
< center : color_point; color : string; move : int -> unit;
set_center : color_point -> unit >
@@ -110,18 +115,10 @@ Type point = point is not a subtype of color_point = color_point
end
# val p : printable_point = <obj>
# 7- : unit = ()
-# #
- class printable_color_point y c = object (self)
- inherit color_point y c
- inherit printable_point y as super
- method print =
- print_string "(";
- super#print;
- print_string ", ";
- print_string (self#color);
- print_string ")"
- end;;
-Warning 13: the following instance variables are overridden by the class printable_point :
+# Characters 85-102:
+ inherit printable_point y as super
+ ^^^^^^^^^^^^^^^^^
+Warning 13: the following instance variables are overridden by the class printable_point :
x
The behaviour changed in ocaml 3.10 (previous behaviour was hiding.)
class printable_color_point :
@@ -210,8 +207,10 @@ and ['a] cons :
# val c : int_comparable = <obj>
# - : unit = ()
# val c2 : int_comparable2 = <obj>
-# # l#add (c2 :> int_comparable);; (* Echec : 'a comp2 n'est un sous-type *)
-Error: Type
+# Characters 6-28:
+ l#add (c2 :> int_comparable);; (* Echec : 'a comp2 n'est un sous-type *)
+ ^^^^^^^^^^^^^^^^^^^^^^
+Error: Type
int_comparable2 =
< leq : int_comparable2 -> bool; set_x : int -> unit; x : int >
is not a subtype of
@@ -231,8 +230,10 @@ is not a subtype of
end
# val c3 : int_comparable3 = <obj>
# - : unit = ()
-# # (new sorted_list ())#add c3;; (* Echec : leq n'est pas binaire *)
-Error: This expression has type
+# Characters 25-27:
+ (new sorted_list ())#add c3;; (* Echec : leq n'est pas binaire *)
+ ^^
+Error: This expression has type
int_comparable3 =
< leq : int_comparable -> bool; setx : int -> unit; x : int >
but an expression was expected of type
@@ -243,10 +244,10 @@ is not a subtype of
< leq : int_comparable -> bool; setx : int -> unit; x : int >
The first object type has no method setx
# val sort : (#comparable as 'a) list -> 'a list = <fun>
-# # let pr l =
- List.map (fun c -> print_int c#x; print_string " ") l;
- print_newline ();;
-Warning 10: this expression should have type unit.
+# Characters 13-66:
+ List.map (fun c -> print_int c#x; print_string " ") l;
+ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+Warning 10: this expression should have type unit.
val pr : < x : int; .. > list -> unit = <fun>
# val l : int_comparable list = [<obj>; <obj>; <obj>]
# 5 2 4
Oops, something went wrong.

0 comments on commit f83060e

Please sign in to comment.