Skip to content

Commit

Permalink
Add test
Browse files Browse the repository at this point in the history
  • Loading branch information
smuenzel committed Feb 24, 2023
1 parent 5d2b319 commit a682291
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions test/traverse/test.ml
Original file line number Diff line number Diff line change
Expand Up @@ -82,3 +82,12 @@ class virtual iter :
method t : t -> unit
end
|}]

type t =
| X
| Arrow of { label : string option; domain : t; range : t }
[@@deriving traverse]
[%%expect{|
Line _, characters 2-61:
Error: This constructor expects an inlined record argument.
|}]

0 comments on commit a682291

Please sign in to comment.