This commit is contained in:
Simon Cruanes 2023-08-31 11:26:56 -04:00
parent 01358f93fd
commit 33af762216
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -21,8 +21,8 @@ let () =
B.field_bit b "z";
B.field_int b ~width:5 "foo";
CG.emit_file "foo.mli" (B.gen_mli b);
CG.emit_file "foo.ml" (B.gen_ml b);
CG.emit_file "foo.mli" [B.gen_mli b];
CG.emit_file "foo.ml" [B.gen_ml b];
()
]}