Skip to content

Commit 0dba4a6

Browse files
authored
Merge pull request #2693 from BuckleScript/fix_ocaml_ci
[compiler] fix ocaml ci (committed by @cristiano)
2 parents d6e4a51 + e37220c commit 0dba4a6

File tree

6 files changed

+7
-6
lines changed

6 files changed

+7
-6
lines changed

vendor/ocaml/.travis.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
language: c
22
script: bash -ex .travis-ci.sh
3+
sudo: enabled
34
env:
45
- XARCH=i386

vendor/ocaml/testsuite/tests/typing-gadts/pr5332.ml.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,5 +15,5 @@ Warning 8: this pattern-matching is not exhaustive.
1515
Here is an example of a value that is not matched:
1616
(Tbool, Tvar _)
1717
val f : ('env, 'a) typ -> ('env, 'a) typ -> int = <fun>
18-
# Exception: Match_failure ("//toplevel//", 9, 1).
18+
# Exception: Match_failure ("toplevel", 9, 1).
1919
#

vendor/ocaml/testsuite/tests/typing-gadts/pr5989.ml.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ Warning 8: this pattern-matching is not exhaustive.
88
Here is an example of a value that is not matched:
99
Eq
1010
val f : (M.s, [ `A | `B ]) t -> string = <fun>
11-
# Exception: Match_failure ("//toplevel//", 14, 39).
11+
# Exception: Match_failure ("toplevel", 14, 39).
1212
# module N :
1313
sig
1414
type s = private < a : int; .. >

vendor/ocaml/testsuite/tests/typing-gadts/pr5997.ml.reference

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
Warning 8: this pattern-matching is not exhaustive.
99
Here is an example of a value that is not matched:
1010
Eq
11-
Exception: Match_failure ("//toplevel//", 13, 0).
11+
Exception: Match_failure ("toplevel", 13, 0).
1212
# module U : sig type t = { x : int; } end
1313
# module M : sig type t = { x : int; } val comp : (U.t, t) comp end
1414
# Characters 1-34:
@@ -17,5 +17,5 @@ Exception: Match_failure ("//toplevel//", 13, 0).
1717
Warning 8: this pattern-matching is not exhaustive.
1818
Here is an example of a value that is not matched:
1919
Eq
20-
Exception: Match_failure ("//toplevel//", 22, 0).
20+
Exception: Match_failure ("toplevel", 22, 0).
2121
#

vendor/ocaml/testsuite/tests/typing-gadts/pr6241.ml.principal.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,5 +11,5 @@ module M :
1111
sig val f : ((module A.T), (module B.T)) t -> string end
1212
# module A : sig module type T = sig end end
1313
# module N : sig val f : ((module A.T), (module A.T)) t -> string end
14-
# Exception: Match_failure ("//toplevel//", 7, 52).
14+
# Exception: Match_failure ("toplevel", 7, 52).
1515
#

vendor/ocaml/testsuite/tests/typing-gadts/pr6241.ml.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,5 +11,5 @@ module M :
1111
sig val f : ((module A.T), (module B.T)) t -> string end
1212
# module A : sig module type T = sig end end
1313
# module N : sig val f : ((module A.T), (module A.T)) t -> string end
14-
# Exception: Match_failure ("//toplevel//", 7, 52).
14+
# Exception: Match_failure ("toplevel", 7, 52).
1515
#

0 commit comments

Comments
 (0)