@oslokommune/punkt-react 11.18.0 → 11.19.0
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/CHANGELOG.md +24 -0
- package/dist/index.d.ts +621 -0
- package/dist/punkt-react.es.js +11897 -37
- package/dist/punkt-react.umd.js +82 -85
- package/package.json +2 -2
- package/src/components/inputwrapper/InputWrapper.tsx +13 -1
- package/src/components/preview/Preview.tsx +1 -1
- package/src/components/searchinput/SearchInput.test.tsx +17 -4
- package/src/components/searchinput/SearchInput.tsx +39 -20
- package/src/components/select/Select.tsx +1 -1
- package/src/components/textarea/Textarea.tsx +5 -7
- package/src/components/textinput/Textinput.tsx +35 -9
- package/dist/abap-08667679.js +0 -85
- package/dist/abnf-6d3c70eb.js +0 -88
- package/dist/actionscript-f525636a.js +0 -44
- package/dist/ada-215714e4.js +0 -53
- package/dist/agda-c69fa2d6.js +0 -57
- package/dist/al-068d550c.js +0 -57
- package/dist/antlr4-16dd29cd.js +0 -97
- package/dist/apacheconf-e5f57638.js +0 -81
- package/dist/apex-4682f19d.js +0 -105
- package/dist/apl-0f35fd2e.js +0 -66
- package/dist/applescript-5028f661.js +0 -51
- package/dist/aql-03953d78.js +0 -83
- package/dist/arduino-032ba3ba.js +0 -42
- package/dist/arff-ff7332f2.js +0 -44
- package/dist/asciidoc-d540336b.js +0 -241
- package/dist/asm6502-33349486.js +0 -63
- package/dist/asmatmel-0edb51e4.js +0 -75
- package/dist/aspnet-4cc79b6f.js +0 -84
- package/dist/autohotkey-12b6b6d2.js +0 -65
- package/dist/autoit-e8600cad.js +0 -68
- package/dist/avisynth-4190a36d.js +0 -196
- package/dist/avro-idl-ab85f2ae.js +0 -75
- package/dist/bash-0c86f65c.js +0 -26
- package/dist/bash-23ecd1ce.js +0 -224
- package/dist/basic-4075c442.js +0 -29
- package/dist/basic-626cb9ac.js +0 -26
- package/dist/batch-b18232ac.js +0 -126
- package/dist/bbcode-b271cf8f.js +0 -61
- package/dist/bicep-4ae930c7.js +0 -103
- package/dist/birb-2b116248.js +0 -54
- package/dist/bison-4fd0865b.js +0 -74
- package/dist/bnf-86787581.js +0 -53
- package/dist/brainfuck-9371a85c.js +0 -54
- package/dist/brightscript-2df1e2b7.js +0 -77
- package/dist/bro-04547de4.js +0 -61
- package/dist/bsl-c9567e6d.js +0 -102
- package/dist/c-a0a33b69.js +0 -26
- package/dist/c-cbb9ff20.js +0 -84
- package/dist/cfscript-f5af1abe.js +0 -72
- package/dist/chaiscript-6042477c.js +0 -90
- package/dist/cil-14af5bb2.js +0 -53
- package/dist/clike-47451d77.js +0 -61
- package/dist/clojure-26386fed.js +0 -64
- package/dist/cmake-4841f8df.js +0 -63
- package/dist/cobol-0ae04d1a.js +0 -83
- package/dist/coffeescript-b26e7337.js +0 -111
- package/dist/concurnas-406f0c2e.js +0 -91
- package/dist/coq-e37f31ad.js +0 -82
- package/dist/core-dd47e39c.js +0 -1712
- package/dist/cpp-a3e3265e.js +0 -26
- package/dist/cpp-fdbd3e19.js +0 -116
- package/dist/crystal-3725beb8.js +0 -88
- package/dist/csharp-c5867cee.js +0 -389
- package/dist/csharp-fd30fe69.js +0 -26
- package/dist/cshtml-936e1325.js +0 -135
- package/dist/csp-fae2ca54.js +0 -91
- package/dist/css-d90be61e.js +0 -90
- package/dist/css-extras-9b627513.js +0 -140
- package/dist/csv-682ac47e.js +0 -38
- package/dist/cypher-fef237f2.js +0 -66
- package/dist/d-f8f06a3f.js +0 -110
- package/dist/dart-8664904d.js +0 -102
- package/dist/dataweave-eb16c70d.js +0 -74
- package/dist/dax-07b8f02a.js +0 -61
- package/dist/dhall-4d61581d.js +0 -96
- package/dist/diff-93cccc44.js +0 -79
- package/dist/django-dafd121f.js +0 -82
- package/dist/dns-zone-file-457d76ab.js +0 -65
- package/dist/docker-332b4413.js +0 -128
- package/dist/dot-494538e3.js +0 -103
- package/dist/ebnf-7c62b313.js +0 -54
- package/dist/editorconfig-9e9fdbbb.js +0 -61
- package/dist/eiffel-3f003827.js +0 -68
- package/dist/ejs-d02cb880.js +0 -59
- package/dist/elixir-d8c10ca1.js +0 -130
- package/dist/elm-c45d03a2.js +0 -79
- package/dist/erb-d88dd943.js +0 -61
- package/dist/erlang-3ee55e82.js +0 -77
- package/dist/etlua-eabd322c.js +0 -59
- package/dist/excel-formula-e41c3440.js +0 -96
- package/dist/factor-a371850c.js +0 -950
- package/dist/false-c46d7a43.js +0 -61
- package/dist/firestore-security-rules-757e2622.js +0 -68
- package/dist/flow-5b8d8ca8.js +0 -58
- package/dist/fortran-ff490a7d.js +0 -74
- package/dist/fsharp-2bc3ee45.js +0 -106
- package/dist/ftl-94d2ce32.js +0 -147
- package/dist/gap-8fd17087.js +0 -79
- package/dist/gcode-6341cadd.js +0 -50
- package/dist/gdscript-3fc25390.js +0 -61
- package/dist/gedcom-a341ec5c.js +0 -62
- package/dist/gherkin-9882c4e4.js +0 -116
- package/dist/git-4a80b321.js +0 -97
- package/dist/glsl-ad5d9118.js +0 -40
- package/dist/gml-7eba9cac.js +0 -41
- package/dist/gn-cbec75da.js +0 -77
- package/dist/go-766bfa1b.js +0 -58
- package/dist/go-module-b8774bf4.js +0 -56
- package/dist/graphql-cb8e2feb.js +0 -155
- package/dist/groovy-ebb15fa5.js +0 -83
- package/dist/haml-65978a94.js +0 -173
- package/dist/handlebars-50594839.js +0 -75
- package/dist/haskell-5775a4fe.js +0 -76
- package/dist/haskell-ab4dc776.js +0 -26
- package/dist/haxe-a4bca023.js +0 -106
- package/dist/hcl-441db672.js +0 -94
- package/dist/hlsl-b07ea1bc.js +0 -56
- package/dist/hoon-23e6c66a.js +0 -48
- package/dist/hpkp-e1840f06.js +0 -42
- package/dist/hsts-8a89a980.js +0 -42
- package/dist/http-7e943d63.js +0 -156
- package/dist/ichigojam-214442c6.js +0 -47
- package/dist/icon-b738b958.js +0 -54
- package/dist/icu-message-format-3b576cc2.js +0 -166
- package/dist/idris-1241db85.js +0 -52
- package/dist/iecst-cf187dc3.js +0 -66
- package/dist/ignore-7683e871.js +0 -52
- package/dist/index-9498f0f6.js +0 -12038
- package/dist/inform7-d15dedca.js +0 -91
- package/dist/ini-9821d403.js +0 -74
- package/dist/io-b45ab04a.js +0 -56
- package/dist/j-4337c2a6.js +0 -62
- package/dist/java-5aa325c9.js +0 -99
- package/dist/java-d89b83f0.js +0 -26
- package/dist/javadoc-898a0fe7.js +0 -119
- package/dist/javadoclike-482a7933.js +0 -60
- package/dist/javadoclike-6eb534c0.js +0 -26
- package/dist/javascript-aa1ea2e4.js +0 -152
- package/dist/javastacktrace-2384fbf2.js +0 -168
- package/dist/jexl-d1cd7ce2.js +0 -48
- package/dist/jolie-b17dc1cc.js +0 -73
- package/dist/jq-56125568.js +0 -101
- package/dist/js-extras-e970942a.js +0 -151
- package/dist/js-templates-f1fbe219.js +0 -198
- package/dist/jsdoc-a20aee51.js +0 -117
- package/dist/json-043ad957.js +0 -36
- package/dist/json-e6539464.js +0 -26
- package/dist/json5-6f122ab8.js +0 -57
- package/dist/jsonp-8b120bc6.js +0 -42
- package/dist/jsstacktrace-f50f8195.js +0 -75
- package/dist/julia-bd96633d.js +0 -69
- package/dist/keepalived-3187f82b.js +0 -82
- package/dist/keyman-b00bc67c.js +0 -77
- package/dist/kotlin-b21aa502.js +0 -109
- package/dist/kumir-0f94715b.js +0 -121
- package/dist/kusto-eff9af15.js +0 -72
- package/dist/latex-e80101de.js +0 -93
- package/dist/latte-a0b8d749.js +0 -102
- package/dist/less-281aa842.js +0 -76
- package/dist/lilypond-cbe2732f.js +0 -105
- package/dist/liquid-27a4e206.js +0 -98
- package/dist/lisp-9e822c78.js +0 -195
- package/dist/livescript-1ce019c1.js +0 -151
- package/dist/llvm-62365d93.js +0 -53
- package/dist/log-24dbab68.js +0 -134
- package/dist/lolcode-8eea8d4f.js +0 -82
- package/dist/lua-ce0e9c68.js +0 -32
- package/dist/lua-f292f69e.js +0 -26
- package/dist/magma-2aa5bc17.js +0 -64
- package/dist/makefile-489ca1ff.js +0 -64
- package/dist/markdown-bc9a3a54.js +0 -356
- package/dist/markup-3c2f908d.js +0 -194
- package/dist/markup-templating-1fc7ac82.js +0 -26
- package/dist/markup-templating-49c15a5f.js +0 -79
- package/dist/matlab-4616d7b3.js +0 -47
- package/dist/maxscript-e2f8ee8a.js +0 -98
- package/dist/mel-83fdb27c.js +0 -75
- package/dist/mermaid-5e3f14a4.js +0 -138
- package/dist/mizar-2c2d2e7d.js +0 -46
- package/dist/mongodb-c1d981a3.js +0 -322
- package/dist/monkey-cb9626ba.js +0 -62
- package/dist/moonscript-77dbeb23.js +0 -88
- package/dist/n1ql-6c813888.js +0 -56
- package/dist/n4js-6eb361a2.js +0 -44
- package/dist/nand2tetris-hdl-1d499a90.js +0 -43
- package/dist/naniscript-63d40cf7.js +0 -166
- package/dist/nasm-661b5e51.js +0 -58
- package/dist/neon-283a3402.js +0 -74
- package/dist/nevod-67f107ce.js +0 -159
- package/dist/nginx-88a0a312.js +0 -83
- package/dist/nim-40a62fa2.js +0 -76
- package/dist/nix-507f5be0.js +0 -70
- package/dist/nsis-d9f039bf.js +0 -59
- package/dist/objectivec-3055d7b5.js +0 -45
- package/dist/ocaml-c01e830a.js +0 -89
- package/dist/opencl-3bfb6002.js +0 -84
- package/dist/openqasm-20ccdae6.js +0 -51
- package/dist/oz-5e382b48.js +0 -62
- package/dist/packages/react/src/components/accordion/Accordion.d.ts +0 -15
- package/dist/packages/react/src/components/accordion/Accordion.test.d.ts +0 -1
- package/dist/packages/react/src/components/accordion/AccordionItem.d.ts +0 -21
- package/dist/packages/react/src/components/alert/Alert.d.ts +0 -12
- package/dist/packages/react/src/components/alert/Alert.test.d.ts +0 -1
- package/dist/packages/react/src/components/backlink/BackLink.d.ts +0 -8
- package/dist/packages/react/src/components/backlink/BackLink.test.d.ts +0 -1
- package/dist/packages/react/src/components/breadcrumbs/Breadcrumbs.d.ts +0 -12
- package/dist/packages/react/src/components/breadcrumbs/Breadcrumbs.test.d.ts +0 -1
- package/dist/packages/react/src/components/button/Button.d.ts +0 -16
- package/dist/packages/react/src/components/button/Button.test.d.ts +0 -1
- package/dist/packages/react/src/components/checkbox/Checkbox.d.ts +0 -16
- package/dist/packages/react/src/components/checkbox/Checkbox.test.d.ts +0 -1
- package/dist/packages/react/src/components/footer/Footer.d.ts +0 -28
- package/dist/packages/react/src/components/footer/Footer.test.d.ts +0 -1
- package/dist/packages/react/src/components/footerSimple/FooterSimple.d.ts +0 -13
- package/dist/packages/react/src/components/footerSimple/FooterSimple.test.d.ts +0 -1
- package/dist/packages/react/src/components/header/Header.d.ts +0 -40
- package/dist/packages/react/src/components/header/Header.test.d.ts +0 -1
- package/dist/packages/react/src/components/icon/DefaultIconFetcher.d.ts +0 -5
- package/dist/packages/react/src/components/icon/Icon.d.ts +0 -8
- package/dist/packages/react/src/components/icon/Icon.test.d.ts +0 -1
- package/dist/packages/react/src/components/icon/IconContext.d.ts +0 -5
- package/dist/packages/react/src/components/index.d.ts +0 -34
- package/dist/packages/react/src/components/input/Input.d.ts +0 -22
- package/dist/packages/react/src/components/inputwrapper/InputWrapper.d.ts +0 -23
- package/dist/packages/react/src/components/linkcard/LinkCard.d.ts +0 -11
- package/dist/packages/react/src/components/linkcard/LinkCard.test.d.ts +0 -1
- package/dist/packages/react/src/components/loader/Loader.d.ts +0 -27
- package/dist/packages/react/src/components/loader/Loader.test.d.ts +0 -1
- package/dist/packages/react/src/components/messagebox/Messagebox.d.ts +0 -10
- package/dist/packages/react/src/components/preview/Preview.d.ts +0 -10
- package/dist/packages/react/src/components/preview/PreviewSpecs.d.ts +0 -24
- package/dist/packages/react/src/components/progressbar/Progressbar.d.ts +0 -20
- package/dist/packages/react/src/components/progressbar/Progressbar.test.d.ts +0 -1
- package/dist/packages/react/src/components/radio/RadioButton.d.ts +0 -13
- package/dist/packages/react/src/components/radio/RadioButton.test.d.ts +0 -1
- package/dist/packages/react/src/components/searchinput/SearchInput.d.ts +0 -25
- package/dist/packages/react/src/components/searchinput/SearchInput.test.d.ts +0 -1
- package/dist/packages/react/src/components/select/Select.d.ts +0 -23
- package/dist/packages/react/src/components/select/Select.test.d.ts +0 -1
- package/dist/packages/react/src/components/stepper/Step.d.ts +0 -21
- package/dist/packages/react/src/components/stepper/Stepper.d.ts +0 -28
- package/dist/packages/react/src/components/stepper/Stepper.test.d.ts +0 -1
- package/dist/packages/react/src/components/table/Table.d.ts +0 -11
- package/dist/packages/react/src/components/table/Table.test.d.ts +0 -1
- package/dist/packages/react/src/components/table/TableBody.d.ts +0 -7
- package/dist/packages/react/src/components/table/TableData.d.ts +0 -6
- package/dist/packages/react/src/components/table/TableDataCell.d.ts +0 -8
- package/dist/packages/react/src/components/table/TableHeader.d.ts +0 -7
- package/dist/packages/react/src/components/table/TableHeaderCell.d.ts +0 -7
- package/dist/packages/react/src/components/table/TableRow.d.ts +0 -7
- package/dist/packages/react/src/components/tabs/Tabs.d.ts +0 -21
- package/dist/packages/react/src/components/tabs/Tabs.test.d.ts +0 -1
- package/dist/packages/react/src/components/tag/Tag.d.ts +0 -11
- package/dist/packages/react/src/components/tag/Tag.test.d.ts +0 -1
- package/dist/packages/react/src/components/textarea/Textarea.d.ts +0 -27
- package/dist/packages/react/src/components/textarea/Textarea.test.d.ts +0 -1
- package/dist/packages/react/src/components/textinput/Textinput.d.ts +0 -31
- package/dist/packages/react/src/components/textinput/Textinput.test.d.ts +0 -1
- package/dist/packages/react/src/index.d.ts +0 -1
- package/dist/parigp-a06dcf26.js +0 -82
- package/dist/parser-6f847eeb.js +0 -107
- package/dist/pascal-a9950fcd.js +0 -96
- package/dist/pascaligo-7545667e.js +0 -116
- package/dist/pcaxis-eea3e687.js +0 -85
- package/dist/peoplecode-8a846e28.js +0 -75
- package/dist/perl-2f3056d2.js +0 -165
- package/dist/php-9a4fecc1.js +0 -335
- package/dist/php-e9145741.js +0 -26
- package/dist/php-extras-0cec569c.js +0 -51
- package/dist/phpdoc-a1a632ca.js +0 -62
- package/dist/plsql-8e48519b.js +0 -52
- package/dist/powerquery-f4fe231c.js +0 -84
- package/dist/powershell-8e07307b.js +0 -89
- package/dist/processing-7a489ca7.js +0 -47
- package/dist/prolog-d2588af5.js +0 -53
- package/dist/promql-6547548d.js +0 -121
- package/dist/properties-6a8174f2.js +0 -43
- package/dist/protobuf-f03d60b4.js +0 -72
- package/dist/psl-1e0c235a.js +0 -69
- package/dist/pug-f3c562dd.js +0 -213
- package/dist/puppet-396c5218.js +0 -168
- package/dist/pure-9cf5d182.js +0 -112
- package/dist/purebasic-02478411.js +0 -88
- package/dist/purescript-cf2309c0.js +0 -63
- package/dist/python-9c9fa97e.js +0 -95
- package/dist/q-21818334.js +0 -84
- package/dist/qml-709fe996.js +0 -104
- package/dist/qore-7709538c.js +0 -54
- package/dist/qsharp-5024098d.js +0 -129
- package/dist/r-d6abce22.js +0 -56
- package/dist/racket-8c099996.js +0 -51
- package/dist/reason-0a29b7da.js +0 -55
- package/dist/regex-196038d7.js +0 -125
- package/dist/rego-59c8a55e.js +0 -59
- package/dist/renpy-da4a363f.js +0 -52
- package/dist/rest-2027cfb4.js +0 -232
- package/dist/rip-a2a00c6a.js +0 -63
- package/dist/roboconf-d99f3c6f.js +0 -61
- package/dist/robotframework-a30c7990.js +0 -123
- package/dist/ruby-90470291.js +0 -183
- package/dist/ruby-f1beefd0.js +0 -26
- package/dist/rust-a7f43c08.js +0 -150
- package/dist/sas-fdd3825d.js +0 -363
- package/dist/sass-8f15af17.js +0 -97
- package/dist/scala-44394d36.js +0 -81
- package/dist/scheme-61aeb1f5.js +0 -123
- package/dist/scheme-93208ff6.js +0 -26
- package/dist/scss-8dd3f77c.js +0 -107
- package/dist/shell-session-af35560f.js +0 -94
- package/dist/smali-2e8bacd2.js +0 -113
- package/dist/smalltalk-da988816.js +0 -72
- package/dist/smarty-4e93cd0d.js +0 -148
- package/dist/sml-20b50201.js +0 -92
- package/dist/solidity-743bfbd1.js +0 -50
- package/dist/solution-file-81ce476c.js +0 -80
- package/dist/soy-715e3d54.js +0 -113
- package/dist/sparql-9d917cd9.js +0 -50
- package/dist/splunk-spl-4999846e.js +0 -58
- package/dist/sqf-340b5c08.js +0 -64
- package/dist/sql-1e928866.js +0 -45
- package/dist/sql-65ac332a.js +0 -26
- package/dist/squirrel-d0bc8028.js +0 -75
- package/dist/stan-2fc57db1.js +0 -87
- package/dist/stylus-576c2c9e.js +0 -166
- package/dist/swift-9b87d61f.js +0 -153
- package/dist/systemd-21fb5c01.js +0 -89
- package/dist/t4-cs-57181735.js +0 -39
- package/dist/t4-templating-5038f5dd.js +0 -26
- package/dist/t4-templating-60958242.js +0 -57
- package/dist/t4-vb-c6890d9d.js +0 -39
- package/dist/tap-0014ba37.js +0 -57
- package/dist/tcl-5931e442.js +0 -80
- package/dist/textile-979f8c72.js +0 -290
- package/dist/toml-c8c14d54.js +0 -87
- package/dist/tremor-3f5ce8c9.js +0 -91
- package/dist/tsx-fa286598.js +0 -46
- package/dist/tt2-d4c7a9bc.js +0 -79
- package/dist/turtle-1ded5458.js +0 -26
- package/dist/turtle-6f0b789b.js +0 -62
- package/dist/twig-ecfd776b.js +0 -73
- package/dist/typescript-16e0b0d0.js +0 -26
- package/dist/typescript-4ee6a303.js +0 -57
- package/dist/typoscript-6f1852b6.js +0 -110
- package/dist/unrealscript-3b076e87.js +0 -72
- package/dist/uorazor-45491673.js +0 -82
- package/dist/uri-9f9a71ca.js +0 -117
- package/dist/v-ac49f8a2.js +0 -107
- package/dist/vala-d9044a47.js +0 -114
- package/dist/vbnet-7e93a4ce.js +0 -26
- package/dist/vbnet-f33c70c2.js +0 -37
- package/dist/velocity-04e48f5c.js +0 -100
- package/dist/verilog-08e95e76.js +0 -60
- package/dist/vhdl-2c25f8d7.js +0 -57
- package/dist/vim-f896fcae.js +0 -44
- package/dist/visual-basic-a24d053f.js +0 -60
- package/dist/warpscript-807f2588.js +0 -55
- package/dist/wasm-a1928fa7.js +0 -65
- package/dist/web-idl-5707ad28.js +0 -119
- package/dist/wiki-1b1313bc.js +0 -111
- package/dist/wolfram-2cbcb298.js +0 -59
- package/dist/wren-6157a66e.js +0 -122
- package/dist/xeora-004f4276.js +0 -148
- package/dist/xml-doc-a2568724.js +0 -57
- package/dist/xojo-4455c68c.js +0 -52
- package/dist/xquery-c4289139.js +0 -119
- package/dist/yaml-045e8847.js +0 -26
- package/dist/yaml-8454c5e5.js +0 -93
- package/dist/yang-937d99d5.js +0 -54
- package/dist/zig-c8c88088.js +0 -118
package/dist/cobol-0ae04d1a.js
DELETED
|
@@ -1,83 +0,0 @@
|
|
|
1
|
-
import { g as S } from "./index-9498f0f6.js";
|
|
2
|
-
function C(E, I) {
|
|
3
|
-
for (var N = 0; N < I.length; N++) {
|
|
4
|
-
const T = I[N];
|
|
5
|
-
if (typeof T != "string" && !Array.isArray(T)) {
|
|
6
|
-
for (const R in T)
|
|
7
|
-
if (R !== "default" && !(R in E)) {
|
|
8
|
-
const O = Object.getOwnPropertyDescriptor(T, R);
|
|
9
|
-
O && Object.defineProperty(E, R, O.get ? O : {
|
|
10
|
-
enumerable: !0,
|
|
11
|
-
get: () => T[R]
|
|
12
|
-
});
|
|
13
|
-
}
|
|
14
|
-
}
|
|
15
|
-
}
|
|
16
|
-
return Object.freeze(Object.defineProperty(E, Symbol.toStringTag, { value: "Module" }));
|
|
17
|
-
}
|
|
18
|
-
var A, D;
|
|
19
|
-
function U() {
|
|
20
|
-
if (D)
|
|
21
|
-
return A;
|
|
22
|
-
D = 1, A = E, E.displayName = "cobol", E.aliases = [];
|
|
23
|
-
function E(I) {
|
|
24
|
-
I.languages.cobol = {
|
|
25
|
-
comment: {
|
|
26
|
-
pattern: /\*>.*|(^[ \t]*)\*.*/m,
|
|
27
|
-
lookbehind: !0,
|
|
28
|
-
greedy: !0
|
|
29
|
-
},
|
|
30
|
-
string: {
|
|
31
|
-
pattern: /[xzgn]?(?:"(?:[^\r\n"]|"")*"(?!")|'(?:[^\r\n']|'')*'(?!'))/i,
|
|
32
|
-
greedy: !0
|
|
33
|
-
},
|
|
34
|
-
level: {
|
|
35
|
-
pattern: /(^[ \t]*)\d+\b/m,
|
|
36
|
-
lookbehind: !0,
|
|
37
|
-
greedy: !0,
|
|
38
|
-
alias: "number"
|
|
39
|
-
},
|
|
40
|
-
"class-name": {
|
|
41
|
-
// https://github.com/antlr/grammars-v4/blob/42edd5b687d183b5fa679e858a82297bd27141e7/cobol85/Cobol85.g4#L1015
|
|
42
|
-
pattern: /(\bpic(?:ture)?\s+)(?:(?:[-\w$/,:*+<>]|\.(?!\s|$))(?:\(\d+\))?)+/i,
|
|
43
|
-
lookbehind: !0,
|
|
44
|
-
inside: {
|
|
45
|
-
number: {
|
|
46
|
-
pattern: /(\()\d+/,
|
|
47
|
-
lookbehind: !0
|
|
48
|
-
},
|
|
49
|
-
punctuation: /[()]/
|
|
50
|
-
}
|
|
51
|
-
},
|
|
52
|
-
keyword: {
|
|
53
|
-
pattern: /(^|[^\w-])(?:ABORT|ACCEPT|ACCESS|ADD|ADDRESS|ADVANCING|AFTER|ALIGNED|ALL|ALPHABET|ALPHABETIC|ALPHABETIC-LOWER|ALPHABETIC-UPPER|ALPHANUMERIC|ALPHANUMERIC-EDITED|ALSO|ALTER|ALTERNATE|ANY|ARE|AREA|AREAS|AS|ASCENDING|ASCII|ASSIGN|ASSOCIATED-DATA|ASSOCIATED-DATA-LENGTH|AT|ATTRIBUTE|AUTHOR|AUTO|AUTO-SKIP|BACKGROUND-COLOR|BACKGROUND-COLOUR|BASIS|BEEP|BEFORE|BEGINNING|BELL|BINARY|BIT|BLANK|BLINK|BLOCK|BOTTOM|BOUNDS|BY|BYFUNCTION|BYTITLE|CALL|CANCEL|CAPABLE|CCSVERSION|CD|CF|CH|CHAINING|CHANGED|CHANNEL|CHARACTER|CHARACTERS|CLASS|CLASS-ID|CLOCK-UNITS|CLOSE|CLOSE-DISPOSITION|COBOL|CODE|CODE-SET|COL|COLLATING|COLUMN|COM-REG|COMMA|COMMITMENT|COMMON|COMMUNICATION|COMP|COMP-1|COMP-2|COMP-3|COMP-4|COMP-5|COMPUTATIONAL|COMPUTATIONAL-1|COMPUTATIONAL-2|COMPUTATIONAL-3|COMPUTATIONAL-4|COMPUTATIONAL-5|COMPUTE|CONFIGURATION|CONTAINS|CONTENT|CONTINUE|CONTROL|CONTROL-POINT|CONTROLS|CONVENTION|CONVERTING|COPY|CORR|CORRESPONDING|COUNT|CRUNCH|CURRENCY|CURSOR|DATA|DATA-BASE|DATE|DATE-COMPILED|DATE-WRITTEN|DAY|DAY-OF-WEEK|DBCS|DE|DEBUG-CONTENTS|DEBUG-ITEM|DEBUG-LINE|DEBUG-NAME|DEBUG-SUB-1|DEBUG-SUB-2|DEBUG-SUB-3|DEBUGGING|DECIMAL-POINT|DECLARATIVES|DEFAULT|DEFAULT-DISPLAY|DEFINITION|DELETE|DELIMITED|DELIMITER|DEPENDING|DESCENDING|DESTINATION|DETAIL|DFHRESP|DFHVALUE|DISABLE|DISK|DISPLAY|DISPLAY-1|DIVIDE|DIVISION|DONTCARE|DOUBLE|DOWN|DUPLICATES|DYNAMIC|EBCDIC|EGCS|EGI|ELSE|EMI|EMPTY-CHECK|ENABLE|END|END-ACCEPT|END-ADD|END-CALL|END-COMPUTE|END-DELETE|END-DIVIDE|END-EVALUATE|END-IF|END-MULTIPLY|END-OF-PAGE|END-PERFORM|END-READ|END-RECEIVE|END-RETURN|END-REWRITE|END-SEARCH|END-START|END-STRING|END-SUBTRACT|END-UNSTRING|END-WRITE|ENDING|ENTER|ENTRY|ENTRY-PROCEDURE|ENVIRONMENT|EOL|EOP|EOS|ERASE|ERROR|ESCAPE|ESI|EVALUATE|EVENT|EVERY|EXCEPTION|EXCLUSIVE|EXHIBIT|EXIT|EXPORT|EXTEND|EXTENDED|EXTERNAL|FD|FILE|FILE-CONTROL|FILLER|FINAL|FIRST|FOOTING|FOR|FOREGROUND-COLOR|FOREGROUND-COLOUR|FROM|FULL|FUNCTION|FUNCTION-POINTER|FUNCTIONNAME|GENERATE|GIVING|GLOBAL|GO|GOBACK|GRID|GROUP|HEADING|HIGH-VALUE|HIGH-VALUES|HIGHLIGHT|I-O|I-O-CONTROL|ID|IDENTIFICATION|IF|IMPLICIT|IMPORT|IN|INDEX|INDEXED|INDICATE|INITIAL|INITIALIZE|INITIATE|INPUT|INPUT-OUTPUT|INSPECT|INSTALLATION|INTEGER|INTO|INVALID|INVOKE|IS|JUST|JUSTIFIED|KANJI|KEPT|KEY|KEYBOARD|LABEL|LANGUAGE|LAST|LB|LD|LEADING|LEFT|LEFTLINE|LENGTH|LENGTH-CHECK|LIBACCESS|LIBPARAMETER|LIBRARY|LIMIT|LIMITS|LINAGE|LINAGE-COUNTER|LINE|LINE-COUNTER|LINES|LINKAGE|LIST|LOCAL|LOCAL-STORAGE|LOCK|LONG-DATE|LONG-TIME|LOW-VALUE|LOW-VALUES|LOWER|LOWLIGHT|MEMORY|MERGE|MESSAGE|MMDDYYYY|MODE|MODULES|MORE-LABELS|MOVE|MULTIPLE|MULTIPLY|NAMED|NATIONAL|NATIONAL-EDITED|NATIVE|NEGATIVE|NETWORK|NEXT|NO|NO-ECHO|NULL|NULLS|NUMBER|NUMERIC|NUMERIC-DATE|NUMERIC-EDITED|NUMERIC-TIME|OBJECT-COMPUTER|OCCURS|ODT|OF|OFF|OMITTED|ON|OPEN|OPTIONAL|ORDER|ORDERLY|ORGANIZATION|OTHER|OUTPUT|OVERFLOW|OVERLINE|OWN|PACKED-DECIMAL|PADDING|PAGE|PAGE-COUNTER|PASSWORD|PERFORM|PF|PH|PIC|PICTURE|PLUS|POINTER|PORT|POSITION|POSITIVE|PRINTER|PRINTING|PRIVATE|PROCEDURE|PROCEDURE-POINTER|PROCEDURES|PROCEED|PROCESS|PROGRAM|PROGRAM-ID|PROGRAM-LIBRARY|PROMPT|PURGE|QUEUE|QUOTE|QUOTES|RANDOM|RD|READ|READER|REAL|RECEIVE|RECEIVED|RECORD|RECORDING|RECORDS|RECURSIVE|REDEFINES|REEL|REF|REFERENCE|REFERENCES|RELATIVE|RELEASE|REMAINDER|REMARKS|REMOTE|REMOVAL|REMOVE|RENAMES|REPLACE|REPLACING|REPORT|REPORTING|REPORTS|REQUIRED|RERUN|RESERVE|RESET|RETURN|RETURN-CODE|RETURNING|REVERSE-VIDEO|REVERSED|REWIND|REWRITE|RF|RH|RIGHT|ROUNDED|RUN|SAME|SAVE|SCREEN|SD|SEARCH|SECTION|SECURE|SECURITY|SEGMENT|SEGMENT-LIMIT|SELECT|SEND|SENTENCE|SEPARATE|SEQUENCE|SEQUENTIAL|SET|SHARED|SHAREDBYALL|SHAREDBYRUNUNIT|SHARING|SHIFT-IN|SHIFT-OUT|SHORT-DATE|SIGN|SIZE|SORT|SORT-CONTROL|SORT-CORE-SIZE|SORT-FILE-SIZE|SORT-MERGE|SORT-MESSAGE|SORT-MODE-SIZE|SORT-RETURN|SOURCE|SOURCE-COMPUTER|SPACE|SPACES|SPECIAL-NAMES|STANDARD|STANDARD-1|STANDARD-2|START|STATUS|STOP|STRING|SUB-QUEUE-1|SUB-QUEUE-2|SUB-QUEUE-3|SUBTRACT|SUM|SUPPRESS|SYMBOL|SYMBOLIC|SYNC|SYNCHRONIZED|TABLE|TALLY|TALLYING|TAPE|TASK|TERMINAL|TERMINATE|TEST|TEXT|THEN|THREAD|THREAD-LOCAL|THROUGH|THRU|TIME|TIMER|TIMES|TITLE|TO|TODAYS-DATE|TODAYS-NAME|TOP|TRAILING|TRUNCATED|TYPE|TYPEDEF|UNDERLINE|UNIT|UNSTRING|UNTIL|UP|UPON|USAGE|USE|USING|VALUE|VALUES|VARYING|VIRTUAL|WAIT|WHEN|WHEN-COMPILED|WITH|WORDS|WORKING-STORAGE|WRITE|YEAR|YYYYDDD|YYYYMMDD|ZERO-FILL|ZEROES|ZEROS)(?![\w-])/i,
|
|
54
|
-
lookbehind: !0
|
|
55
|
-
},
|
|
56
|
-
boolean: {
|
|
57
|
-
pattern: /(^|[^\w-])(?:false|true)(?![\w-])/i,
|
|
58
|
-
lookbehind: !0
|
|
59
|
-
},
|
|
60
|
-
number: {
|
|
61
|
-
pattern: /(^|[^\w-])(?:[+-]?(?:(?:\d+(?:[.,]\d+)?|[.,]\d+)(?:e[+-]?\d+)?|zero))(?![\w-])/i,
|
|
62
|
-
lookbehind: !0
|
|
63
|
-
},
|
|
64
|
-
operator: [
|
|
65
|
-
/<>|[<>]=?|[=+*/&]/,
|
|
66
|
-
{
|
|
67
|
-
pattern: /(^|[^\w-])(?:-|and|equal|greater|less|not|or|than)(?![\w-])/i,
|
|
68
|
-
lookbehind: !0
|
|
69
|
-
}
|
|
70
|
-
],
|
|
71
|
-
punctuation: /[.:,()]/
|
|
72
|
-
};
|
|
73
|
-
}
|
|
74
|
-
return A;
|
|
75
|
-
}
|
|
76
|
-
var L = U();
|
|
77
|
-
const P = /* @__PURE__ */ S(L), e = /* @__PURE__ */ C({
|
|
78
|
-
__proto__: null,
|
|
79
|
-
default: P
|
|
80
|
-
}, [L]);
|
|
81
|
-
export {
|
|
82
|
-
e as c
|
|
83
|
-
};
|
|
@@ -1,111 +0,0 @@
|
|
|
1
|
-
import { g as f } from "./index-9498f0f6.js";
|
|
2
|
-
function l(n, a) {
|
|
3
|
-
for (var e = 0; e < a.length; e++) {
|
|
4
|
-
const r = a[e];
|
|
5
|
-
if (typeof r != "string" && !Array.isArray(r)) {
|
|
6
|
-
for (const t in r)
|
|
7
|
-
if (t !== "default" && !(t in n)) {
|
|
8
|
-
const i = Object.getOwnPropertyDescriptor(r, t);
|
|
9
|
-
i && Object.defineProperty(n, t, i.get ? i : {
|
|
10
|
-
enumerable: !0,
|
|
11
|
-
get: () => r[t]
|
|
12
|
-
});
|
|
13
|
-
}
|
|
14
|
-
}
|
|
15
|
-
}
|
|
16
|
-
return Object.freeze(Object.defineProperty(n, Symbol.toStringTag, { value: "Module" }));
|
|
17
|
-
}
|
|
18
|
-
var s, o;
|
|
19
|
-
function p() {
|
|
20
|
-
if (o)
|
|
21
|
-
return s;
|
|
22
|
-
o = 1, s = n, n.displayName = "coffeescript", n.aliases = ["coffee"];
|
|
23
|
-
function n(a) {
|
|
24
|
-
(function(e) {
|
|
25
|
-
var r = /#(?!\{).+/, t = {
|
|
26
|
-
pattern: /#\{[^}]+\}/,
|
|
27
|
-
alias: "variable"
|
|
28
|
-
};
|
|
29
|
-
e.languages.coffeescript = e.languages.extend("javascript", {
|
|
30
|
-
comment: r,
|
|
31
|
-
string: [
|
|
32
|
-
// Strings are multiline
|
|
33
|
-
{
|
|
34
|
-
pattern: /'(?:\\[\s\S]|[^\\'])*'/,
|
|
35
|
-
greedy: !0
|
|
36
|
-
},
|
|
37
|
-
{
|
|
38
|
-
// Strings are multiline
|
|
39
|
-
pattern: /"(?:\\[\s\S]|[^\\"])*"/,
|
|
40
|
-
greedy: !0,
|
|
41
|
-
inside: {
|
|
42
|
-
interpolation: t
|
|
43
|
-
}
|
|
44
|
-
}
|
|
45
|
-
],
|
|
46
|
-
keyword: /\b(?:and|break|by|catch|class|continue|debugger|delete|do|each|else|extend|extends|false|finally|for|if|in|instanceof|is|isnt|let|loop|namespace|new|no|not|null|of|off|on|or|own|return|super|switch|then|this|throw|true|try|typeof|undefined|unless|until|when|while|window|with|yes|yield)\b/,
|
|
47
|
-
"class-member": {
|
|
48
|
-
pattern: /@(?!\d)\w+/,
|
|
49
|
-
alias: "variable"
|
|
50
|
-
}
|
|
51
|
-
}), e.languages.insertBefore("coffeescript", "comment", {
|
|
52
|
-
"multiline-comment": {
|
|
53
|
-
pattern: /###[\s\S]+?###/,
|
|
54
|
-
alias: "comment"
|
|
55
|
-
},
|
|
56
|
-
// Block regexp can contain comments and interpolation
|
|
57
|
-
"block-regex": {
|
|
58
|
-
pattern: /\/{3}[\s\S]*?\/{3}/,
|
|
59
|
-
alias: "regex",
|
|
60
|
-
inside: {
|
|
61
|
-
comment: r,
|
|
62
|
-
interpolation: t
|
|
63
|
-
}
|
|
64
|
-
}
|
|
65
|
-
}), e.languages.insertBefore("coffeescript", "string", {
|
|
66
|
-
"inline-javascript": {
|
|
67
|
-
pattern: /`(?:\\[\s\S]|[^\\`])*`/,
|
|
68
|
-
inside: {
|
|
69
|
-
delimiter: {
|
|
70
|
-
pattern: /^`|`$/,
|
|
71
|
-
alias: "punctuation"
|
|
72
|
-
},
|
|
73
|
-
script: {
|
|
74
|
-
pattern: /[\s\S]+/,
|
|
75
|
-
alias: "language-javascript",
|
|
76
|
-
inside: e.languages.javascript
|
|
77
|
-
}
|
|
78
|
-
}
|
|
79
|
-
},
|
|
80
|
-
// Block strings
|
|
81
|
-
"multiline-string": [
|
|
82
|
-
{
|
|
83
|
-
pattern: /'''[\s\S]*?'''/,
|
|
84
|
-
greedy: !0,
|
|
85
|
-
alias: "string"
|
|
86
|
-
},
|
|
87
|
-
{
|
|
88
|
-
pattern: /"""[\s\S]*?"""/,
|
|
89
|
-
greedy: !0,
|
|
90
|
-
alias: "string",
|
|
91
|
-
inside: {
|
|
92
|
-
interpolation: t
|
|
93
|
-
}
|
|
94
|
-
}
|
|
95
|
-
]
|
|
96
|
-
}), e.languages.insertBefore("coffeescript", "keyword", {
|
|
97
|
-
// Object property
|
|
98
|
-
property: /(?!\d)\w+(?=\s*:(?!:))/
|
|
99
|
-
}), delete e.languages.coffeescript["template-string"], e.languages.coffee = e.languages.coffeescript;
|
|
100
|
-
})(a);
|
|
101
|
-
}
|
|
102
|
-
return s;
|
|
103
|
-
}
|
|
104
|
-
var c = p();
|
|
105
|
-
const g = /* @__PURE__ */ f(c), d = /* @__PURE__ */ l({
|
|
106
|
-
__proto__: null,
|
|
107
|
-
default: g
|
|
108
|
-
}, [c]);
|
|
109
|
-
export {
|
|
110
|
-
d as c
|
|
111
|
-
};
|
|
@@ -1,91 +0,0 @@
|
|
|
1
|
-
import { g as u } from "./index-9498f0f6.js";
|
|
2
|
-
function l(n, e) {
|
|
3
|
-
for (var a = 0; a < e.length; a++) {
|
|
4
|
-
const t = e[a];
|
|
5
|
-
if (typeof t != "string" && !Array.isArray(t)) {
|
|
6
|
-
for (const r in t)
|
|
7
|
-
if (r !== "default" && !(r in n)) {
|
|
8
|
-
const o = Object.getOwnPropertyDescriptor(t, r);
|
|
9
|
-
o && Object.defineProperty(n, r, o.get ? o : {
|
|
10
|
-
enumerable: !0,
|
|
11
|
-
get: () => t[r]
|
|
12
|
-
});
|
|
13
|
-
}
|
|
14
|
-
}
|
|
15
|
-
}
|
|
16
|
-
return Object.freeze(Object.defineProperty(n, Symbol.toStringTag, { value: "Module" }));
|
|
17
|
-
}
|
|
18
|
-
var s, i;
|
|
19
|
-
function d() {
|
|
20
|
-
if (i)
|
|
21
|
-
return s;
|
|
22
|
-
i = 1, s = n, n.displayName = "concurnas", n.aliases = ["conc"];
|
|
23
|
-
function n(e) {
|
|
24
|
-
e.languages.concurnas = {
|
|
25
|
-
comment: {
|
|
26
|
-
pattern: /(^|[^\\])(?:\/\*[\s\S]*?(?:\*\/|$)|\/\/.*)/,
|
|
27
|
-
lookbehind: !0,
|
|
28
|
-
greedy: !0
|
|
29
|
-
},
|
|
30
|
-
langext: {
|
|
31
|
-
pattern: /\b\w+\s*\|\|[\s\S]+?\|\|/,
|
|
32
|
-
greedy: !0,
|
|
33
|
-
inside: {
|
|
34
|
-
"class-name": /^\w+/,
|
|
35
|
-
string: {
|
|
36
|
-
pattern: /(^\s*\|\|)[\s\S]+(?=\|\|$)/,
|
|
37
|
-
lookbehind: !0
|
|
38
|
-
},
|
|
39
|
-
punctuation: /\|\|/
|
|
40
|
-
}
|
|
41
|
-
},
|
|
42
|
-
function: {
|
|
43
|
-
pattern: /((?:^|\s)def[ \t]+)[a-zA-Z_]\w*(?=\s*\()/,
|
|
44
|
-
lookbehind: !0
|
|
45
|
-
},
|
|
46
|
-
keyword: /\b(?:abstract|actor|also|annotation|assert|async|await|bool|boolean|break|byte|case|catch|changed|char|class|closed|constant|continue|def|default|del|double|elif|else|enum|every|extends|false|finally|float|for|from|global|gpudef|gpukernel|if|import|in|init|inject|int|lambda|local|long|loop|match|new|nodefault|null|of|onchange|open|out|override|package|parfor|parforsync|post|pre|private|protected|provide|provider|public|return|shared|short|single|size_t|sizeof|super|sync|this|throw|trait|trans|transient|true|try|typedef|unchecked|using|val|var|void|while|with)\b/,
|
|
47
|
-
boolean: /\b(?:false|true)\b/,
|
|
48
|
-
number: /\b0b[01][01_]*L?\b|\b0x(?:[\da-f_]*\.)?[\da-f_p+-]+\b|(?:\b\d[\d_]*(?:\.[\d_]*)?|\B\.\d[\d_]*)(?:e[+-]?\d[\d_]*)?[dfls]?/i,
|
|
49
|
-
punctuation: /[{}[\];(),.:]/,
|
|
50
|
-
operator: /<==|>==|=>|->|<-|<>|&==|&<>|\?:?|\.\?|\+\+|--|[-+*/=<>]=?|[!^~]|\b(?:and|as|band|bor|bxor|comp|is|isnot|mod|or)\b=?/,
|
|
51
|
-
annotation: {
|
|
52
|
-
pattern: /@(?:\w+:)?(?:\w+|\[[^\]]+\])?/,
|
|
53
|
-
alias: "builtin"
|
|
54
|
-
}
|
|
55
|
-
}, e.languages.insertBefore("concurnas", "langext", {
|
|
56
|
-
"regex-literal": {
|
|
57
|
-
pattern: /\br("|')(?:\\.|(?!\1)[^\\\r\n])*\1/,
|
|
58
|
-
greedy: !0,
|
|
59
|
-
inside: {
|
|
60
|
-
interpolation: {
|
|
61
|
-
pattern: /((?:^|[^\\])(?:\\{2})*)\{(?:[^{}]|\{(?:[^{}]|\{[^}]*\})*\})+\}/,
|
|
62
|
-
lookbehind: !0,
|
|
63
|
-
inside: e.languages.concurnas
|
|
64
|
-
},
|
|
65
|
-
regex: /[\s\S]+/
|
|
66
|
-
}
|
|
67
|
-
},
|
|
68
|
-
"string-literal": {
|
|
69
|
-
pattern: /(?:\B|\bs)("|')(?:\\.|(?!\1)[^\\\r\n])*\1/,
|
|
70
|
-
greedy: !0,
|
|
71
|
-
inside: {
|
|
72
|
-
interpolation: {
|
|
73
|
-
pattern: /((?:^|[^\\])(?:\\{2})*)\{(?:[^{}]|\{(?:[^{}]|\{[^}]*\})*\})+\}/,
|
|
74
|
-
lookbehind: !0,
|
|
75
|
-
inside: e.languages.concurnas
|
|
76
|
-
},
|
|
77
|
-
string: /[\s\S]+/
|
|
78
|
-
}
|
|
79
|
-
}
|
|
80
|
-
}), e.languages.conc = e.languages.concurnas;
|
|
81
|
-
}
|
|
82
|
-
return s;
|
|
83
|
-
}
|
|
84
|
-
var c = d();
|
|
85
|
-
const p = /* @__PURE__ */ u(c), b = /* @__PURE__ */ l({
|
|
86
|
-
__proto__: null,
|
|
87
|
-
default: p
|
|
88
|
-
}, [c]);
|
|
89
|
-
export {
|
|
90
|
-
b as c
|
|
91
|
-
};
|
package/dist/coq-e37f31ad.js
DELETED
|
@@ -1,82 +0,0 @@
|
|
|
1
|
-
import { g as l } from "./index-9498f0f6.js";
|
|
2
|
-
function p(r, o) {
|
|
3
|
-
for (var i = 0; i < o.length; i++) {
|
|
4
|
-
const e = o[i];
|
|
5
|
-
if (typeof e != "string" && !Array.isArray(e)) {
|
|
6
|
-
for (const t in e)
|
|
7
|
-
if (t !== "default" && !(t in r)) {
|
|
8
|
-
const n = Object.getOwnPropertyDescriptor(e, t);
|
|
9
|
-
n && Object.defineProperty(r, t, n.get ? n : {
|
|
10
|
-
enumerable: !0,
|
|
11
|
-
get: () => e[t]
|
|
12
|
-
});
|
|
13
|
-
}
|
|
14
|
-
}
|
|
15
|
-
}
|
|
16
|
-
return Object.freeze(Object.defineProperty(r, Symbol.toStringTag, { value: "Module" }));
|
|
17
|
-
}
|
|
18
|
-
var a, s;
|
|
19
|
-
function u() {
|
|
20
|
-
if (s)
|
|
21
|
-
return a;
|
|
22
|
-
s = 1, a = r, r.displayName = "coq", r.aliases = [];
|
|
23
|
-
function r(o) {
|
|
24
|
-
(function(i) {
|
|
25
|
-
for (var e = /\(\*(?:[^(*]|\((?!\*)|\*(?!\))|<self>)*\*\)/.source, t = 0; t < 2; t++)
|
|
26
|
-
e = e.replace(/<self>/g, function() {
|
|
27
|
-
return e;
|
|
28
|
-
});
|
|
29
|
-
e = e.replace(/<self>/g, "[]"), i.languages.coq = {
|
|
30
|
-
comment: RegExp(e),
|
|
31
|
-
string: {
|
|
32
|
-
pattern: /"(?:[^"]|"")*"(?!")/,
|
|
33
|
-
greedy: !0
|
|
34
|
-
},
|
|
35
|
-
attribute: [
|
|
36
|
-
{
|
|
37
|
-
pattern: RegExp(
|
|
38
|
-
/#\[(?:[^\[\]("]|"(?:[^"]|"")*"(?!")|\((?!\*)|<comment>)*\]/.source.replace(
|
|
39
|
-
/<comment>/g,
|
|
40
|
-
function() {
|
|
41
|
-
return e;
|
|
42
|
-
}
|
|
43
|
-
)
|
|
44
|
-
),
|
|
45
|
-
greedy: !0,
|
|
46
|
-
alias: "attr-name",
|
|
47
|
-
inside: {
|
|
48
|
-
comment: RegExp(e),
|
|
49
|
-
string: {
|
|
50
|
-
pattern: /"(?:[^"]|"")*"(?!")/,
|
|
51
|
-
greedy: !0
|
|
52
|
-
},
|
|
53
|
-
operator: /=/,
|
|
54
|
-
punctuation: /^#\[|\]$|[,()]/
|
|
55
|
-
}
|
|
56
|
-
},
|
|
57
|
-
{
|
|
58
|
-
pattern: /\b(?:Cumulative|Global|Local|Monomorphic|NonCumulative|Polymorphic|Private|Program)\b/,
|
|
59
|
-
alias: "attr-name"
|
|
60
|
-
}
|
|
61
|
-
],
|
|
62
|
-
keyword: /\b(?:Abort|About|Add|Admit|Admitted|All|Arguments|As|Assumptions|Axiom|Axioms|Back|BackTo|Backtrace|BinOp|BinOpSpec|BinRel|Bind|Blacklist|Canonical|Case|Cd|Check|Class|Classes|Close|CoFixpoint|CoInductive|Coercion|Coercions|Collection|Combined|Compute|Conjecture|Conjectures|Constant|Constants|Constraint|Constructors|Context|Corollary|Create|CstOp|Custom|Cut|Debug|Declare|Defined|Definition|Delimit|Dependencies|Dependent|Derive|Diffs|Drop|Elimination|End|Entry|Equality|Eval|Example|Existential|Existentials|Existing|Export|Extern|Extraction|Fact|Fail|Field|File|Firstorder|Fixpoint|Flags|Focus|From|Funclass|Function|Functional|GC|Generalizable|Goal|Grab|Grammar|Graph|Guarded|Haskell|Heap|Hide|Hint|HintDb|Hints|Hypotheses|Hypothesis|IF|Identity|Immediate|Implicit|Implicits|Import|Include|Induction|Inductive|Infix|Info|Initial|InjTyp|Inline|Inspect|Instance|Instances|Intro|Intros|Inversion|Inversion_clear|JSON|Language|Left|Lemma|Let|Lia|Libraries|Library|Load|LoadPath|Locate|Ltac|Ltac2|ML|Match|Method|Minimality|Module|Modules|Morphism|Next|NoInline|Notation|Number|OCaml|Obligation|Obligations|Opaque|Open|Optimize|Parameter|Parameters|Parametric|Path|Paths|Prenex|Preterm|Primitive|Print|Profile|Projections|Proof|Prop|PropBinOp|PropOp|PropUOp|Property|Proposition|Pwd|Qed|Quit|Rec|Record|Recursive|Redirect|Reduction|Register|Relation|Remark|Remove|Require|Reserved|Reset|Resolve|Restart|Rewrite|Right|Ring|Rings|SProp|Saturate|Save|Scheme|Scope|Scopes|Search|SearchHead|SearchPattern|SearchRewrite|Section|Separate|Set|Setoid|Show|Signatures|Solve|Solver|Sort|Sortclass|Sorted|Spec|Step|Strategies|Strategy|String|Structure|SubClass|Subgraph|SuchThat|Tactic|Term|TestCompile|Theorem|Time|Timeout|To|Transparent|Type|Typeclasses|Types|Typing|UnOp|UnOpSpec|Undelimit|Undo|Unfocus|Unfocused|Unfold|Universe|Universes|Unshelve|Variable|Variables|Variant|Verbose|View|Visibility|Zify|_|apply|as|at|by|cofix|else|end|exists|exists2|fix|for|forall|fun|if|in|let|match|measure|move|removed|return|struct|then|using|wf|where|with)\b/,
|
|
63
|
-
number: /\b(?:0x[a-f0-9][a-f0-9_]*(?:\.[a-f0-9_]+)?(?:p[+-]?\d[\d_]*)?|\d[\d_]*(?:\.[\d_]+)?(?:e[+-]?\d[\d_]*)?)\b/i,
|
|
64
|
-
punct: {
|
|
65
|
-
pattern: /@\{|\{\||\[=|:>/,
|
|
66
|
-
alias: "punctuation"
|
|
67
|
-
},
|
|
68
|
-
operator: /\/\\|\\\/|\.{2,3}|:{1,2}=|\*\*|[-=]>|<(?:->?|[+:=>]|<:)|>(?:=|->)|\|[-|]?|[-!%&*+/<=>?@^~']/,
|
|
69
|
-
punctuation: /\.\(|`\(|@\{|`\{|\{\||\[=|:>|[:.,;(){}\[\]]/
|
|
70
|
-
};
|
|
71
|
-
})(o);
|
|
72
|
-
}
|
|
73
|
-
return a;
|
|
74
|
-
}
|
|
75
|
-
var c = u();
|
|
76
|
-
const m = /* @__PURE__ */ l(c), f = /* @__PURE__ */ p({
|
|
77
|
-
__proto__: null,
|
|
78
|
-
default: m
|
|
79
|
-
}, [c]);
|
|
80
|
-
export {
|
|
81
|
-
f as c
|
|
82
|
-
};
|