diff options
author | Clombrong <clombrong@egregore.fun> | 2025-05-08 20:05:09 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-05-08 20:05:09 +0200 |
commit | 61e15fea2a818e4ba292c7d2919b18441db90153 (patch) | |
tree | e0b33571e1355907b4081697aa3534f35f3aa2e5 /dune-workspace | |
parent | 512f656a287f7aa8f78c65925dc2a843ec93e7aa (diff) |
fix(markup.ml): counter stack overflow
Diffstat (limited to 'dune-workspace')
-rw-r--r-- | dune-workspace | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dune-workspace b/dune-workspace new file mode 100644 index 0000000..e9c669b --- /dev/null +++ b/dune-workspace @@ -0,0 +1,13 @@ +(lang dune 3.11) + +;; Markup.ml uses a lot of tail call recursion to parse XML, so it essentially +;; shits itself when compiled with Jsoo (which doesn't support tail-call by +;; default). So we need this. + +;; Obviously, this ought to be removed the instant https://github.com/aantron/markup.ml/issues/26 is merged. + +(env + (_ + (js_of_ocaml + (flags (:standard --effects=cps)) + (build_runtime_flags (:standard --effects=cps))))) |