Skip to content

Commit 19119aa

Browse files
committed
Add test
1 parent e88bb72 commit 19119aa

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
(* TEST *)
2+
3+
(* If stack allocation is enabled, the record will be allocated locally.
4+
This is allowed by the type-checker, but the dissect_letrec code
5+
choked on it. *)
6+
type t = { a : int }
7+
let rec x = let _ = { a = x } in 3

0 commit comments

Comments
 (0)