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

testsuite: update

master
Thomas Refis 2018-08-28 17:07:20 +01:00
parent eaa85dbbf9
commit 30190bda5f
4 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
testsuite/tests/shadow_include/cannot_shadow_error.compilers.reference
View File

@ -1,6 +1,6 @@
File "cannot_shadow_error.ml", line 24, characters 2-36:
Error: Illegal shadowing of included type t/1008 by t/1012
Error: Illegal shadowing of included type t/9 by t/13
File "cannot_shadow_error.ml", line 23, characters 2-19:
Type t/1008 came from this include
Type t/9 came from this include
File "cannot_shadow_error.ml", line 14, characters 2-23:
The value print has no valid type if t/1008 is shadowed
The value print has no valid type if t/9 is shadowed

24
testsuite/tests/shadow_include/shadow_all.ml
View File

@ -100,11 +100,11 @@ end
Line 4, characters 2-11:
include S
^^^^^^^^^
Error: Illegal shadowing of included type t/1143 by t/1160
Error: Illegal shadowing of included type t/144 by t/161
Line 2, characters 2-11:
Type t/1143 came from this include
Type t/144 came from this include
Line 3, characters 2-24:
The value ignore has no valid type if t/1143 is shadowed
The value ignore has no valid type if t/144 is shadowed
|}]
module type Module = sig
@ -140,11 +140,11 @@ end
Line 4, characters 2-11:
include S
^^^^^^^^^
Error: Illegal shadowing of included module M/1231 by M/1248
Error: Illegal shadowing of included module M/232 by M/249
Line 2, characters 2-11:
Module M/1231 came from this include
Module M/232 came from this include
Line 3, characters 2-26:
The value ignore has no valid type if M/1231 is shadowed
The value ignore has no valid type if M/232 is shadowed
|}]
@ -181,11 +181,11 @@ end
Line 4, characters 2-11:
include S
^^^^^^^^^
Error: Illegal shadowing of included module type T/1316 by T/1334
Error: Illegal shadowing of included module type T/317 by T/335
Line 2, characters 2-11:
Module type T/1316 came from this include
Module type T/317 came from this include
Line 3, characters 2-39:
The module F has no valid type if T/1316 is shadowed
The module F has no valid type if T/317 is shadowed
|}]
module type Extension = sig
@ -198,11 +198,11 @@ end
Line 4, characters 2-11:
include S
^^^^^^^^^
Error: Illegal shadowing of included type ext/1352 by ext/1369
Error: Illegal shadowing of included type ext/353 by ext/370
Line 2, characters 2-11:
Type ext/1352 came from this include
Type ext/353 came from this include
Line 3, characters 14-16:
The extension constructor C2 has no valid type if ext/1352 is shadowed
The extension constructor C2 has no valid type if ext/353 is shadowed
|}]
module type Class = sig

6
testsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.compilers.reference
View File

@ -1,15 +1,15 @@
[
structure_item (stop_after_typing_impl.ml[13,349+0]..stop_after_typing_impl.ml[13,349+37])
Tstr_primitive
value_description apply/1002 (stop_after_typing_impl.ml[13,349+0]..stop_after_typing_impl.ml[13,349+37])
value_description apply/3 (stop_after_typing_impl.ml[13,349+0]..stop_after_typing_impl.ml[13,349+37])
core_type (stop_after_typing_impl.ml[13,349+16]..stop_after_typing_impl.ml[13,349+26])
Ttyp_arrow
Nolabel
core_type (stop_after_typing_impl.ml[13,349+16]..stop_after_typing_impl.ml[13,349+19])
Ttyp_constr "int/1"
Ttyp_constr "int/1!"
[]
core_type (stop_after_typing_impl.ml[13,349+23]..stop_after_typing_impl.ml[13,349+26])
Ttyp_constr "int/1"
Ttyp_constr "int/1!"
[]
[
"%apply"

6
testsuite/tests/typing-sigsubst/sigsubst.ml
View File

@ -24,11 +24,11 @@ end
Line 3, characters 2-36:
include Comparable with type t = t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Illegal shadowing of included type t/1019 by t/1023
Error: Illegal shadowing of included type t/20 by t/24
Line 2, characters 2-19:
Type t/1019 came from this include
Type t/20 came from this include
Line 3, characters 2-23:
The value print has no valid type if t/1019 is shadowed
The value print has no valid type if t/20 is shadowed
|}]
module type Sunderscore = sig