-2

src/autocomplete/dune

··· 1 1 (library 2 2 (name autocomplete) 3 3 - (js_of_ocaml 4 4 - (javascript_files require.js)) 5 3 (public_name code-mirror.autocomplete) 6 4 (libraries code-mirror))

-1

src/autocomplete/require.js

··· 1 1 - joo_global_object.__CM__autocomplete = require('@codemirror/autocomplete');

-2

src/code_mirror.ml

··· 1 1 module Editor = Editor 2 2 module Text = Text 3 3 - module Stream = Stream 4 4 - module Language = Language 5 3 module Extension = Extension

-2

src/codemirror.js

··· 1 1 - joo_global_object.__CM__view = require('@codemirror/view'); 2 2 - joo_global_object.__CM__state = require('@codemirror/state');

-2

src/dune

··· 1 1 (library 2 2 (name code_mirror) 3 3 (public_name code-mirror) 4 4 - (js_of_ocaml 5 5 - (javascript_files codemirror.js)) 6 4 (libraries brr js_of_ocaml))

-2

src/language.ml

··· 1 1 - type t = Jv.t 2 2 - include (Jv.Id : Jv.CONV with type t := t)

-3

src/language.mli

··· 1 1 - type t 2 2 - 3 3 - include Jv.CONV with type t := t

-2

src/lint/dune

··· 1 1 (library 2 2 (name lint) 3 3 - (js_of_ocaml 4 4 - (javascript_files require.js)) 5 3 (public_name code-mirror.lint) 6 4 (libraries code-mirror))

-1

src/lint/require.js

··· 1 1 - joo_global_object.__CM__lint = require('@codemirror/lint');

-10

src/stream.ml

··· 1 1 - let g = Jv.get Jv.global "__CM__stream_parser" 2 2 - 3 3 - module Language = struct 4 4 - type t = Jv.t 5 5 - 6 6 - let g = Jv.get g "StreamLanguage" 7 7 - 8 8 - let define (l : Language.t) = 9 9 - Jv.call g "define" [| Language.to_jv l |] |> Extension.of_jv 10 10 - end

+4

src/stream/dune

··· 1 1 + (library 2 2 + (name stream) 3 3 + (public_name code-mirror.stream) 4 4 + (libraries code-mirror))

+11

src/stream/stream.ml

··· 1 1 + let g = Jv.get Jv.global "__CM__stream_parser" 2 2 + 3 3 + module Language = struct 4 4 + type t 5 5 + 6 6 + include (Jv.Id : Jv.CONV with type t := t) 7 7 + let g = Jv.get g "StreamLanguage" 8 8 + 9 9 + let define (l : t) = 10 10 + Jv.call g "define" [| to_jv l |] |> Code_mirror.Extension.of_jv 11 11 + end