diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-09-06 05:44:48 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-09-06 05:44:48 +0000 |
| commit | 1d1b6c157bf5324ca10a49d7f3a8d6ff1c3d75f6 (patch) | |
| tree | 12b91a3f58df57b0d5b0eb1e87c6af43c644f1cc | |
| parent | d09dee8f9cb262bab405f61a4b02ac4f8f2cb19c (diff) | |
add test results for PR#6163
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | testsuite/tests/typing-gadts/pr6163.ml.principal.reference | 18 | ||||
| -rw-r--r-- | testsuite/tests/typing-gadts/pr6163.ml.reference | 18 |
2 files changed, 36 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr6163.ml.principal.reference b/testsuite/tests/typing-gadts/pr6163.ml.principal.reference index e69de29bb..0b771dc76 100644 --- a/testsuite/tests/typing-gadts/pr6163.ml.principal.reference +++ b/testsuite/tests/typing-gadts/pr6163.ml.principal.reference @@ -0,0 +1,18 @@ + +# type _ nat = Zero : [ `Zero ] nat | Succ : 'a nat -> [ `Succ of 'a ] nat +# type 'a pre_nat = [ `Succ of 'a | `Zero ] +# type aux = + Aux : + [ `Succ of [< [< [< [ `Zero ] pre_nat ] pre_nat ] pre_nat ] ] nat -> + aux +# Characters 19-157: + ..match x with + | Succ Zero -> "1" + | Succ (Succ Zero) -> "2" + | Succ (Succ (Succ Zero)) -> "3" + | Succ (Succ (Succ (Succ Zero))) -> "4" +Warning 8: this pattern-matching is not exhaustive. +Here is an example of a value that is not matched: +Succ (Succ (Succ (Succ (Succ _)))) +val f : aux -> string = <fun> +# diff --git a/testsuite/tests/typing-gadts/pr6163.ml.reference b/testsuite/tests/typing-gadts/pr6163.ml.reference index e69de29bb..0b771dc76 100644 --- a/testsuite/tests/typing-gadts/pr6163.ml.reference +++ b/testsuite/tests/typing-gadts/pr6163.ml.reference @@ -0,0 +1,18 @@ + +# type _ nat = Zero : [ `Zero ] nat | Succ : 'a nat -> [ `Succ of 'a ] nat +# type 'a pre_nat = [ `Succ of 'a | `Zero ] +# type aux = + Aux : + [ `Succ of [< [< [< [ `Zero ] pre_nat ] pre_nat ] pre_nat ] ] nat -> + aux +# Characters 19-157: + ..match x with + | Succ Zero -> "1" + | Succ (Succ Zero) -> "2" + | Succ (Succ (Succ Zero)) -> "3" + | Succ (Succ (Succ (Succ Zero))) -> "4" +Warning 8: this pattern-matching is not exhaustive. +Here is an example of a value that is not matched: +Succ (Succ (Succ (Succ (Succ _)))) +val f : aux -> string = <fun> +# |