balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add syntax highlighting for Cameligo.

Browse Source
This commit is contained in:
Sander Spies 2019-09-28 18:00:56 +02:00
parent 9487d21536
commit 5749123bf6
2 changed files with 128 additions and 61 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

131
gitlab-pages/website/pages/en/index.js
View File

@ -9,10 +9,73 @@ const React = require("react");
const CompLibrary = require("../../core/CompLibrary.js");
const hljs = require("highlight.js");
const MarkdownBlock = CompLibrary.MarkdownBlock; /* Used to read markdown */
const Container = CompLibrary.Container;
const GridBlock = CompLibrary.GridBlock;
const pascaligoHighlighting = `
function pascaligo(hljs) {
return {
case_insensitive: true,
keywords: 'and begin block case const contains down else end fail for ' +
'from function if in is list map mod nil not of or patch ' +
'procedure record remove set skip step then to type var while'
,
literal: 'true false unit int string some none',
lexemes: '[a-z_]\\w*!?'
}
}
`
const pre = "```";
const pascaligoExample = `${pre}pascaligo
// variant defining pseudo multi-entrypoint actions
type action is
| Increment
| Decrement
function add(const a: int ; const b: int): int is
block { skip } with a + b
function subtract(const a: int ; const b: int): int is
block { skip } with a - b
// real entrypoint that re-routes the flow based on the action provided
function main(const p: action ; const s: int): (list(operation) * int) is
block { skip } with ((nil: list(operation)),
case p of
| Increment(n) -> add(s, n)
| Decrement(n) -> subtract(s, n)
end)
${ pre} `;
const cameligoExample = `${pre}ocaml
type storage = int
(* variant defining pseudo multi - entrypoint actions *)
type action =
| Increment of int
| Decrement of int
let add (a: int) (b: int): int = a + b
let subtract (a: int) (b: int): int = a - b
(* real entrypoint that re - routes the flow based on
the action provided *)
let%entry main(p : action) storage =
let storage =
match p with
| Increment n -> add storage n
| Decrement n -> subtract storage n
in (([] : operation list), storage)
${ pre} `;
const PascalLIGOTab = () => (
<div
id="tab-group-3-content-4"
@ -20,38 +83,7 @@ const PascalLIGOTab = () => (
data-group="group_3"
tabIndex="-1"
>
<div>
<span>
<pre>
<code className="hljs css language-Pascal">
// variant defining pseudo multi-entrypoint actions
<br />
type action is
<br />| Increment of int
<br />| Decrement of int
<br />
<br />
function add (const a : int ; const b : int) : int is
<br /> block {"{ skip }"} with a + b<br />
<br />
function subtract (const a : int ; const b : int) : int is
<br /> block {"{ skip }"} with a - b<br />
<br />
// real entrypoint that re-routes the flow based on the action
provided
<br />
function main (const p : action ; const s : int) : (list(operation)
* int) is
<br /> block {"{ skip }"} with ((nil : list(operation)),
<br /> case p of
<br /> | Increment(n) -&gt; add(s, n)
<br /> | Decrement(n) -&gt; subtract(s, n)
<br /> end)
<br />
</code>
</pre>
</span>
</div>
<MarkdownBlock>{pascaligoExample}</MarkdownBlock>
</div>
);
@ -62,33 +94,7 @@ const CamelLIGOTab = () => (
data-group="group_3"
tabIndex="-1"
>
<div>
<pre>
<code className="hljs css language-Pascal">
type storage = int <br />
<br />
(* variant defining pseudo multi-entrypoint actions *) <br />
<br />
type action =<br />| Increment of int
<br />| Decrement of int
<br />
<br />
let add (a: int) (b: int) : int = a + b<br />
<br />
let subtract (a: int) (b: int) : int = a - b<br />
<br />
(* real entrypoint that re-routes the flow based on the action
provided *)
<br />
<br />
let%entry main (p : action) storage =<br /> let storage =<br /> match
p with
<br /> | Increment n -> add storage n<br /> | Decrement n -> subtract
storage n<br /> in (([] : operation list), storage)
<br />
</code>
</pre>
</div>
<MarkdownBlock>{cameligoExample}</MarkdownBlock>
</div>
);
@ -134,6 +140,11 @@ class HomeSplash extends React.Component {
</div>
</div>
</div>
<script>
{pascaligoHighlighting}
hljs.registerLanguage('pascaligo', pascaligo);
</script>
</div>
);
@ -319,7 +330,7 @@ class Index extends React.Component {
<div className="partners-text">
<h3>Our Partners</h3>
<p className="body">
We are not alone in this world -- here're some guys who support us
We are not alone in this world -- here're some people who support us
</p>
</div>
</div>

58
gitlab-pages/website/static/css/custom.css
View File

@ -199,7 +199,6 @@ blockquote {
.tab-pane {
height: 550px;
overflow-x: auto;
}
blockquote code {
@ -618,3 +617,60 @@ body
width: 80%;
}
}
/* code highlights */
.hljs {
display:block;
overflow-x:hidden;
padding:.5em;
background:white;
color:black
}
.hljs-comment,
.hljs-quote,
.hljs-variable {
color:#008000
}
.hljs-keyword,
.hljs-selector-tag,
.hljs-built_in,
.hljs-name,
.hljs-tag {
color:#00f
}
.hljs-string,
.hljs-title,
.hljs-section,
.hljs-attribute,
.hljs-literal,
.hljs-template-tag,
.hljs-template-variable,
.hljs-type,
.hljs-addition {
color:#a31515
}
.hljs-deletion,
.hljs-selector-attr,
.hljs-selector-pseudo,
.hljs-meta {
color:#2b91af
}
.hljs-doctag {
color:#808080
}
.hljs-attr {
color:#f00
}
.hljs-symbol,
.hljs-bullet,
.hljs-link {
color:#00b0e8
}
.hljs-emphasis {
font-style:italic
}
.hljs-strong {
font-weight:bold
}