test-suite/misc/non-marshalable-state/src/good.mlg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

DECLARE PLUGIN "good_plugin"

{

let state = Summary.Local.ref
  ~name:"elpi-compiler-cache"
  None

}

VERNAC COMMAND EXTEND magic CLASSIFIED AS SIDEFF
| [ "magic" ] -> {
    let open Summary.Local in
    state := Some (fun () -> ())
}
END