Skip to content

Commit 11a1719

Browse files
committed
add error test
1 parent b13884d commit 11a1719

File tree

4 files changed

+30
-0
lines changed

4 files changed

+30
-0
lines changed
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
2+
We've found a bug for you!
3+
/.../fixtures/variant_coercion_bigint.res:5:10-20
4+
5+
3 │ let x = One(true)
6+
4 │
7+
5 │ let y = (x :> bigint)
8+
6 │
9+
10+
Type x is not a subtype of bigint
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
2+
We've found a bug for you!
3+
/.../fixtures/variant_coercion_bigint_as.res:5:10-20
4+
5+
3 │ let x = One
6+
4 │
7+
5 │ let y = (x :> bigint)
8+
6 │
9+
10+
Type x is not a subtype of bigint
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
type x = | @as(1n) One(bool) | @as(2n) Two
2+
3+
let x = One(true)
4+
5+
let y = (x :> bigint)
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
type x = | @as(1n) One | Two
2+
3+
let x = One
4+
5+
let y = (x :> bigint)

0 commit comments

Comments
 (0)