diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2015-04-13 07:17:09 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2015-04-13 07:17:09 +0000 |
| commit | ba56ee49ccfc4d2a2c30a614e129832010087646 (patch) | |
| tree | 5ec36c878f8eb3ce21784257b7b16e67ceec4ff5 | |
| parent | be8e30e49f0532b5c1e6bf254e106ca0869ddf49 (diff) | |
| download | ocaml-ba56ee49ccfc4d2a2c30a614e129832010087646.tar.gz | |
Fix PR#6836: Assertion failure using -short-paths
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | testsuite/tests/typing-short-paths/pr6836.ml | 6 | ||||
| -rw-r--r-- | testsuite/tests/typing-short-paths/pr6836.ml.reference | 7 |
2 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typing-short-paths/pr6836.ml b/testsuite/tests/typing-short-paths/pr6836.ml new file mode 100644 index 0000000000..121bc463d5 --- /dev/null +++ b/testsuite/tests/typing-short-paths/pr6836.ml @@ -0,0 +1,6 @@ +type t = [`A | `B];; +type 'a u = t;; +let a : [< int u] = `A;; + +type 'a s = 'a;; +let b : [< t s] = `B;; diff --git a/testsuite/tests/typing-short-paths/pr6836.ml.reference b/testsuite/tests/typing-short-paths/pr6836.ml.reference new file mode 100644 index 0000000000..3f8c6dbd01 --- /dev/null +++ b/testsuite/tests/typing-short-paths/pr6836.ml.reference @@ -0,0 +1,7 @@ + +# type t = [ `A | `B ] +# type 'a u = t +# val a : [< int u > `A ] = `A +# type 'a s = 'a +# val b : [< t > `B ] = `B +# |