Skip to content

Commit 382d49b

Browse files
committed
Update compiler artifacts.
1 parent 57098c4 commit 382d49b

File tree

454 files changed

+6500
-5754
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

454 files changed

+6500
-5754
lines changed

jscomp/build_tests/super_errors/expected/UncurriedArgsNotApplied.res.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,4 @@
1212

1313
Here's the original error message
1414
This has type: option<'a>
15-
But it's expected to have type: (. unit) => option<int>
15+
But it's expected to have type: unit => option<int>

jscomp/build_tests/super_errors/expected/arity_mismatch.res.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@
66
2 │ let makeVariables = makeVar(.~f=f => f)
77
3 │
88

9-
This uncurried function has type (. ~f: 'a => 'a, unit) => int
9+
This uncurried function has type (~f: 'a => 'a, unit) => int
1010
It is applied with 1 arguments but it requires 2.

jscomp/build_tests/super_errors/expected/arity_mismatch2.res.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@
66
2 │ let makeVariables = makeVar(. 1, 2, 3)
77
3 │
88

9-
This uncurried function has type (. 'a, unit) => int
9+
This uncurried function has type ('a, unit) => int
1010
It is applied with 3 arguments but it requires 2.
Lines changed: 0 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -1,28 +0,0 @@
1-
2-
We've found a bug for you!
3-
/.../fixtures/c_for_u_in_c_mode.res:3:5-5:1
4-
5-
1 │ module Foo: {
6-
2 │ let add: (. int, int) => int
7-
3 │ } = {
8-
4 │  let add = (a, b) => a + b
9-
5 │ }
10-
6 │
11-
12-
Signature mismatch:
13-
Modules do not match:
14-
{
15-
let add: (int, int) => int
16-
}
17-
is not included in
18-
{
19-
let add: (. int, int) => int
20-
}
21-
Values do not match:
22-
let add: (int, int) => int (curried)
23-
is not included in
24-
let add: (. int, int) => int (uncurried)
25-
/.../fixtures/c_for_u_in_c_mode.res:2:3-30:
26-
Expected declaration
27-
/.../fixtures/c_for_u_in_c_mode.res:4:7-9:
28-
Actual declaration

jscomp/build_tests/super_errors/expected/curried_expected.res.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,4 @@
77
3 │ let z1 = expectCurried((. x, y) => x+y)
88
4 │
99

10-
This function is an uncurried function where a curried function is expected
10+
This function expected 1 argument, but got 2
Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +0,0 @@
1-
2-
We've found a bug for you!
3-
/.../fixtures/curry_in_uncurry.res:3:1
4-
5-
1 │ let f = (a, b) => a + b
6-
2 │
7-
3 │ f(. 2, 2)->Js.log
8-
4 │
9-
10-
This function is a curried function where an uncurried function is expected

jscomp/build_tests/super_errors/expected/method_arity_mismatch.res.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,5 +8,5 @@
88
4 │ }
99
5 │
1010

11-
This uncurried function has type (. int, int) => unit
11+
This uncurried function has type (int, int) => unit
1212
It is applied with 1 arguments but it requires 2.
Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,11 @@
11

22
We've found a bug for you!
3-
/.../fixtures/missing_label.res:3:9
3+
/.../fixtures/missing_label.res:3:11-12
44

55
1 │ let f = (~a) => a ++ ""
66
2 │
7-
3 │ let _ = f("")
7+
3 │ let _ = f("")
88
4 │
99

10-
Label ~a was omitted in the application of this labeled function.
10+
The function applied to this argument has type (~a: string) => string
11+
This argument cannot be applied without label
Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,12 @@
11

22
We've found a bug for you!
3-
/.../fixtures/missing_labels.res:3:9
3+
/.../fixtures/missing_labels.res:3:11-12
44

55
1 │ let f = (~a, ~b) => a ++ b
66
2 │
7-
3 │ let _ = f("", "")
7+
3 │ let _ = f("", "")
88
4 │
99

10-
Labels ~a, ~b were omitted in the application of this labeled function.
10+
The function applied to this argument has type
11+
(~a: string, ~b: string) => string
12+
This argument cannot be applied without label
Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,10 @@
11

22
We've found a bug for you!
3-
/.../fixtures/moreArguments1.res:2:9-15
3+
/.../fixtures/moreArguments1.res:2:9
44

55
1 │ let x = (~a, ~b) => a + b
6-
2 │ let y = x(~a=2) + 2
6+
2 │ let y = x(~a=2) + 2
77
3 │
88

9-
This call is missing an argument of type (~b: int)
9+
This uncurried function has type (~a: int, ~b: int) => int
10+
It is applied with 1 arguments but it requires 2.
Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,10 @@
11

22
We've found a bug for you!
3-
/.../fixtures/moreArguments2.res:2:9-12
3+
/.../fixtures/moreArguments2.res:2:9
44

55
1 │ let x = (a, b) => a + b
6-
2 │ let y = x(2) + 2
6+
2 │ let y = x(2) + 2
77
3 │
88

9-
This call is missing an argument of type int
9+
This uncurried function has type (int, int) => int
10+
It is applied with 1 arguments but it requires 2.
Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,10 @@
11

22
We've found a bug for you!
3-
/.../fixtures/moreArguments3.res:2:9-12
3+
/.../fixtures/moreArguments3.res:2:9
44

55
1 │ let x = (a, b, c, d) => a + b
6-
2 │ let y = x(2) + 2
6+
2 │ let y = x(2) + 2
77
3 │
88

9-
This call is missing arguments of type: int, 'a, 'b
9+
This uncurried function has type (int, int, 'a, 'b) => int
10+
It is applied with 1 arguments but it requires 4.
Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,10 @@
11

22
We've found a bug for you!
3-
/.../fixtures/moreArguments4.res:2:9-12
3+
/.../fixtures/moreArguments4.res:2:9
44

55
1 │ let x = (a, ~b, ~c, ~d) => a + b
6-
2 │ let y = x(2) + 2
6+
2 │ let y = x(2) + 2
77
3 │
88

9-
This call is missing arguments of type: (~b: int), (~c: 'a), (~d: 'b)
9+
This uncurried function has type (int, ~b: int, ~c: 'a, ~d: 'b) => int
10+
It is applied with 1 arguments but it requires 4.
Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,11 @@
11

22
We've found a bug for you!
3-
/.../fixtures/moreArguments5.res:5:9-12
3+
/.../fixtures/moreArguments5.res:5:9
44

55
3 │ }
66
4 │ let x = (a, b, c, d) => {Sub.a: 2}
7-
5 │ let y = x(2).Sub.a
7+
5 │ let y = x(2).Sub.a
88
6 │
99

10-
This call is missing arguments of type: 'a, 'b, 'c
10+
This uncurried function has type (int, 'a, 'b, 'c) => Sub.a
11+
It is applied with 1 arguments but it requires 4.
Lines changed: 5 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,11 @@
11

2-
Warning number 109 (configured as error)
3-
/.../fixtures/partial_app.res:5:1-7
2+
We've found a bug for you!
3+
/.../fixtures/partial_app.res:5:1
44

55
3 │ }
66
4 │
7-
5 │ f(1, 2)
7+
5 │ f(1, 2)
88
6 │
99

10-
This function call is at the top level and is expected to return `unit`. But it's returning `int => int`.
11-
12-
In ReScript, anything at the top level must evaluate to `unit`. You can fix this by assigning the expression to a value, or piping it into the `ignore` function.
13-
14-
Possible solutions:
15-
- Assigning to a value that is then ignored: `let _ = yourFunctionCall()`
16-
- Piping into the built-in ignore function to ignore the result: `yourFunctionCall()->ignore`
10+
This uncurried function has type (int, int, int) => int
11+
It is applied with 2 arguments but it requires 3.

jscomp/build_tests/super_errors/expected/primitives3.res.expected

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,5 @@
77
3 │ x(2, 4)
88
4 │
99

10-
This function has type int => int
11-
It only accepts 1 argument; here, it's called with more.
10+
This uncurried function has type int => int
11+
It is applied with 2 arguments but it requires 1.
Lines changed: 0 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -1,28 +0,0 @@
1-
2-
We've found a bug for you!
3-
/.../fixtures/u_for_c_in_c_mode.res:3:5-5:1
4-
5-
1 │ module Foo: {
6-
2 │ let add: (int, int) => int
7-
3 │ } = {
8-
4 │  let add = (. a, b) => a + b
9-
5 │ }
10-
6 │
11-
12-
Signature mismatch:
13-
Modules do not match:
14-
{
15-
let add: (. int, int) => int
16-
}
17-
is not included in
18-
{
19-
let add: (int, int) => int
20-
}
21-
Values do not match:
22-
let add: (. int, int) => int (uncurried)
23-
is not included in
24-
let add: (int, int) => int (curried)
25-
/.../fixtures/u_for_c_in_c_mode.res:2:3-28:
26-
Expected declaration
27-
/.../fixtures/u_for_c_in_c_mode.res:4:7-9:
28-
Actual declaration
Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +0,0 @@
1-
2-
We've found a bug for you!
3-
/.../fixtures/uncurried_expected.res:2:15-22
4-
5-
1 │ let apply = (f) => f(. 1)
6-
2 │ let z = apply(x => x+1)
7-
3 │
8-
9-
This expression is expected to have an uncurried function

jscomp/build_tests/super_errors/expected/uncurried_wrong_label.res.expected

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,6 @@
77
3 │ let d = foo(. ~y=3)
88
4 │
99

10-
The function applied to this argument has type (. ~x: int, ~y: int) => int
10+
The function applied to this argument has type
11+
(~x: int) => (~y: int) => int
1112
This argument cannot be applied with label ~y
Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11

22
We've found a bug for you!
3-
/.../fixtures/warnings1.res:3:3-7
3+
/.../fixtures/warnings1.res:3:3
44

55
1 │ let x = (a, b) => a + b
66
2 │ let z = () => {
7-
3 │ x(10)
7+
3 │ x(10)
88
4 │ 10
99
5 │ }
1010

11-
This function call returns: int => int
12-
But it's expected to return: unit
11+
This uncurried function has type (int, int) => int
12+
It is applied with 1 arguments but it requires 2.

jscomp/build_tests/super_errors/expected/warnings3.res.expected

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
2 │ let _ = string_of_float(34.)
77
3 │ let _ = string_of_float(34.)
88

9-
deprecated: Pervasives.string_of_float
9+
deprecated: PervasivesU.string_of_float
1010
Please use Js.Float.toString instead, string_of_float generates unparseable floats
1111

1212

@@ -18,7 +18,7 @@
1818
3 │ let _ = string_of_float(34.)
1919
4 │
2020

21-
deprecated: Pervasives.string_of_float
21+
deprecated: PervasivesU.string_of_float
2222
Please use Js.Float.toString instead, string_of_float generates unparseable floats
2323

2424

@@ -30,5 +30,5 @@
3030
3 │ let _ = string_of_float(34.)
3131
4 │
3232

33-
deprecated: Pervasives.string_of_float
33+
deprecated: PervasivesU.string_of_float
3434
Please use Js.Float.toString instead, string_of_float generates unparseable floats

jscomp/others/release.ninja

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11

2-
bsc_primitive_flags = -no-keep-locs -no-alias-deps -bs-no-version-header -bs-no-check-div-by-zero -nostdlib -bs-cross-module-opt -make-runtime -nopervasives -unsafe -w +50 -warn-error A -curried
2+
bsc_primitive_flags = -no-keep-locs -no-alias-deps -bs-no-version-header -bs-no-check-div-by-zero -nostdlib -bs-cross-module-opt -make-runtime -nopervasives -unsafe -w +50 -warn-error A -uncurried
33
bsc_flags = $bsc_primitive_flags -open Belt_internals
44

55
rule cc

jscomp/runtime/release.ninja

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11

2-
bsc_no_open_flags = -no-keep-locs -no-alias-deps -bs-no-version-header -bs-no-check-div-by-zero -nostdlib -bs-cross-module-opt -make-runtime -nopervasives -unsafe -w +50 -warn-error A -curried
2+
bsc_no_open_flags = -no-keep-locs -no-alias-deps -bs-no-version-header -bs-no-check-div-by-zero -nostdlib -bs-cross-module-opt -make-runtime -nopervasives -unsafe -w +50 -warn-error A -uncurried
33
bsc_flags = $bsc_no_open_flags -open Bs_stdlib_mini
44

55
rule cc
@@ -10,7 +10,7 @@ rule cc_cmi
1010
description = $in -> $out
1111

1212
o runtime/bs_stdlib_mini.cmi : cc runtime/bs_stdlib_mini.resi
13-
bsc_flags = -nostdlib -nopervasives -curried
13+
bsc_flags = -nostdlib -nopervasives -uncurried
1414
o runtime/js.cmj runtime/js.cmi : cc runtime/js.res
1515
bsc_flags = $bsc_no_open_flags
1616
o runtime/caml.cmj : cc_cmi runtime/caml.res | runtime/caml.cmi runtime/caml_int64_extern.cmj

jscomp/stdlib-406/release.ninja

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11

2-
bsc_flags = -no-keep-locs -no-alias-deps -bs-no-version-header -bs-no-check-div-by-zero -nostdlib -bs-cross-module-opt -make-runtime -w -9-3-106 -warn-error A -I others -curried
2+
bsc_flags = -no-keep-locs -no-alias-deps -bs-no-version-header -bs-no-check-div-by-zero -nostdlib -bs-cross-module-opt -make-runtime -w -9-3-106 -warn-error A -I others -uncurried
33

44
rule cc
55
command = $bsc -bs-cmi -bs-cmj $bsc_flags -I stdlib-406 $in
@@ -9,13 +9,13 @@ rule cc_cmi
99
description = $in -> $out
1010

1111
o stdlib-406/pervasives.cmj : cc_cmi stdlib-406/pervasives.res | stdlib-406/pervasives.cmi $bsc others
12-
bsc_flags = $bsc_flags -nopervasives -curried
12+
bsc_flags = $bsc_flags -nopervasives -uncurried
1313
o stdlib-406/pervasives.cmi : cc stdlib-406/pervasives.resi | $bsc others
14-
bsc_flags = $bsc_flags -nopervasives -curried
14+
bsc_flags = $bsc_flags -nopervasives -uncurried
1515
o stdlib-406/pervasivesU.cmj : cc_cmi stdlib-406/pervasivesU.res | stdlib-406/pervasivesU.cmi $bsc others
16-
bsc_flags = $bsc_flags -nopervasives -curried
16+
bsc_flags = $bsc_flags -nopervasives -uncurried
1717
o stdlib-406/pervasivesU.cmi : cc stdlib-406/pervasivesU.resi | $bsc others
18-
bsc_flags = $bsc_flags -nopervasives -curried
18+
bsc_flags = $bsc_flags -nopervasives -uncurried
1919
o stdlib-406/arg.cmj : cc_cmi stdlib-406/arg.res | stdlib-406/arg.cmi stdlib-406/array.cmj stdlib-406/buffer.cmj stdlib-406/list.cmj stdlib-406/string.cmj stdlib-406/sys.cmj $bsc others
2020
o stdlib-406/arg.cmi : cc stdlib-406/arg.resi | stdlib-406/pervasives.cmj $bsc others
2121
o stdlib-406/array.cmj : cc_cmi stdlib-406/array.res | stdlib-406/array.cmi $bsc others

jscomp/test/406_primitive_test.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)