Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add tests for [%ocaml.extension_constructor <path>]

master
Jeremie Dimino 2015-10-30 11:39:21 +00:00
parent ebd830b85b
commit 4af976cffe
6 changed files with 94 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
testsuite/tests/extension-constructor/Makefile Normal file
View File

@ -0,0 +1,15 @@
#########################################################################
# #
# OCaml #
# #
# Xavier Clerc, SED, INRIA Rocquencourt #
# #
# Copyright 2010 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
BASEDIR=../..
include $(BASEDIR)/makefiles/Makefile.several
include $(BASEDIR)/makefiles/Makefile.common

29
testsuite/tests/extension-constructor/test.ml Normal file
View File

@ -0,0 +1,29 @@
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Jeremie Dimino, Jane Street Europe *)
(* *)
(* Copyright 2015 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
type t = ..
module M = struct
type t += A
type t += B of int
end
type t += C
type t += D of int * string
let () =
assert (Obj.extension_constructor M.A == [%extension_constructor M.A]);
assert (Obj.extension_constructor (M.B 42) == [%extension_constructor M.B]);
assert (Obj.extension_constructor C == [%extension_constructor C ]);
assert (Obj.extension_constructor (D (42, "")) == [%extension_constructor D ])
let () = print_endline "OK"

1
testsuite/tests/extension-constructor/test.reference Normal file
View File

@ -0,0 +1 @@
OK

15
testsuite/tests/typing-extension-constructor/Makefile Normal file
View File

@ -0,0 +1,15 @@
#########################################################################
# #
# OCaml #
# #
# Xavier Clerc, SED, INRIA Rocquencourt #
# #
# Copyright 2010 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
BASEDIR=../..
include $(BASEDIR)/makefiles/Makefile.toplevel
include $(BASEDIR)/makefiles/Makefile.common

21
testsuite/tests/typing-extension-constructor/test.ml Normal file
View File

@ -0,0 +1,21 @@
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Jeremie Dimino, Jane Street Europe *)
(* *)
(* Copyright 2015 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
type t = ..;;
type t += A;;
[%extension_constructor A];;
([%extension_constructor A] : extension_constructor);;
type extension_constructor = int;;
([%extension_constructor A] : extension_constructor);;

13
testsuite/tests/typing-extension-constructor/test.ml.reference Normal file
View File

@ -0,0 +1,13 @@
# type t = ..
# type t += A
# - : extension_constructor = <abstr>
# - : extension_constructor = <abstr>
# type extension_constructor = int
# Characters 2-28:
([%extension_constructor A] : extension_constructor);;
^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type extension_constructor/16
but an expression was expected of type
extension_constructor/1214 = int
#