From 5749123bf65ad37418bf556f944c0f5021f83467 Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Sat, 28 Sep 2019 18:00:56 +0200 Subject: [PATCH] Add syntax highlighting for Cameligo. --- gitlab-pages/website/pages/en/index.js | 131 +++++++++++---------- gitlab-pages/website/static/css/custom.css | 58 ++++++++- 2 files changed, 128 insertions(+), 61 deletions(-) diff --git a/gitlab-pages/website/pages/en/index.js b/gitlab-pages/website/pages/en/index.js index 8c9cac7de..2b491ded2 100644 --- a/gitlab-pages/website/pages/en/index.js +++ b/gitlab-pages/website/pages/en/index.js @@ -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 = () => (
( data-group="group_3" tabIndex="-1" > -
- - 
-          
-            // variant defining pseudo multi-entrypoint actions
-            

-            type action is
-            
| Increment of int
-            
| Decrement of int
-            

-            

-            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)
-            

-          
-
- -
+ {pascaligoExample}
); @@ -62,33 +94,7 @@ const CamelLIGOTab = () => ( data-group="group_3" tabIndex="-1" > -
- 
-        
-          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)
-          

-        
-
-
+ {cameligoExample} ); @@ -134,6 +140,11 @@ class HomeSplash extends React.Component { + + ); @@ -319,7 +330,7 @@ class Index extends React.Component {

Our Partners

- 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

diff --git a/gitlab-pages/website/static/css/custom.css b/gitlab-pages/website/static/css/custom.css index d05420da8..79a84ead1 100644 --- a/gitlab-pages/website/static/css/custom.css +++ b/gitlab-pages/website/static/css/custom.css @@ -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 + } + \ No newline at end of file