package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file overflow_tests.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
open! Core
open Bonsai_web.Cont
open Bonsai.Let_syntax
open Bonsai_web_test
open Bonsai_test_of_bonsai_itself.Big_computation_regression_util

let overflow_height = 1_000

let%expect_test "Bonsai prints an error message if there is a stack overflow in a \
                 computation"
  =
  let app always_safe graph =
    match%sub always_safe with
    | `Safe -> Bonsai.return String.Set.empty
    | `Overflow -> For_cont.basic ~height:overflow_height ~width:1 graph
  in
  let _handle = Handle.create lengths_result_spec (app (Bonsai.return `Safe)) in
  (* Explicitly not calling Handle.show here *)
  [%expect
    {|
    Stack overflow inside of a bonsai computation is not supported! In a future release your app might crash.
    RangeError: Maximum call stack size exceeded
    <truncated stack to preserve determinism between fast-build and fast-exe>
    |}]
;;

let%expect_test "Bonsai actually stack overflows when an overflowed computation is active"
  =
  Expect_test_helpers_core.require_does_raise [%here] (fun () ->
    let app always_overflow graph =
      match%sub always_overflow with
      | `Safe -> Bonsai.return String.Set.empty
      | `Overflow -> For_cont.basic ~height:overflow_height ~width:1 graph
    in
    let _handle = Handle.create lengths_result_spec (app (Bonsai.return `Overflow)) in
    (* Explicitly not calling Handle.show here *)
    ());
  [%expect
    {|
    Stack overflow inside of a bonsai computation is not supported! In a future release your app might crash.
    RangeError: Maximum call stack size exceeded
    <truncated stack to preserve determinism between fast-build and fast-exe>("Stack overflow")
    |}]
;;