vole

Clone

Read only, no credentials:

https://rodent.software/vole.git

Write over SSH with a registered key:

git clone ssh://git@rodent.software:2222/vole.git

A free and open-source forge that lives in your Git repo.

Load a Prism grammar only when a blob names it

1b8675b19e70346d6d02d5fc0c10538f50bf94b2 · Keenan Nemetz · 9d ago · parent 11720250

Load a Prism grammar only when a blob names it

The worker imported prism-languages.min.js — every grammar Prism ships — on
every code page. That is 546 KB to evaluate before the first token, and a page
showing one Go file paid it for all 293 components.

Each component is now vendored as its own file, and prism-manifest.js maps a
language name to the files that define it in dependency order. The worker
starts with Prism's core and the manifest and imports a language's files the
first time a job names it, remembering what it has run so a file is never
imported twice. A Go blob loads 30 KB instead of 564 KB; a .tsx blob, the
widest common entry at 8 files, loads 49 KB.

The manifest also carries the components that register no language of their
own but change one: css-extras, js-extras, js-templates, php-extras, xml-doc.
Each is placed after the grammar it rewrites and included in the entries that
inherit it, so a language that extends javascript now gets js-extras' arrow
and maybe-class-name tokens too. The old bundle's order handed those to some
inheriting languages and not others; nothing loses a token.

scripts/vendor-prism.py writes the grammars and the manifest, and --check
compares them byte for byte with cdnjs. TestPrismLanguagesAreVendored,
TestPrismGrammarsMatchTheManifest and TestPrismWorkerLoadsGrammarsOnDemand
hold the server's extension table, the vendored set and the worker's lazy
import together.

server/web/static/prism-languages/coq.js +1

@@ -0,0 +1 @@
		1	!function(e){for(var t="\$\\(?:[^(]\|\\((?!\\)\|\\(?!\$)\|<self>)\\\\)",i=0;i<2;i++)t=t.replace(/<self>/g,(function(){return t}));t=t.replace(/<self>/g,"[]"),e.languages.coq={comment:RegExp(t),string:{pattern:/"(?:[^"]\|"")"(?!")/,greedy:!0},attribute:[{pattern:RegExp('#\\[(?:[^\\[\\]("]\|"(?:[^"]\|"")"(?!")\|\\((?!\\)\|<comment>)\\]'.replace(/<comment>/g,(function(){return t}))),greedy:!0,alias:"attr-name",inside:{comment:RegExp(t),string:{pattern:/"(?:[^"]\|"")"(?!")/,greedy:!0},operator:/=/,punctuation:/^#\[\|\]$\|[,()]/}},{pattern:/\b(?:Cumulative\|Global\|Local\|Monomorphic\|NonCumulative\|Polymorphic\|Private\|Program)\b/,alias:"attr-name"}],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/,number:/\b(?:0x[a-f0-9][a-f0-9_](?:\.[a-f0-9_]+)?(?:p[+-]?\d[\d_])?\|\d[\d_](?:\.[\d_]+)?(?:e[+-]?\d[\d_])?)\b/i,punct:{pattern:/@\{\|\{\\|\|\[=\|:>/,alias:"punctuation"},operator:/\/\\\|\\\/\|\.{2,3}\|:{1,2}=\|\\\|[-=]>\|<(?:->?\|[+:=>]\|<:)\|>(?:=\|->)\|\\|[-\|]?\|[-!%&+/<=>?@^~']/,punctuation:/\.\(\|`\(\|@\{\|`\{\|\{\\|\|\[=\|:>\|[:.,;(){}\[\]]/}}(Prism);

@@ -0,0 +1 @@
		1	!function(e){for(var t="\\(\\(?:[^(]\|\\((?!\\)\|\\(?!\\))\|<self>)\\\\)",i=0;i<2;i++)t=t.replace(/<self>/g,(function(){return t}));t=t.replace(/<self>/g,"[]"),e.languages.coq={comment:RegExp(t),string:{pattern:/"(?:[^"]\|"")"(?!")/,greedy:!0},attribute:[{pattern:RegExp('#\\[(?:[^\\[\\]("]\|"(?:[^"]\|"")"(?!")\|\\((?!\\)\|<comment>)\\]'.replace(/<comment>/g,(function(){return t}))),greedy:!0,alias:"attr-name",inside:{comment:RegExp(t),string:{pattern:/"(?:[^"]\|"")"(?!")/,greedy:!0},operator:/=/,punctuation:/^#\[\|\]$\|[,()]/}},{pattern:/\b(?:Cumulative\|Global\|Local\|Monomorphic\|NonCumulative\|Polymorphic\|Private\|Program)\b/,alias:"attr-name"}],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/,number:/\b(?:0x[a-f0-9][a-f0-9_](?:\.[a-f0-9_]+)?(?:p[+-]?\d[\d_])?\|\d[\d_](?:\.[\d_]+)?(?:e[+-]?\d[\d_])?)\b/i,punct:{pattern:/@\{\|\{\\|\|\[=\|:>/,alias:"punctuation"},operator:/\/\\\|\\\/\|\.{2,3}\|:{1,2}=\|\\\|[-=]>\|<(?:->?\|[+:=>]\|<:)\|>(?:=\|->)\|\\|[-\|]?\|[-!%&+/<=>?@^~']/,punctuation:/\.\(\|`\(\|@\{\|`\{\|\{\\|\|\[=\|:>\|[:.,;(){}\[\]]/}}(Prism);