diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-07-03 10:01:17 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-07-03 10:01:17 +0000 |
| commit | 580fb97a7f79ee586afa823628986d102bd8646c (patch) | |
| tree | 7d634a7801bc46b783ef24eed17afb4f70544ac8 | |
| parent | 705e980c2b40025b67c98c15c1db191cbe89973c (diff) | |
exemple de mauvaise recursion
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | testlabl/poly.exp | 2 | ||||
| -rw-r--r-- | testlabl/poly.exp2 | 2 | ||||
| -rw-r--r-- | testlabl/poly.ml | 3 |
3 files changed, 7 insertions, 0 deletions
diff --git a/testlabl/poly.exp b/testlabl/poly.exp index 061ae140a..c51b9cdff 100644 --- a/testlabl/poly.exp +++ b/testlabl/poly.exp @@ -247,4 +247,6 @@ Constraints are not satisfied in this type. Type 'a u t should be an instance of g t # type 'a u = 'a constraint 'a = g type 'a v = 'a u t constraint 'a = int +# Characters 38-58: +In the definition of v, type 'a list u should be 'a u # diff --git a/testlabl/poly.exp2 b/testlabl/poly.exp2 index 6606daad6..dbb61ab41 100644 --- a/testlabl/poly.exp2 +++ b/testlabl/poly.exp2 @@ -254,4 +254,6 @@ Constraints are not satisfied in this type. Type 'a u t should be an instance of g t # type 'a u = 'a constraint 'a = g type 'a v = 'a u t constraint 'a = int +# Characters 38-58: +In the definition of v, type 'a list u should be 'a u # diff --git a/testlabl/poly.ml b/testlabl/poly.ml index e8f2e7ab6..7f7986ee2 100644 --- a/testlabl/poly.ml +++ b/testlabl/poly.ml @@ -406,3 +406,6 @@ type g = int;; type 'a t = unit constraint 'a = g;; type 'a u = 'a and 'a v = 'a u t;; type 'a u = 'a and 'a v = 'a u t constraint 'a = int;; + +(* Example of wrong expansion *) +type 'a u = < m : 'a v > and 'a v = 'a list u;; |