Commits

Dmitry Grebeniuk  committed 16dac18

test for bug 'old_vis'

  • Participants
  • Parent commits ed3eb25

Comments (0)

Files changed (1)

 
 value () = test_gen force_and_ignore x "cycle contains: X."
 ;
+
+(***********************************************************)
+
+
+value rec y =
+  let lazy_successful = { Lstr.l = "Ok"; v = lazy () } in
+  { Lstr.l = "Y"
+  ; v = lazy
+      ( Lstr.force lazy_successful
+      ; 1 + Lstr.force y
+      )
+  }
+;
+
+value () = test_gen force_and_ignore y "cycle contains: Y."
+(*
+
+   Before "old_vis bugfix":
+
+Got     : Fatal error: exception Assert_failure("lazyLabelled.ml", 43, 20)
+
+  After "old_vis bugfix":
+
+Got     : cycle contains: Y.
+
+*)
+;