@muze-nl/simplystore 0.1.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.dockerignore +8 -0
- package/.github/workflows/docker-build.yml +45 -0
- package/.gitignore~ +1 -0
- package/Dockerfile +60 -0
- package/LICENSE +21 -0
- package/README.md +99 -0
- package/data.jsontag +20 -0
- package/design/access-management.md +25 -0
- package/design/acid.md +31 -0
- package/design/commands.md +25 -0
- package/design/identity.md +71 -0
- package/design/immutability.md +26 -0
- package/design/jsontag-selector.md +365 -0
- package/design/multitasking.md +13 -0
- package/design/thoughts.md +32 -0
- package/docs/docker.md +129 -0
- package/package.json +29 -0
- package/package.json~ +29 -0
- package/src/run.mjs +3 -0
- package/src/server.mjs +323 -0
- package/src/triplestore.mjs +182 -0
- package/www/assets/css/style.css +2296 -0
- package/www/assets/feather-sprite.svg +1 -0
- package/www/assets/img/simplystore-narrow-white.svg +138 -0
- package/www/assets/img/simplystore-narrow.svg +138 -0
- package/www/assets/img/simplystore-white.svg +153 -0
- package/www/assets/img/simplystore.svg +153 -0
- package/www/codemirror/AUTHORS +979 -0
- package/www/codemirror/CHANGELOG.md +2208 -0
- package/www/codemirror/CONTRIBUTING.md +92 -0
- package/www/codemirror/LICENSE +21 -0
- package/www/codemirror/README.md +47 -0
- package/www/codemirror/addon/comment/comment.js +211 -0
- package/www/codemirror/addon/comment/continuecomment.js +114 -0
- package/www/codemirror/addon/dialog/dialog.css +32 -0
- package/www/codemirror/addon/dialog/dialog.js +163 -0
- package/www/codemirror/addon/display/autorefresh.js +47 -0
- package/www/codemirror/addon/display/fullscreen.css +6 -0
- package/www/codemirror/addon/display/fullscreen.js +41 -0
- package/www/codemirror/addon/display/panel.js +133 -0
- package/www/codemirror/addon/display/placeholder.js +78 -0
- package/www/codemirror/addon/display/rulers.js +51 -0
- package/www/codemirror/addon/edit/closebrackets.js +201 -0
- package/www/codemirror/addon/edit/closetag.js +185 -0
- package/www/codemirror/addon/edit/continuelist.js +101 -0
- package/www/codemirror/addon/edit/matchbrackets.js +160 -0
- package/www/codemirror/addon/edit/matchtags.js +66 -0
- package/www/codemirror/addon/edit/trailingspace.js +27 -0
- package/www/codemirror/addon/fold/brace-fold.js +119 -0
- package/www/codemirror/addon/fold/comment-fold.js +59 -0
- package/www/codemirror/addon/fold/foldcode.js +159 -0
- package/www/codemirror/addon/fold/foldgutter.css +20 -0
- package/www/codemirror/addon/fold/foldgutter.js +169 -0
- package/www/codemirror/addon/fold/indent-fold.js +48 -0
- package/www/codemirror/addon/fold/markdown-fold.js +49 -0
- package/www/codemirror/addon/fold/xml-fold.js +184 -0
- package/www/codemirror/addon/hint/anyword-hint.js +41 -0
- package/www/codemirror/addon/hint/css-hint.js +66 -0
- package/www/codemirror/addon/hint/html-hint.js +351 -0
- package/www/codemirror/addon/hint/javascript-hint.js +162 -0
- package/www/codemirror/addon/hint/show-hint.css +37 -0
- package/www/codemirror/addon/hint/show-hint.js +523 -0
- package/www/codemirror/addon/hint/sql-hint.js +304 -0
- package/www/codemirror/addon/hint/xml-hint.js +132 -0
- package/www/codemirror/addon/lint/coffeescript-lint.js +47 -0
- package/www/codemirror/addon/lint/css-lint.js +40 -0
- package/www/codemirror/addon/lint/html-lint.js +59 -0
- package/www/codemirror/addon/lint/javascript-lint.js +65 -0
- package/www/codemirror/addon/lint/json-lint.js +40 -0
- package/www/codemirror/addon/lint/lint.css +79 -0
- package/www/codemirror/addon/lint/lint.js +291 -0
- package/www/codemirror/addon/lint/yaml-lint.js +41 -0
- package/www/codemirror/addon/merge/merge.css +119 -0
- package/www/codemirror/addon/merge/merge.js +1018 -0
- package/www/codemirror/addon/mode/loadmode.js +66 -0
- package/www/codemirror/addon/mode/multiplex.js +136 -0
- package/www/codemirror/addon/mode/multiplex_test.js +49 -0
- package/www/codemirror/addon/mode/overlay.js +90 -0
- package/www/codemirror/addon/mode/simple.js +216 -0
- package/www/codemirror/addon/runmode/colorize.js +40 -0
- package/www/codemirror/addon/runmode/runmode-standalone.js +334 -0
- package/www/codemirror/addon/runmode/runmode.js +76 -0
- package/www/codemirror/addon/runmode/runmode.node.js +329 -0
- package/www/codemirror/addon/scroll/annotatescrollbar.js +128 -0
- package/www/codemirror/addon/scroll/scrollpastend.js +48 -0
- package/www/codemirror/addon/scroll/simplescrollbars.css +66 -0
- package/www/codemirror/addon/scroll/simplescrollbars.js +152 -0
- package/www/codemirror/addon/search/jump-to-line.js +53 -0
- package/www/codemirror/addon/search/match-highlighter.js +167 -0
- package/www/codemirror/addon/search/matchesonscrollbar.css +8 -0
- package/www/codemirror/addon/search/matchesonscrollbar.js +97 -0
- package/www/codemirror/addon/search/search.js +295 -0
- package/www/codemirror/addon/search/searchcursor.js +305 -0
- package/www/codemirror/addon/selection/active-line.js +72 -0
- package/www/codemirror/addon/selection/mark-selection.js +119 -0
- package/www/codemirror/addon/selection/selection-pointer.js +98 -0
- package/www/codemirror/addon/tern/tern.css +87 -0
- package/www/codemirror/addon/tern/tern.js +756 -0
- package/www/codemirror/addon/tern/worker.js +44 -0
- package/www/codemirror/addon/wrap/hardwrap.js +160 -0
- package/www/codemirror/bin/source-highlight +48 -0
- package/www/codemirror/keymap/emacs.js +545 -0
- package/www/codemirror/keymap/sublime.js +720 -0
- package/www/codemirror/keymap/vim.js +5978 -0
- package/www/codemirror/lib/codemirror.css +344 -0
- package/www/codemirror/lib/codemirror.js +9874 -0
- package/www/codemirror/mode/apl/apl.js +174 -0
- package/www/codemirror/mode/asciiarmor/asciiarmor.js +74 -0
- package/www/codemirror/mode/asn.1/asn.1.js +204 -0
- package/www/codemirror/mode/asterisk/asterisk.js +220 -0
- package/www/codemirror/mode/brainfuck/brainfuck.js +85 -0
- package/www/codemirror/mode/clike/clike.js +940 -0
- package/www/codemirror/mode/clojure/clojure.js +292 -0
- package/www/codemirror/mode/cmake/cmake.js +97 -0
- package/www/codemirror/mode/cobol/cobol.js +255 -0
- package/www/codemirror/mode/coffeescript/coffeescript.js +359 -0
- package/www/codemirror/mode/commonlisp/commonlisp.js +125 -0
- package/www/codemirror/mode/crystal/crystal.js +433 -0
- package/www/codemirror/mode/css/css.js +862 -0
- package/www/codemirror/mode/cypher/cypher.js +152 -0
- package/www/codemirror/mode/d/d.js +223 -0
- package/www/codemirror/mode/dart/dart.js +166 -0
- package/www/codemirror/mode/diff/diff.js +47 -0
- package/www/codemirror/mode/django/django.js +356 -0
- package/www/codemirror/mode/dockerfile/dockerfile.js +211 -0
- package/www/codemirror/mode/dtd/dtd.js +142 -0
- package/www/codemirror/mode/dylan/dylan.js +352 -0
- package/www/codemirror/mode/ebnf/ebnf.js +195 -0
- package/www/codemirror/mode/ecl/ecl.js +206 -0
- package/www/codemirror/mode/eiffel/eiffel.js +160 -0
- package/www/codemirror/mode/elm/elm.js +245 -0
- package/www/codemirror/mode/erlang/erlang.js +619 -0
- package/www/codemirror/mode/factor/factor.js +85 -0
- package/www/codemirror/mode/fcl/fcl.js +173 -0
- package/www/codemirror/mode/forth/forth.js +180 -0
- package/www/codemirror/mode/fortran/fortran.js +188 -0
- package/www/codemirror/mode/gas/gas.js +353 -0
- package/www/codemirror/mode/gfm/gfm.js +129 -0
- package/www/codemirror/mode/gherkin/gherkin.js +178 -0
- package/www/codemirror/mode/go/go.js +187 -0
- package/www/codemirror/mode/groovy/groovy.js +247 -0
- package/www/codemirror/mode/haml/haml.js +161 -0
- package/www/codemirror/mode/handlebars/handlebars.js +70 -0
- package/www/codemirror/mode/haskell/haskell.js +268 -0
- package/www/codemirror/mode/haskell-literate/haskell-literate.js +43 -0
- package/www/codemirror/mode/haxe/haxe.js +515 -0
- package/www/codemirror/mode/htmlembedded/htmlembedded.js +37 -0
- package/www/codemirror/mode/htmlmixed/htmlmixed.js +153 -0
- package/www/codemirror/mode/http/http.js +113 -0
- package/www/codemirror/mode/idl/idl.js +290 -0
- package/www/codemirror/mode/javascript/javascript.js +960 -0
- package/www/codemirror/mode/jinja2/jinja2.js +193 -0
- package/www/codemirror/mode/jsx/jsx.js +148 -0
- package/www/codemirror/mode/julia/julia.js +390 -0
- package/www/codemirror/mode/livescript/livescript.js +280 -0
- package/www/codemirror/mode/lua/lua.js +160 -0
- package/www/codemirror/mode/markdown/markdown.js +886 -0
- package/www/codemirror/mode/mathematica/mathematica.js +176 -0
- package/www/codemirror/mode/mbox/mbox.js +129 -0
- package/www/codemirror/mode/meta.js +221 -0
- package/www/codemirror/mode/mirc/mirc.js +193 -0
- package/www/codemirror/mode/mllike/mllike.js +359 -0
- package/www/codemirror/mode/modelica/modelica.js +245 -0
- package/www/codemirror/mode/mscgen/mscgen.js +175 -0
- package/www/codemirror/mode/mumps/mumps.js +148 -0
- package/www/codemirror/mode/nginx/nginx.js +178 -0
- package/www/codemirror/mode/nsis/nsis.js +95 -0
- package/www/codemirror/mode/ntriples/ntriples.js +195 -0
- package/www/codemirror/mode/octave/octave.js +139 -0
- package/www/codemirror/mode/oz/oz.js +252 -0
- package/www/codemirror/mode/pascal/pascal.js +136 -0
- package/www/codemirror/mode/pegjs/pegjs.js +111 -0
- package/www/codemirror/mode/perl/perl.js +836 -0
- package/www/codemirror/mode/php/php.js +234 -0
- package/www/codemirror/mode/pig/pig.js +178 -0
- package/www/codemirror/mode/powershell/powershell.js +398 -0
- package/www/codemirror/mode/properties/properties.js +78 -0
- package/www/codemirror/mode/protobuf/protobuf.js +72 -0
- package/www/codemirror/mode/pug/pug.js +591 -0
- package/www/codemirror/mode/puppet/puppet.js +220 -0
- package/www/codemirror/mode/python/python.js +402 -0
- package/www/codemirror/mode/q/q.js +139 -0
- package/www/codemirror/mode/r/r.js +190 -0
- package/www/codemirror/mode/rpm/changes/index.html +66 -0
- package/www/codemirror/mode/rpm/rpm.js +109 -0
- package/www/codemirror/mode/rst/rst.js +557 -0
- package/www/codemirror/mode/ruby/ruby.js +303 -0
- package/www/codemirror/mode/rust/rust.js +72 -0
- package/www/codemirror/mode/sas/sas.js +303 -0
- package/www/codemirror/mode/sass/sass.js +459 -0
- package/www/codemirror/mode/scheme/scheme.js +284 -0
- package/www/codemirror/mode/shell/shell.js +168 -0
- package/www/codemirror/mode/sieve/sieve.js +193 -0
- package/www/codemirror/mode/slim/slim.js +575 -0
- package/www/codemirror/mode/smalltalk/smalltalk.js +168 -0
- package/www/codemirror/mode/smarty/smarty.js +225 -0
- package/www/codemirror/mode/solr/solr.js +104 -0
- package/www/codemirror/mode/soy/soy.js +665 -0
- package/www/codemirror/mode/sparql/sparql.js +184 -0
- package/www/codemirror/mode/spreadsheet/spreadsheet.js +112 -0
- package/www/codemirror/mode/sql/sql.js +525 -0
- package/www/codemirror/mode/stex/stex.js +264 -0
- package/www/codemirror/mode/stylus/stylus.js +775 -0
- package/www/codemirror/mode/swift/swift.js +221 -0
- package/www/codemirror/mode/tcl/tcl.js +140 -0
- package/www/codemirror/mode/textile/textile.js +469 -0
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.js +308 -0
- package/www/codemirror/mode/tiki/tiki.css +26 -0
- package/www/codemirror/mode/tiki/tiki.js +312 -0
- package/www/codemirror/mode/toml/toml.js +88 -0
- package/www/codemirror/mode/tornado/tornado.js +68 -0
- package/www/codemirror/mode/troff/troff.js +84 -0
- package/www/codemirror/mode/ttcn/ttcn.js +283 -0
- package/www/codemirror/mode/ttcn-cfg/ttcn-cfg.js +214 -0
- package/www/codemirror/mode/turtle/turtle.js +162 -0
- package/www/codemirror/mode/twig/twig.js +141 -0
- package/www/codemirror/mode/vb/vb.js +275 -0
- package/www/codemirror/mode/vbscript/vbscript.js +350 -0
- package/www/codemirror/mode/velocity/velocity.js +202 -0
- package/www/codemirror/mode/verilog/verilog.js +781 -0
- package/www/codemirror/mode/vhdl/vhdl.js +189 -0
- package/www/codemirror/mode/vue/vue.js +77 -0
- package/www/codemirror/mode/wast/wast.js +132 -0
- package/www/codemirror/mode/webidl/webidl.js +195 -0
- package/www/codemirror/mode/xml/xml.js +417 -0
- package/www/codemirror/mode/xquery/xquery.js +448 -0
- package/www/codemirror/mode/yacas/yacas.js +204 -0
- package/www/codemirror/mode/yaml/yaml.js +120 -0
- package/www/codemirror/mode/yaml-frontmatter/yaml-frontmatter.js +72 -0
- package/www/codemirror/mode/z80/z80.js +116 -0
- package/www/codemirror/package.json +52 -0
- package/www/codemirror/rollup.config.js +52 -0
- package/www/codemirror/src/addon/runmode/codemirror-standalone.js +24 -0
- package/www/codemirror/src/addon/runmode/codemirror.node.js +21 -0
- package/www/codemirror/src/addon/runmode/runmode-standalone.js +2 -0
- package/www/codemirror/src/addon/runmode/runmode.node.js +2 -0
- package/www/codemirror/src/codemirror.js +3 -0
- package/www/codemirror/src/display/Display.js +116 -0
- package/www/codemirror/src/display/focus.js +50 -0
- package/www/codemirror/src/display/gutters.js +44 -0
- package/www/codemirror/src/display/highlight_worker.js +55 -0
- package/www/codemirror/src/display/line_numbers.js +48 -0
- package/www/codemirror/src/display/mode_state.js +22 -0
- package/www/codemirror/src/display/operations.js +206 -0
- package/www/codemirror/src/display/scroll_events.js +132 -0
- package/www/codemirror/src/display/scrollbars.js +194 -0
- package/www/codemirror/src/display/scrolling.js +186 -0
- package/www/codemirror/src/display/selection.js +173 -0
- package/www/codemirror/src/display/update_display.js +267 -0
- package/www/codemirror/src/display/update_line.js +189 -0
- package/www/codemirror/src/display/update_lines.js +82 -0
- package/www/codemirror/src/display/view_tracking.js +153 -0
- package/www/codemirror/src/edit/CodeMirror.js +217 -0
- package/www/codemirror/src/edit/commands.js +178 -0
- package/www/codemirror/src/edit/deleteNearSelection.js +30 -0
- package/www/codemirror/src/edit/drop_events.js +130 -0
- package/www/codemirror/src/edit/fromTextArea.js +61 -0
- package/www/codemirror/src/edit/global_events.js +45 -0
- package/www/codemirror/src/edit/key_events.js +163 -0
- package/www/codemirror/src/edit/legacy.js +62 -0
- package/www/codemirror/src/edit/main.js +69 -0
- package/www/codemirror/src/edit/methods.js +555 -0
- package/www/codemirror/src/edit/mouse_events.js +417 -0
- package/www/codemirror/src/edit/options.js +194 -0
- package/www/codemirror/src/edit/utils.js +7 -0
- package/www/codemirror/src/input/ContentEditableInput.js +546 -0
- package/www/codemirror/src/input/TextareaInput.js +380 -0
- package/www/codemirror/src/input/indent.js +71 -0
- package/www/codemirror/src/input/input.js +134 -0
- package/www/codemirror/src/input/keymap.js +147 -0
- package/www/codemirror/src/input/keynames.js +17 -0
- package/www/codemirror/src/input/movement.js +111 -0
- package/www/codemirror/src/line/highlight.js +284 -0
- package/www/codemirror/src/line/line_data.js +349 -0
- package/www/codemirror/src/line/pos.js +40 -0
- package/www/codemirror/src/line/saw_special_spans.js +10 -0
- package/www/codemirror/src/line/spans.js +390 -0
- package/www/codemirror/src/line/utils_line.js +85 -0
- package/www/codemirror/src/measurement/position_measurement.js +702 -0
- package/www/codemirror/src/measurement/widgets.js +26 -0
- package/www/codemirror/src/model/Doc.js +436 -0
- package/www/codemirror/src/model/change_measurement.js +61 -0
- package/www/codemirror/src/model/changes.js +339 -0
- package/www/codemirror/src/model/chunk.js +167 -0
- package/www/codemirror/src/model/document_data.js +112 -0
- package/www/codemirror/src/model/history.js +228 -0
- package/www/codemirror/src/model/line_widget.js +78 -0
- package/www/codemirror/src/model/mark_text.js +293 -0
- package/www/codemirror/src/model/selection.js +84 -0
- package/www/codemirror/src/model/selection_updates.js +216 -0
- package/www/codemirror/src/modes.js +96 -0
- package/www/codemirror/src/util/StringStream.js +90 -0
- package/www/codemirror/src/util/bidi.js +215 -0
- package/www/codemirror/src/util/browser.js +34 -0
- package/www/codemirror/src/util/dom.js +101 -0
- package/www/codemirror/src/util/event.js +103 -0
- package/www/codemirror/src/util/feature_detection.js +84 -0
- package/www/codemirror/src/util/misc.js +168 -0
- package/www/codemirror/src/util/operation_group.js +72 -0
- package/www/codemirror/theme/3024-day.css +41 -0
- package/www/codemirror/theme/3024-night.css +39 -0
- package/www/codemirror/theme/abbott.css +268 -0
- package/www/codemirror/theme/abcdef.css +32 -0
- package/www/codemirror/theme/ambiance-mobile.css +5 -0
- package/www/codemirror/theme/ambiance.css +74 -0
- package/www/codemirror/theme/ayu-dark.css +44 -0
- package/www/codemirror/theme/ayu-mirage.css +45 -0
- package/www/codemirror/theme/base16-dark.css +40 -0
- package/www/codemirror/theme/base16-light.css +38 -0
- package/www/codemirror/theme/bespin.css +34 -0
- package/www/codemirror/theme/blackboard.css +32 -0
- package/www/codemirror/theme/cobalt.css +25 -0
- package/www/codemirror/theme/colorforth.css +33 -0
- package/www/codemirror/theme/darcula.css +53 -0
- package/www/codemirror/theme/dracula.css +40 -0
- package/www/codemirror/theme/duotone-dark.css +35 -0
- package/www/codemirror/theme/duotone-light.css +36 -0
- package/www/codemirror/theme/eclipse.css +23 -0
- package/www/codemirror/theme/elegant.css +13 -0
- package/www/codemirror/theme/erlang-dark.css +34 -0
- package/www/codemirror/theme/gruvbox-dark.css +39 -0
- package/www/codemirror/theme/hopscotch.css +34 -0
- package/www/codemirror/theme/icecoder.css +43 -0
- package/www/codemirror/theme/idea.css +42 -0
- package/www/codemirror/theme/isotope.css +34 -0
- package/www/codemirror/theme/juejin.css +30 -0
- package/www/codemirror/theme/lesser-dark.css +47 -0
- package/www/codemirror/theme/liquibyte.css +95 -0
- package/www/codemirror/theme/lucario.css +37 -0
- package/www/codemirror/theme/material-darker.css +135 -0
- package/www/codemirror/theme/material-ocean.css +141 -0
- package/www/codemirror/theme/material-palenight.css +141 -0
- package/www/codemirror/theme/material.css +141 -0
- package/www/codemirror/theme/mbo.css +37 -0
- package/www/codemirror/theme/mdn-like.css +46 -0
- package/www/codemirror/theme/midnight.css +39 -0
- package/www/codemirror/theme/monokai.css +41 -0
- package/www/codemirror/theme/moxer.css +143 -0
- package/www/codemirror/theme/neat.css +12 -0
- package/www/codemirror/theme/neo.css +43 -0
- package/www/codemirror/theme/night.css +27 -0
- package/www/codemirror/theme/nord.css +42 -0
- package/www/codemirror/theme/oceanic-next.css +46 -0
- package/www/codemirror/theme/panda-syntax.css +85 -0
- package/www/codemirror/theme/paraiso-dark.css +38 -0
- package/www/codemirror/theme/paraiso-light.css +38 -0
- package/www/codemirror/theme/pastel-on-dark.css +52 -0
- package/www/codemirror/theme/railscasts.css +34 -0
- package/www/codemirror/theme/rubyblue.css +25 -0
- package/www/codemirror/theme/seti.css +44 -0
- package/www/codemirror/theme/shadowfox.css +52 -0
- package/www/codemirror/theme/solarized.css +165 -0
- package/www/codemirror/theme/ssms.css +16 -0
- package/www/codemirror/theme/the-matrix.css +30 -0
- package/www/codemirror/theme/tomorrow-night-bright.css +35 -0
- package/www/codemirror/theme/tomorrow-night-eighties.css +38 -0
- package/www/codemirror/theme/ttcn.css +64 -0
- package/www/codemirror/theme/twilight.css +32 -0
- package/www/codemirror/theme/vibrant-ink.css +34 -0
- package/www/codemirror/theme/xq-dark.css +53 -0
- package/www/codemirror/theme/xq-light.css +43 -0
- package/www/codemirror/theme/yeti.css +44 -0
- package/www/codemirror/theme/yonce.css +59 -0
- package/www/codemirror/theme/zenburn.css +37 -0
- package/www/index.html +216 -0
|
@@ -0,0 +1,193 @@
|
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/5/LICENSE
|
|
3
|
+
|
|
4
|
+
//mIRC mode by Ford_Lawnmower :: Based on Velocity mode by Steve O'Hara
|
|
5
|
+
|
|
6
|
+
(function(mod) {
|
|
7
|
+
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
8
|
+
mod(require("../../lib/codemirror"));
|
|
9
|
+
else if (typeof define == "function" && define.amd) // AMD
|
|
10
|
+
define(["../../lib/codemirror"], mod);
|
|
11
|
+
else // Plain browser env
|
|
12
|
+
mod(CodeMirror);
|
|
13
|
+
})(function(CodeMirror) {
|
|
14
|
+
"use strict";
|
|
15
|
+
|
|
16
|
+
CodeMirror.defineMIME("text/mirc", "mirc");
|
|
17
|
+
CodeMirror.defineMode("mirc", function() {
|
|
18
|
+
function parseWords(str) {
|
|
19
|
+
var obj = {}, words = str.split(" ");
|
|
20
|
+
for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
|
|
21
|
+
return obj;
|
|
22
|
+
}
|
|
23
|
+
var specials = parseWords("$! $$ $& $? $+ $abook $abs $active $activecid " +
|
|
24
|
+
"$activewid $address $addtok $agent $agentname $agentstat $agentver " +
|
|
25
|
+
"$alias $and $anick $ansi2mirc $aop $appactive $appstate $asc $asctime " +
|
|
26
|
+
"$asin $atan $avoice $away $awaymsg $awaytime $banmask $base $bfind " +
|
|
27
|
+
"$binoff $biton $bnick $bvar $bytes $calc $cb $cd $ceil $chan $chanmodes " +
|
|
28
|
+
"$chantypes $chat $chr $cid $clevel $click $cmdbox $cmdline $cnick $color " +
|
|
29
|
+
"$com $comcall $comchan $comerr $compact $compress $comval $cos $count " +
|
|
30
|
+
"$cr $crc $creq $crlf $ctime $ctimer $ctrlenter $date $day $daylight " +
|
|
31
|
+
"$dbuh $dbuw $dccignore $dccport $dde $ddename $debug $decode $decompress " +
|
|
32
|
+
"$deltok $devent $dialog $did $didreg $didtok $didwm $disk $dlevel $dll " +
|
|
33
|
+
"$dllcall $dname $dns $duration $ebeeps $editbox $emailaddr $encode $error " +
|
|
34
|
+
"$eval $event $exist $feof $ferr $fgetc $file $filename $filtered $finddir " +
|
|
35
|
+
"$finddirn $findfile $findfilen $findtok $fline $floor $fopen $fread $fserve " +
|
|
36
|
+
"$fulladdress $fulldate $fullname $fullscreen $get $getdir $getdot $gettok $gmt " +
|
|
37
|
+
"$group $halted $hash $height $hfind $hget $highlight $hnick $hotline " +
|
|
38
|
+
"$hotlinepos $ial $ialchan $ibl $idle $iel $ifmatch $ignore $iif $iil " +
|
|
39
|
+
"$inelipse $ini $inmidi $inpaste $inpoly $input $inrect $inroundrect " +
|
|
40
|
+
"$insong $instok $int $inwave $ip $isalias $isbit $isdde $isdir $isfile " +
|
|
41
|
+
"$isid $islower $istok $isupper $keychar $keyrpt $keyval $knick $lactive " +
|
|
42
|
+
"$lactivecid $lactivewid $left $len $level $lf $line $lines $link $lock " +
|
|
43
|
+
"$lock $locked $log $logstamp $logstampfmt $longfn $longip $lower $ltimer " +
|
|
44
|
+
"$maddress $mask $matchkey $matchtok $md5 $me $menu $menubar $menucontext " +
|
|
45
|
+
"$menutype $mid $middir $mircdir $mircexe $mircini $mklogfn $mnick $mode " +
|
|
46
|
+
"$modefirst $modelast $modespl $mouse $msfile $network $newnick $nick $nofile " +
|
|
47
|
+
"$nopath $noqt $not $notags $notify $null $numeric $numok $oline $onpoly " +
|
|
48
|
+
"$opnick $or $ord $os $passivedcc $pic $play $pnick $port $portable $portfree " +
|
|
49
|
+
"$pos $prefix $prop $protect $puttok $qt $query $rand $r $rawmsg $read $readomo " +
|
|
50
|
+
"$readn $regex $regml $regsub $regsubex $remove $remtok $replace $replacex " +
|
|
51
|
+
"$reptok $result $rgb $right $round $scid $scon $script $scriptdir $scriptline " +
|
|
52
|
+
"$sdir $send $server $serverip $sfile $sha1 $shortfn $show $signal $sin " +
|
|
53
|
+
"$site $sline $snick $snicks $snotify $sock $sockbr $sockerr $sockname " +
|
|
54
|
+
"$sorttok $sound $sqrt $ssl $sreq $sslready $status $strip $str $stripped " +
|
|
55
|
+
"$syle $submenu $switchbar $tan $target $ticks $time $timer $timestamp " +
|
|
56
|
+
"$timestampfmt $timezone $tip $titlebar $toolbar $treebar $trust $ulevel " +
|
|
57
|
+
"$ulist $upper $uptime $url $usermode $v1 $v2 $var $vcmd $vcmdstat $vcmdver " +
|
|
58
|
+
"$version $vnick $vol $wid $width $wildsite $wildtok $window $wrap $xor");
|
|
59
|
+
var keywords = parseWords("abook ajinvite alias aline ame amsg anick aop auser autojoin avoice " +
|
|
60
|
+
"away background ban bcopy beep bread break breplace bset btrunc bunset bwrite " +
|
|
61
|
+
"channel clear clearall cline clipboard close cnick color comclose comopen " +
|
|
62
|
+
"comreg continue copy creq ctcpreply ctcps dcc dccserver dde ddeserver " +
|
|
63
|
+
"debug dec describe dialog did didtok disable disconnect dlevel dline dll " +
|
|
64
|
+
"dns dqwindow drawcopy drawdot drawfill drawline drawpic drawrect drawreplace " +
|
|
65
|
+
"drawrot drawsave drawscroll drawtext ebeeps echo editbox emailaddr enable " +
|
|
66
|
+
"events exit fclose filter findtext finger firewall flash flist flood flush " +
|
|
67
|
+
"flushini font fopen fseek fsend fserve fullname fwrite ghide gload gmove " +
|
|
68
|
+
"gopts goto gplay gpoint gqreq groups gshow gsize gstop gtalk gunload hadd " +
|
|
69
|
+
"halt haltdef hdec hdel help hfree hinc hload hmake hop hsave ial ialclear " +
|
|
70
|
+
"ialmark identd if ignore iline inc invite iuser join kick linesep links list " +
|
|
71
|
+
"load loadbuf localinfo log mdi me menubar mkdir mnick mode msg nick noop notice " +
|
|
72
|
+
"notify omsg onotice part partall pdcc perform play playctrl pop protect pvoice " +
|
|
73
|
+
"qme qmsg query queryn quit raw reload remini remote remove rename renwin " +
|
|
74
|
+
"reseterror resetidle return rlevel rline rmdir run ruser save savebuf saveini " +
|
|
75
|
+
"say scid scon server set showmirc signam sline sockaccept sockclose socklist " +
|
|
76
|
+
"socklisten sockmark sockopen sockpause sockread sockrename sockudp sockwrite " +
|
|
77
|
+
"sound speak splay sreq strip switchbar timer timestamp titlebar tnick tokenize " +
|
|
78
|
+
"toolbar topic tray treebar ulist unload unset unsetall updatenl url uwho " +
|
|
79
|
+
"var vcadd vcmd vcrem vol while whois window winhelp write writeint if isalnum " +
|
|
80
|
+
"isalpha isaop isavoice isban ischan ishop isignore isin isincs isletter islower " +
|
|
81
|
+
"isnotify isnum ison isop isprotect isreg isupper isvoice iswm iswmcs " +
|
|
82
|
+
"elseif else goto menu nicklist status title icon size option text edit " +
|
|
83
|
+
"button check radio box scroll list combo link tab item");
|
|
84
|
+
var functions = parseWords("if elseif else and not or eq ne in ni for foreach while switch");
|
|
85
|
+
var isOperatorChar = /[+\-*&%=<>!?^\/\|]/;
|
|
86
|
+
function chain(stream, state, f) {
|
|
87
|
+
state.tokenize = f;
|
|
88
|
+
return f(stream, state);
|
|
89
|
+
}
|
|
90
|
+
function tokenBase(stream, state) {
|
|
91
|
+
var beforeParams = state.beforeParams;
|
|
92
|
+
state.beforeParams = false;
|
|
93
|
+
var ch = stream.next();
|
|
94
|
+
if (/[\[\]{}\(\),\.]/.test(ch)) {
|
|
95
|
+
if (ch == "(" && beforeParams) state.inParams = true;
|
|
96
|
+
else if (ch == ")") state.inParams = false;
|
|
97
|
+
return null;
|
|
98
|
+
}
|
|
99
|
+
else if (/\d/.test(ch)) {
|
|
100
|
+
stream.eatWhile(/[\w\.]/);
|
|
101
|
+
return "number";
|
|
102
|
+
}
|
|
103
|
+
else if (ch == "\\") {
|
|
104
|
+
stream.eat("\\");
|
|
105
|
+
stream.eat(/./);
|
|
106
|
+
return "number";
|
|
107
|
+
}
|
|
108
|
+
else if (ch == "/" && stream.eat("*")) {
|
|
109
|
+
return chain(stream, state, tokenComment);
|
|
110
|
+
}
|
|
111
|
+
else if (ch == ";" && stream.match(/ *\( *\(/)) {
|
|
112
|
+
return chain(stream, state, tokenUnparsed);
|
|
113
|
+
}
|
|
114
|
+
else if (ch == ";" && !state.inParams) {
|
|
115
|
+
stream.skipToEnd();
|
|
116
|
+
return "comment";
|
|
117
|
+
}
|
|
118
|
+
else if (ch == '"') {
|
|
119
|
+
stream.eat(/"/);
|
|
120
|
+
return "keyword";
|
|
121
|
+
}
|
|
122
|
+
else if (ch == "$") {
|
|
123
|
+
stream.eatWhile(/[$_a-z0-9A-Z\.:]/);
|
|
124
|
+
if (specials && specials.propertyIsEnumerable(stream.current().toLowerCase())) {
|
|
125
|
+
return "keyword";
|
|
126
|
+
}
|
|
127
|
+
else {
|
|
128
|
+
state.beforeParams = true;
|
|
129
|
+
return "builtin";
|
|
130
|
+
}
|
|
131
|
+
}
|
|
132
|
+
else if (ch == "%") {
|
|
133
|
+
stream.eatWhile(/[^,\s()]/);
|
|
134
|
+
state.beforeParams = true;
|
|
135
|
+
return "string";
|
|
136
|
+
}
|
|
137
|
+
else if (isOperatorChar.test(ch)) {
|
|
138
|
+
stream.eatWhile(isOperatorChar);
|
|
139
|
+
return "operator";
|
|
140
|
+
}
|
|
141
|
+
else {
|
|
142
|
+
stream.eatWhile(/[\w\$_{}]/);
|
|
143
|
+
var word = stream.current().toLowerCase();
|
|
144
|
+
if (keywords && keywords.propertyIsEnumerable(word))
|
|
145
|
+
return "keyword";
|
|
146
|
+
if (functions && functions.propertyIsEnumerable(word)) {
|
|
147
|
+
state.beforeParams = true;
|
|
148
|
+
return "keyword";
|
|
149
|
+
}
|
|
150
|
+
return null;
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
function tokenComment(stream, state) {
|
|
154
|
+
var maybeEnd = false, ch;
|
|
155
|
+
while (ch = stream.next()) {
|
|
156
|
+
if (ch == "/" && maybeEnd) {
|
|
157
|
+
state.tokenize = tokenBase;
|
|
158
|
+
break;
|
|
159
|
+
}
|
|
160
|
+
maybeEnd = (ch == "*");
|
|
161
|
+
}
|
|
162
|
+
return "comment";
|
|
163
|
+
}
|
|
164
|
+
function tokenUnparsed(stream, state) {
|
|
165
|
+
var maybeEnd = 0, ch;
|
|
166
|
+
while (ch = stream.next()) {
|
|
167
|
+
if (ch == ";" && maybeEnd == 2) {
|
|
168
|
+
state.tokenize = tokenBase;
|
|
169
|
+
break;
|
|
170
|
+
}
|
|
171
|
+
if (ch == ")")
|
|
172
|
+
maybeEnd++;
|
|
173
|
+
else if (ch != " ")
|
|
174
|
+
maybeEnd = 0;
|
|
175
|
+
}
|
|
176
|
+
return "meta";
|
|
177
|
+
}
|
|
178
|
+
return {
|
|
179
|
+
startState: function() {
|
|
180
|
+
return {
|
|
181
|
+
tokenize: tokenBase,
|
|
182
|
+
beforeParams: false,
|
|
183
|
+
inParams: false
|
|
184
|
+
};
|
|
185
|
+
},
|
|
186
|
+
token: function(stream, state) {
|
|
187
|
+
if (stream.eatSpace()) return null;
|
|
188
|
+
return state.tokenize(stream, state);
|
|
189
|
+
}
|
|
190
|
+
};
|
|
191
|
+
});
|
|
192
|
+
|
|
193
|
+
});
|
|
@@ -0,0 +1,359 @@
|
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/5/LICENSE
|
|
3
|
+
|
|
4
|
+
(function(mod) {
|
|
5
|
+
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
6
|
+
mod(require("../../lib/codemirror"));
|
|
7
|
+
else if (typeof define == "function" && define.amd) // AMD
|
|
8
|
+
define(["../../lib/codemirror"], mod);
|
|
9
|
+
else // Plain browser env
|
|
10
|
+
mod(CodeMirror);
|
|
11
|
+
})(function(CodeMirror) {
|
|
12
|
+
"use strict";
|
|
13
|
+
|
|
14
|
+
CodeMirror.defineMode('mllike', function(_config, parserConfig) {
|
|
15
|
+
var words = {
|
|
16
|
+
'as': 'keyword',
|
|
17
|
+
'do': 'keyword',
|
|
18
|
+
'else': 'keyword',
|
|
19
|
+
'end': 'keyword',
|
|
20
|
+
'exception': 'keyword',
|
|
21
|
+
'fun': 'keyword',
|
|
22
|
+
'functor': 'keyword',
|
|
23
|
+
'if': 'keyword',
|
|
24
|
+
'in': 'keyword',
|
|
25
|
+
'include': 'keyword',
|
|
26
|
+
'let': 'keyword',
|
|
27
|
+
'of': 'keyword',
|
|
28
|
+
'open': 'keyword',
|
|
29
|
+
'rec': 'keyword',
|
|
30
|
+
'struct': 'keyword',
|
|
31
|
+
'then': 'keyword',
|
|
32
|
+
'type': 'keyword',
|
|
33
|
+
'val': 'keyword',
|
|
34
|
+
'while': 'keyword',
|
|
35
|
+
'with': 'keyword'
|
|
36
|
+
};
|
|
37
|
+
|
|
38
|
+
var extraWords = parserConfig.extraWords || {};
|
|
39
|
+
for (var prop in extraWords) {
|
|
40
|
+
if (extraWords.hasOwnProperty(prop)) {
|
|
41
|
+
words[prop] = parserConfig.extraWords[prop];
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
var hintWords = [];
|
|
45
|
+
for (var k in words) { hintWords.push(k); }
|
|
46
|
+
CodeMirror.registerHelper("hintWords", "mllike", hintWords);
|
|
47
|
+
|
|
48
|
+
function tokenBase(stream, state) {
|
|
49
|
+
var ch = stream.next();
|
|
50
|
+
|
|
51
|
+
if (ch === '"') {
|
|
52
|
+
state.tokenize = tokenString;
|
|
53
|
+
return state.tokenize(stream, state);
|
|
54
|
+
}
|
|
55
|
+
if (ch === '{') {
|
|
56
|
+
if (stream.eat('|')) {
|
|
57
|
+
state.longString = true;
|
|
58
|
+
state.tokenize = tokenLongString;
|
|
59
|
+
return state.tokenize(stream, state);
|
|
60
|
+
}
|
|
61
|
+
}
|
|
62
|
+
if (ch === '(') {
|
|
63
|
+
if (stream.match(/^\*(?!\))/)) {
|
|
64
|
+
state.commentLevel++;
|
|
65
|
+
state.tokenize = tokenComment;
|
|
66
|
+
return state.tokenize(stream, state);
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
if (ch === '~' || ch === '?') {
|
|
70
|
+
stream.eatWhile(/\w/);
|
|
71
|
+
return 'variable-2';
|
|
72
|
+
}
|
|
73
|
+
if (ch === '`') {
|
|
74
|
+
stream.eatWhile(/\w/);
|
|
75
|
+
return 'quote';
|
|
76
|
+
}
|
|
77
|
+
if (ch === '/' && parserConfig.slashComments && stream.eat('/')) {
|
|
78
|
+
stream.skipToEnd();
|
|
79
|
+
return 'comment';
|
|
80
|
+
}
|
|
81
|
+
if (/\d/.test(ch)) {
|
|
82
|
+
if (ch === '0' && stream.eat(/[bB]/)) {
|
|
83
|
+
stream.eatWhile(/[01]/);
|
|
84
|
+
} if (ch === '0' && stream.eat(/[xX]/)) {
|
|
85
|
+
stream.eatWhile(/[0-9a-fA-F]/)
|
|
86
|
+
} if (ch === '0' && stream.eat(/[oO]/)) {
|
|
87
|
+
stream.eatWhile(/[0-7]/);
|
|
88
|
+
} else {
|
|
89
|
+
stream.eatWhile(/[\d_]/);
|
|
90
|
+
if (stream.eat('.')) {
|
|
91
|
+
stream.eatWhile(/[\d]/);
|
|
92
|
+
}
|
|
93
|
+
if (stream.eat(/[eE]/)) {
|
|
94
|
+
stream.eatWhile(/[\d\-+]/);
|
|
95
|
+
}
|
|
96
|
+
}
|
|
97
|
+
return 'number';
|
|
98
|
+
}
|
|
99
|
+
if ( /[+\-*&%=<>!?|@\.~:]/.test(ch)) {
|
|
100
|
+
return 'operator';
|
|
101
|
+
}
|
|
102
|
+
if (/[\w\xa1-\uffff]/.test(ch)) {
|
|
103
|
+
stream.eatWhile(/[\w\xa1-\uffff]/);
|
|
104
|
+
var cur = stream.current();
|
|
105
|
+
return words.hasOwnProperty(cur) ? words[cur] : 'variable';
|
|
106
|
+
}
|
|
107
|
+
return null
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
function tokenString(stream, state) {
|
|
111
|
+
var next, end = false, escaped = false;
|
|
112
|
+
while ((next = stream.next()) != null) {
|
|
113
|
+
if (next === '"' && !escaped) {
|
|
114
|
+
end = true;
|
|
115
|
+
break;
|
|
116
|
+
}
|
|
117
|
+
escaped = !escaped && next === '\\';
|
|
118
|
+
}
|
|
119
|
+
if (end && !escaped) {
|
|
120
|
+
state.tokenize = tokenBase;
|
|
121
|
+
}
|
|
122
|
+
return 'string';
|
|
123
|
+
};
|
|
124
|
+
|
|
125
|
+
function tokenComment(stream, state) {
|
|
126
|
+
var prev, next;
|
|
127
|
+
while(state.commentLevel > 0 && (next = stream.next()) != null) {
|
|
128
|
+
if (prev === '(' && next === '*') state.commentLevel++;
|
|
129
|
+
if (prev === '*' && next === ')') state.commentLevel--;
|
|
130
|
+
prev = next;
|
|
131
|
+
}
|
|
132
|
+
if (state.commentLevel <= 0) {
|
|
133
|
+
state.tokenize = tokenBase;
|
|
134
|
+
}
|
|
135
|
+
return 'comment';
|
|
136
|
+
}
|
|
137
|
+
|
|
138
|
+
function tokenLongString(stream, state) {
|
|
139
|
+
var prev, next;
|
|
140
|
+
while (state.longString && (next = stream.next()) != null) {
|
|
141
|
+
if (prev === '|' && next === '}') state.longString = false;
|
|
142
|
+
prev = next;
|
|
143
|
+
}
|
|
144
|
+
if (!state.longString) {
|
|
145
|
+
state.tokenize = tokenBase;
|
|
146
|
+
}
|
|
147
|
+
return 'string';
|
|
148
|
+
}
|
|
149
|
+
|
|
150
|
+
return {
|
|
151
|
+
startState: function() {return {tokenize: tokenBase, commentLevel: 0, longString: false};},
|
|
152
|
+
token: function(stream, state) {
|
|
153
|
+
if (stream.eatSpace()) return null;
|
|
154
|
+
return state.tokenize(stream, state);
|
|
155
|
+
},
|
|
156
|
+
|
|
157
|
+
blockCommentStart: "(*",
|
|
158
|
+
blockCommentEnd: "*)",
|
|
159
|
+
lineComment: parserConfig.slashComments ? "//" : null
|
|
160
|
+
};
|
|
161
|
+
});
|
|
162
|
+
|
|
163
|
+
CodeMirror.defineMIME('text/x-ocaml', {
|
|
164
|
+
name: 'mllike',
|
|
165
|
+
extraWords: {
|
|
166
|
+
'and': 'keyword',
|
|
167
|
+
'assert': 'keyword',
|
|
168
|
+
'begin': 'keyword',
|
|
169
|
+
'class': 'keyword',
|
|
170
|
+
'constraint': 'keyword',
|
|
171
|
+
'done': 'keyword',
|
|
172
|
+
'downto': 'keyword',
|
|
173
|
+
'external': 'keyword',
|
|
174
|
+
'function': 'keyword',
|
|
175
|
+
'initializer': 'keyword',
|
|
176
|
+
'lazy': 'keyword',
|
|
177
|
+
'match': 'keyword',
|
|
178
|
+
'method': 'keyword',
|
|
179
|
+
'module': 'keyword',
|
|
180
|
+
'mutable': 'keyword',
|
|
181
|
+
'new': 'keyword',
|
|
182
|
+
'nonrec': 'keyword',
|
|
183
|
+
'object': 'keyword',
|
|
184
|
+
'private': 'keyword',
|
|
185
|
+
'sig': 'keyword',
|
|
186
|
+
'to': 'keyword',
|
|
187
|
+
'try': 'keyword',
|
|
188
|
+
'value': 'keyword',
|
|
189
|
+
'virtual': 'keyword',
|
|
190
|
+
'when': 'keyword',
|
|
191
|
+
|
|
192
|
+
// builtins
|
|
193
|
+
'raise': 'builtin',
|
|
194
|
+
'failwith': 'builtin',
|
|
195
|
+
'true': 'builtin',
|
|
196
|
+
'false': 'builtin',
|
|
197
|
+
|
|
198
|
+
// Pervasives builtins
|
|
199
|
+
'asr': 'builtin',
|
|
200
|
+
'land': 'builtin',
|
|
201
|
+
'lor': 'builtin',
|
|
202
|
+
'lsl': 'builtin',
|
|
203
|
+
'lsr': 'builtin',
|
|
204
|
+
'lxor': 'builtin',
|
|
205
|
+
'mod': 'builtin',
|
|
206
|
+
'or': 'builtin',
|
|
207
|
+
|
|
208
|
+
// More Pervasives
|
|
209
|
+
'raise_notrace': 'builtin',
|
|
210
|
+
'trace': 'builtin',
|
|
211
|
+
'exit': 'builtin',
|
|
212
|
+
'print_string': 'builtin',
|
|
213
|
+
'print_endline': 'builtin',
|
|
214
|
+
|
|
215
|
+
'int': 'type',
|
|
216
|
+
'float': 'type',
|
|
217
|
+
'bool': 'type',
|
|
218
|
+
'char': 'type',
|
|
219
|
+
'string': 'type',
|
|
220
|
+
'unit': 'type',
|
|
221
|
+
|
|
222
|
+
// Modules
|
|
223
|
+
'List': 'builtin'
|
|
224
|
+
}
|
|
225
|
+
});
|
|
226
|
+
|
|
227
|
+
CodeMirror.defineMIME('text/x-fsharp', {
|
|
228
|
+
name: 'mllike',
|
|
229
|
+
extraWords: {
|
|
230
|
+
'abstract': 'keyword',
|
|
231
|
+
'assert': 'keyword',
|
|
232
|
+
'base': 'keyword',
|
|
233
|
+
'begin': 'keyword',
|
|
234
|
+
'class': 'keyword',
|
|
235
|
+
'default': 'keyword',
|
|
236
|
+
'delegate': 'keyword',
|
|
237
|
+
'do!': 'keyword',
|
|
238
|
+
'done': 'keyword',
|
|
239
|
+
'downcast': 'keyword',
|
|
240
|
+
'downto': 'keyword',
|
|
241
|
+
'elif': 'keyword',
|
|
242
|
+
'extern': 'keyword',
|
|
243
|
+
'finally': 'keyword',
|
|
244
|
+
'for': 'keyword',
|
|
245
|
+
'function': 'keyword',
|
|
246
|
+
'global': 'keyword',
|
|
247
|
+
'inherit': 'keyword',
|
|
248
|
+
'inline': 'keyword',
|
|
249
|
+
'interface': 'keyword',
|
|
250
|
+
'internal': 'keyword',
|
|
251
|
+
'lazy': 'keyword',
|
|
252
|
+
'let!': 'keyword',
|
|
253
|
+
'match': 'keyword',
|
|
254
|
+
'member': 'keyword',
|
|
255
|
+
'module': 'keyword',
|
|
256
|
+
'mutable': 'keyword',
|
|
257
|
+
'namespace': 'keyword',
|
|
258
|
+
'new': 'keyword',
|
|
259
|
+
'null': 'keyword',
|
|
260
|
+
'override': 'keyword',
|
|
261
|
+
'private': 'keyword',
|
|
262
|
+
'public': 'keyword',
|
|
263
|
+
'return!': 'keyword',
|
|
264
|
+
'return': 'keyword',
|
|
265
|
+
'select': 'keyword',
|
|
266
|
+
'static': 'keyword',
|
|
267
|
+
'to': 'keyword',
|
|
268
|
+
'try': 'keyword',
|
|
269
|
+
'upcast': 'keyword',
|
|
270
|
+
'use!': 'keyword',
|
|
271
|
+
'use': 'keyword',
|
|
272
|
+
'void': 'keyword',
|
|
273
|
+
'when': 'keyword',
|
|
274
|
+
'yield!': 'keyword',
|
|
275
|
+
'yield': 'keyword',
|
|
276
|
+
|
|
277
|
+
// Reserved words
|
|
278
|
+
'atomic': 'keyword',
|
|
279
|
+
'break': 'keyword',
|
|
280
|
+
'checked': 'keyword',
|
|
281
|
+
'component': 'keyword',
|
|
282
|
+
'const': 'keyword',
|
|
283
|
+
'constraint': 'keyword',
|
|
284
|
+
'constructor': 'keyword',
|
|
285
|
+
'continue': 'keyword',
|
|
286
|
+
'eager': 'keyword',
|
|
287
|
+
'event': 'keyword',
|
|
288
|
+
'external': 'keyword',
|
|
289
|
+
'fixed': 'keyword',
|
|
290
|
+
'method': 'keyword',
|
|
291
|
+
'mixin': 'keyword',
|
|
292
|
+
'object': 'keyword',
|
|
293
|
+
'parallel': 'keyword',
|
|
294
|
+
'process': 'keyword',
|
|
295
|
+
'protected': 'keyword',
|
|
296
|
+
'pure': 'keyword',
|
|
297
|
+
'sealed': 'keyword',
|
|
298
|
+
'tailcall': 'keyword',
|
|
299
|
+
'trait': 'keyword',
|
|
300
|
+
'virtual': 'keyword',
|
|
301
|
+
'volatile': 'keyword',
|
|
302
|
+
|
|
303
|
+
// builtins
|
|
304
|
+
'List': 'builtin',
|
|
305
|
+
'Seq': 'builtin',
|
|
306
|
+
'Map': 'builtin',
|
|
307
|
+
'Set': 'builtin',
|
|
308
|
+
'Option': 'builtin',
|
|
309
|
+
'int': 'builtin',
|
|
310
|
+
'string': 'builtin',
|
|
311
|
+
'not': 'builtin',
|
|
312
|
+
'true': 'builtin',
|
|
313
|
+
'false': 'builtin',
|
|
314
|
+
|
|
315
|
+
'raise': 'builtin',
|
|
316
|
+
'failwith': 'builtin'
|
|
317
|
+
},
|
|
318
|
+
slashComments: true
|
|
319
|
+
});
|
|
320
|
+
|
|
321
|
+
|
|
322
|
+
CodeMirror.defineMIME('text/x-sml', {
|
|
323
|
+
name: 'mllike',
|
|
324
|
+
extraWords: {
|
|
325
|
+
'abstype': 'keyword',
|
|
326
|
+
'and': 'keyword',
|
|
327
|
+
'andalso': 'keyword',
|
|
328
|
+
'case': 'keyword',
|
|
329
|
+
'datatype': 'keyword',
|
|
330
|
+
'fn': 'keyword',
|
|
331
|
+
'handle': 'keyword',
|
|
332
|
+
'infix': 'keyword',
|
|
333
|
+
'infixr': 'keyword',
|
|
334
|
+
'local': 'keyword',
|
|
335
|
+
'nonfix': 'keyword',
|
|
336
|
+
'op': 'keyword',
|
|
337
|
+
'orelse': 'keyword',
|
|
338
|
+
'raise': 'keyword',
|
|
339
|
+
'withtype': 'keyword',
|
|
340
|
+
'eqtype': 'keyword',
|
|
341
|
+
'sharing': 'keyword',
|
|
342
|
+
'sig': 'keyword',
|
|
343
|
+
'signature': 'keyword',
|
|
344
|
+
'structure': 'keyword',
|
|
345
|
+
'where': 'keyword',
|
|
346
|
+
'true': 'keyword',
|
|
347
|
+
'false': 'keyword',
|
|
348
|
+
|
|
349
|
+
// types
|
|
350
|
+
'int': 'builtin',
|
|
351
|
+
'real': 'builtin',
|
|
352
|
+
'string': 'builtin',
|
|
353
|
+
'char': 'builtin',
|
|
354
|
+
'bool': 'builtin'
|
|
355
|
+
},
|
|
356
|
+
slashComments: true
|
|
357
|
+
});
|
|
358
|
+
|
|
359
|
+
});
|