Skip to content

Commit 8db4e2f

Browse files
committed
add tests
1 parent 39fdfe8 commit 8db4e2f

8 files changed

+56
-0
lines changed
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
We've found a bug for you!
3+
/.../fixtures/repeated_def_extension_constr.res:3:6
4+
5+
1 │ type a = ..
6+
2 │
7+
3 │ type a
8+
4 │
9+
10+
Multiple definition of the type name a.
11+
Names must be unique in a given structure or signature.
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
We've found a bug for you!
3+
/.../fixtures/repeated_def_module_types.res:3:13
4+
5+
1 │ module type M = {}
6+
2 │
7+
3 │ module type M = {}
8+
4 │
9+
10+
Multiple definition of the module type name M.
11+
Names must be unique in a given structure or signature.
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
We've found a bug for you!
3+
/.../fixtures/repeated_def_modules.res:3:8
4+
5+
1 │ module M = {}
6+
2 │
7+
3 │ module M = {}
8+
4 │
9+
10+
Multiple definition of the module name M.
11+
Names must be unique in a given structure or signature.
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
We've found a bug for you!
3+
/.../fixtures/repeated_def_types.res:3:6
4+
5+
1 │ type a
6+
2 │
7+
3 │ type a
8+
4 │
9+
10+
Multiple definition of the type name a.
11+
Names must be unique in a given structure or signature.
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
type a = ..
2+
3+
type a
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module type M = {}
2+
3+
module type M = {}
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module M = {}
2+
3+
module M = {}
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
type a
2+
3+
type a

0 commit comments

Comments
 (0)