Move test_examplefiles to new tests/lexers scheme.examplefiles

1 files changed, 1505 insertions, 0 deletions

diff --git a/tests/lexers/shen/example.txt b/tests/lexers/shen/example.txt
new file mode 100644
index 00000000..dff52b14
--- /dev/null
+++ b/tests/lexers/shen/example.txt
@@ -0,0 +1,1505 @@
+---input---
+(package pygments-test [some symbols]
+
+\* multiline
+   comment
+*\
+
+\\ With vars as functions
+
+(define super
+  [Value Succ End] Action Combine Zero ->
+  (if (End Value)
+      Zero
+      (Combine (Action Value)
+               (super [(Succ Value) Succ End]
+                      Action Combine Zero))))
+
+(define for
+  Stream Action -> (super Stream Action (function do) 0))
+
+(define filter
+  Stream Condition ->
+  (super Stream
+         (/. Val (if (Condition Val) [Val] []))
+         (function append)
+         []))
+
+(for [0 (+ 1) (= 10)] (function print))
+
+(filter [0 (+ 1) (= 100)]
+        (/. X (integer? (/ X 3))))
+
+
+\\ Typed functions
+
+(define typed-map
+  { (A --> B) --> (list A) --> (list B) }
+  F X -> (typed-map-h F X []))
+
+(define typed-map-h
+  { (A --> B) --> (list A) --> (list B) \\ comment
+       --> (list B) }
+  _ [] X -> (reverse X)
+  F [X | Y] Z -> (typed-map-h F Y [(F X) | Z]))
+
+(define append-string
+  { string --> string \* comment *\ --> string }
+  S1 S2 -> (cn S1 S2))
+
+(let X 1
+     Y 2
+  (+ (type X number) (type Y number)))
+
+\\ Yacc
+
+(defcc <st_input>
+  <lrb>  <st_input1> <rrb> <st_input2> 
+   := (package-macro (macroexpand <st_input1>) <st_input2>);
+  <lcurly> <st_input> := [{ | <st_input>];
+  <rcurly> <st_input> := [} | <st_input>];    
+  <bar> <st_input> := [bar! | <st_input>];  
+  <semicolon> <st_input> := [; | <st_input>];
+  <colon> <equal> <st_input> := [:= | <st_input>];
+  <colon> <minus> <st_input> := [:- | <st_input>];
+  <colon> <st_input> := [: | <st_input>];
+  <comma> <st_input> := [(intern ",") | <st_input>];
+  <e> := [];)
+  
+(defcc <lsb>
+   91 := skip;)
+
+\\ Pattern matching
+
+(define matches
+  1 X 3 -> X
+  X Y Z -> Y where  (and (= X 1) (= Z 3))
+  true false _ -> true
+  (@p a X c) (@s X "abc") (@v 1 2 3 <>) -> true
+  [X | Rest] [] [a b c] -> true
+  [(@p a b)] [[[1] 2] X] "string" -> true
+  _ _ _ -> false)
+
+
+\\ Prolog
+
+(defprolog th*
+  X A Hyps <-- (show [X : A] Hyps) (when false);
+  X A _ <-- (fwhen (typedf? X)) (bind F (sigf X)) (call [F A]);
+  (mode [F] -) A Hyp <-- (th* F [--> A] Hyp);
+  (mode [cons X Y] -) [list A] Hyp <-- (th* X A Hyp) (th* Y [list A] Hyp);
+  (mode [@s X Y] -) string Hyp <-- (th* X string Hyp) (th* Y string Hyp);
+  (mode [lambda X Y] -) [A --> B] Hyp <-- ! 
+                                           (bind X&& (placeholder)) 
+                                           (bind Z (ebr X&& X Y))
+                                           (th* Z B [[X&& : A] | Hyp]); 
+  (mode [type X A] -) B Hyp <-- ! (unify A B) (th* X A Hyp);)
+
+\\ Macros
+
+(defmacro log-macro
+  [log N] -> [log N 10])
+
+\\ Sequent calculus
+
+(datatype rank
+
+  if (element? X [ace 2 3 4 5 6 7 8 9 10 jack queen king])
+  ________
+  X : rank;)
+
+(datatype suit
+
+  if (element? Suit [spades hearts diamonds clubs])
+  _________
+  Suit : suit;)
+
+(datatype card
+
+  Rank : rank; Suit : suit;
+  _________________
+  [Rank Suit] : card;
+
+  Rank : rank, Suit : suit >> P;
+  _____________________
+  [Rank Suit] : card >> P;)
+
+(datatype card
+
+  Rank : rank; Suit : suit;
+  ==================
+  [Rank Suit] : card;)
+
+\\ String interpolation and escape sequences
+
+"abc~A ~S~R ~% blah
+ c#30;c#31;blah"
+
+)
+
+---tokens---
+'('           Punctuation
+'package'     Keyword
+' '           Text
+'pygments-test' Name.Namespace
+' '           Text
+'['           Punctuation
+'some'        Literal
+' '           Text
+'symbols'     Literal
+']'           Punctuation
+'\n\n'        Text
+
+'\\* multiline\n   comment\n*\\' Comment.Multiline
+'\n\n'        Text
+
+'\\\\ With vars as functions' Comment.Single
+'\n\n'        Text
+
+'('           Punctuation
+'define'      Keyword
+' '           Text
+'super'       Name.Function
+'\n  '        Text
+'['           Punctuation
+'Value'       Name.Variable
+' '           Text
+'Succ'        Name.Variable
+' '           Text
+'End'         Name.Variable
+']'           Punctuation
+' '           Text
+'Action'      Name.Variable
+' '           Text
+'Combine'     Name.Variable
+' '           Text
+'Zero'        Name.Variable
+' '           Text
+'->'          Punctuation
+'\n  '        Text
+'('           Punctuation
+'if'          Keyword
+' '           Text
+'('           Punctuation
+'End'         Name.Function
+' '           Text
+'Value'       Name.Variable
+')'           Punctuation
+'\n      '    Text
+'Zero'        Name.Variable
+'\n      '    Text
+'('           Punctuation
+'Combine'     Name.Function
+' '           Text
+'('           Punctuation
+'Action'      Name.Function
+' '           Text
+'Value'       Name.Variable
+')'           Punctuation
+'\n               ' Text
+'('           Punctuation
+'super'       Name.Function
+' '           Text
+'['           Punctuation
+'('           Punctuation
+'Succ'        Name.Function
+' '           Text
+'Value'       Name.Variable
+')'           Punctuation
+' '           Text
+'Succ'        Name.Variable
+' '           Text
+'End'         Name.Variable
+']'           Punctuation
+'\n                      ' Text
+'Action'      Name.Variable
+' '           Text
+'Combine'     Name.Variable
+' '           Text
+'Zero'        Name.Variable
+')'           Punctuation
+')'           Punctuation
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'define'      Keyword
+' '           Text
+'for'         Name.Function
+'\n  '        Text
+'Stream'      Name.Variable
+' '           Text
+'Action'      Name.Variable
+' '           Text
+'->'          Punctuation
+' '           Text
+'('           Punctuation
+'super'       Name.Function
+' '           Text
+'Stream'      Name.Variable
+' '           Text
+'Action'      Name.Variable
+' '           Text
+'('           Punctuation
+'function'    Keyword
+' '           Text
+'do'          Name.Function
+')'           Punctuation
+' '           Text
+'0'           Literal.Number.Integer
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'define'      Keyword
+' '           Text
+'filter'      Name.Function
+'\n  '        Text
+'Stream'      Name.Variable
+' '           Text
+'Condition'   Name.Variable
+' '           Text
+'->'          Punctuation
+'\n  '        Text
+'('           Punctuation
+'super'       Name.Function
+' '           Text
+'Stream'      Name.Variable
+'\n         ' Text
+'('           Punctuation
+'/.'          Keyword
+' '           Text
+'Val'         Name.Variable
+' '           Text
+'('           Punctuation
+'if'          Keyword
+' '           Text
+'('           Punctuation
+'Condition'   Name.Function
+' '           Text
+'Val'         Name.Variable
+')'           Punctuation
+' '           Text
+'['           Punctuation
+'Val'         Name.Variable
+']'           Punctuation
+' '           Text
+'[]'          Keyword.Pseudo
+')'           Punctuation
+')'           Punctuation
+'\n         ' Text
+'('           Punctuation
+'function'    Keyword
+' '           Text
+'append'      Name.Function
+')'           Punctuation
+'\n         ' Text
+'[]'          Keyword.Pseudo
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'for'         Name.Function
+' '           Text
+'['           Punctuation
+'0'           Literal.Number.Integer
+' '           Text
+'('           Punctuation
+'+'           Name.Builtin
+' '           Text
+'1'           Literal.Number.Integer
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'='           Name.Builtin
+' '           Text
+'10'          Literal.Number.Integer
+')'           Punctuation
+']'           Punctuation
+' '           Text
+'('           Punctuation
+'function'    Keyword
+' '           Text
+'print'       Name.Function
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'filter'      Name.Function
+' '           Text
+'['           Punctuation
+'0'           Literal.Number.Integer
+' '           Text
+'('           Punctuation
+'+'           Name.Builtin
+' '           Text
+'1'           Literal.Number.Integer
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'='           Name.Builtin
+' '           Text
+'100'         Literal.Number.Integer
+')'           Punctuation
+']'           Punctuation
+'\n        '  Text
+'('           Punctuation
+'/.'          Keyword
+' '           Text
+'X'           Name.Variable
+' '           Text
+'('           Punctuation
+'integer?'    Name.Builtin
+' '           Text
+'('           Punctuation
+'/'           Name.Builtin
+' '           Text
+'X'           Name.Variable
+' '           Text
+'3'           Literal.Number.Integer
+')'           Punctuation
+')'           Punctuation
+')'           Punctuation
+')'           Punctuation
+'\n\n\n'      Text
+
+'\\\\ Typed functions' Comment.Single
+'\n\n'        Text
+
+'('           Punctuation
+'define'      Keyword
+' '           Text
+'typed-map'   Name.Function
+'\n  '        Text
+'{'           Punctuation
+' '           Text
+'('           Punctuation
+'A'           Name.Variable
+' '           Text
+'-->'         Punctuation
+' '           Text
+'B'           Name.Variable
+')'           Punctuation
+' '           Text
+'-->'         Punctuation
+' '           Text
+'('           Punctuation
+'list'        Keyword.Type
+' '           Text
+'A'           Name.Variable
+')'           Punctuation
+' '           Text
+'-->'         Punctuation
+' '           Text
+'('           Punctuation
+'list'        Keyword.Type
+' '           Text
+'B'           Name.Variable
+')'           Punctuation
+' '           Text
+'}'           Punctuation
+'\n  '        Text
+'F'           Name.Variable
+' '           Text
+'X'           Name.Variable
+' '           Text
+'->'          Punctuation
+' '           Text
+'('           Punctuation
+'typed-map-h' Name.Function
+' '           Text
+'F'           Name.Variable
+' '           Text
+'X'           Name.Variable
+' '           Text
+'[]'          Keyword.Pseudo
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'define'      Keyword
+' '           Text
+'typed-map-h' Name.Function
+'\n  '        Text
+'{'           Punctuation
+' '           Text
+'('           Punctuation
+'A'           Name.Variable
+' '           Text
+'-->'         Punctuation
+' '           Text
+'B'           Name.Variable
+')'           Punctuation
+' '           Text
+'-->'         Punctuation
+' '           Text
+'('           Punctuation
+'list'        Keyword.Type
+' '           Text
+'A'           Name.Variable
+')'           Punctuation
+' '           Text
+'-->'         Punctuation
+' '           Text
+'('           Punctuation
+'list'        Keyword.Type
+' '           Text
+'B'           Name.Variable
+')'           Punctuation
+' '           Text
+'\\\\ comment' Comment.Single
+'\n       '   Text
+'-->'         Punctuation
+' '           Text
+'('           Punctuation
+'list'        Keyword.Type
+' '           Text
+'B'           Name.Variable
+')'           Punctuation
+' '           Text
+'}'           Punctuation
+'\n  '        Text
+'_'           Name.Builtin
+' '           Text
+'[]'          Keyword.Pseudo
+' '           Text
+'X'           Name.Variable
+' '           Text
+'->'          Punctuation
+' '           Text
+'('           Punctuation
+'reverse'     Name.Builtin
+' '           Text
+'X'           Name.Variable
+')'           Punctuation
+'\n  '        Text
+'F'           Name.Variable
+' '           Text
+'['           Punctuation
+'X'           Name.Variable
+' '           Text
+'|'           Punctuation
+' '           Text
+'Y'           Name.Variable
+']'           Punctuation
+' '           Text
+'Z'           Name.Variable
+' '           Text
+'->'          Punctuation
+' '           Text
+'('           Punctuation
+'typed-map-h' Name.Function
+' '           Text
+'F'           Name.Variable
+' '           Text
+'Y'           Name.Variable
+' '           Text
+'['           Punctuation
+'('           Punctuation
+'F'           Name.Function
+' '           Text
+'X'           Name.Variable
+')'           Punctuation
+' '           Text
+'|'           Punctuation
+' '           Text
+'Z'           Name.Variable
+']'           Punctuation
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'define'      Keyword
+' '           Text
+'append-string' Name.Function
+'\n  '        Text
+'{'           Punctuation
+' '           Text
+'string'      Keyword.Type
+' '           Text
+'-->'         Punctuation
+' '           Text
+'string'      Keyword.Type
+' '           Text
+'\\* comment *\\' Comment.Multiline
+' '           Text
+'-->'         Punctuation
+' '           Text
+'string'      Keyword.Type
+' '           Text
+'}'           Punctuation
+'\n  '        Text
+'S1'          Name.Variable
+' '           Text
+'S2'          Name.Variable
+' '           Text
+'->'          Punctuation
+' '           Text
+'('           Punctuation
+'cn'          Name.Builtin
+' '           Text
+'S1'          Name.Variable
+' '           Text
+'S2'          Name.Variable
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'let'         Keyword
+' '           Text
+'X'           Name.Variable
+' '           Text
+'1'           Literal.Number.Integer
+'\n     '     Text
+'Y'           Name.Variable
+' '           Text
+'2'           Literal.Number.Integer
+'\n  '        Text
+'('           Punctuation
+'+'           Name.Builtin
+' '           Text
+'('           Punctuation
+'type'        Keyword
+' '           Text
+'X'           Name.Variable
+' '           Text
+'number'      Literal
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'type'        Keyword
+' '           Text
+'Y'           Name.Variable
+' '           Text
+'number'      Literal
+')'           Punctuation
+')'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'\\\\ Yacc'   Comment.Single
+'\n\n'        Text
+
+'('           Punctuation
+'defcc'       Keyword
+' '           Text
+'<st_input>'  Name.Function
+'\n  '        Text
+'<lrb>'       Literal
+'  '          Text
+'<st_input1>' Literal
+' '           Text
+'<rrb>'       Literal
+' '           Text
+'<st_input2>' Literal
+' \n   '      Text
+':='          Punctuation
+' '           Text
+'('           Punctuation
+'package-macro' Name.Function
+' '           Text
+'('           Punctuation
+'macroexpand' Name.Builtin
+' '           Text
+'<st_input1>' Literal
+')'           Punctuation
+' '           Text
+'<st_input2>' Literal
+')'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'<lcurly>'    Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+'{'           Literal
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'<rcurly>'    Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+'}'           Literal
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'    \n  '    Text
+'<bar>'       Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+'bar!'        Literal
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'  \n  '      Text
+'<semicolon>' Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+';'           Punctuation
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'<colon>'     Literal
+' '           Text
+'<equal>'     Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+':='          Punctuation
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'<colon>'     Literal
+' '           Text
+'<minus>'     Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+':-'          Literal
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'<colon>'     Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+':'           Literal
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'<comma>'     Literal
+' '           Text
+'<st_input>'  Literal
+' '           Text
+':='          Punctuation
+' '           Text
+'['           Punctuation
+'('           Punctuation
+'intern'      Name.Builtin
+' '           Text
+'"'           Literal.String
+','           Literal.String
+'"'           Literal.String
+')'           Punctuation
+' '           Text
+'|'           Punctuation
+' '           Text
+'<st_input>'  Literal
+']'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'<e>'         Name.Builtin
+' '           Text
+':='          Punctuation
+' '           Text
+'[]'          Keyword.Pseudo
+';'           Punctuation
+')'           Punctuation
+'\n  \n'      Text
+
+'('           Punctuation
+'defcc'       Keyword
+' '           Text
+'<lsb>'       Name.Function
+'\n   '       Text
+'91'          Literal.Number.Integer
+' '           Text
+':='          Punctuation
+' '           Text
+'skip'        Name.Builtin
+';'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'\\\\ Pattern matching' Comment.Single
+'\n\n'        Text
+
+'('           Punctuation
+'define'      Keyword
+' '           Text
+'matches'     Name.Function
+'\n  '        Text
+'1'           Literal.Number.Integer
+' '           Text
+'X'           Name.Variable
+' '           Text
+'3'           Literal.Number.Integer
+' '           Text
+'->'          Punctuation
+' '           Text
+'X'           Name.Variable
+'\n  '        Text
+'X'           Name.Variable
+' '           Text
+'Y'           Name.Variable
+' '           Text
+'Z'           Name.Variable
+' '           Text
+'->'          Punctuation
+' '           Text
+'Y'           Name.Variable
+' '           Text
+'where'       Name.Builtin
+'  '          Text
+'('           Punctuation
+'and'         Keyword
+' '           Text
+'('           Punctuation
+'='           Name.Builtin
+' '           Text
+'X'           Name.Variable
+' '           Text
+'1'           Literal.Number.Integer
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'='           Name.Builtin
+' '           Text
+'Z'           Name.Variable
+' '           Text
+'3'           Literal.Number.Integer
+')'           Punctuation
+')'           Punctuation
+'\n  '        Text
+'true'        Keyword.Pseudo
+' '           Text
+'false'       Keyword.Pseudo
+' '           Text
+'_'           Name.Builtin
+' '           Text
+'->'          Punctuation
+' '           Text
+'true'        Keyword.Pseudo
+'\n  '        Text
+'('           Punctuation
+'@p'          Keyword
+' '           Text
+'a'           Literal
+' '           Text
+'X'           Name.Variable
+' '           Text
+'c'           Literal
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'@s'          Keyword
+' '           Text
+'X'           Name.Variable
+' '           Text
+'"'           Literal.String
+'a'           Literal.String
+'b'           Literal.String
+'c'           Literal.String
+'"'           Literal.String
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'@v'          Keyword
+' '           Text
+'1'           Literal.Number.Integer
+' '           Text
+'2'           Literal.Number.Integer
+' '           Text
+'3'           Literal.Number.Integer
+' '           Text
+'<>'          Keyword.Pseudo
+')'           Punctuation
+' '           Text
+'->'          Punctuation
+' '           Text
+'true'        Keyword.Pseudo
+'\n  '        Text
+'['           Punctuation
+'X'           Name.Variable
+' '           Text
+'|'           Punctuation
+' '           Text
+'Rest'        Name.Variable
+']'           Punctuation
+' '           Text
+'[]'          Keyword.Pseudo
+' '           Text
+'['           Punctuation
+'a'           Literal
+' '           Text
+'b'           Literal
+' '           Text
+'c'           Literal
+']'           Punctuation
+' '           Text
+'->'          Punctuation
+' '           Text
+'true'        Keyword.Pseudo
+'\n  '        Text
+'['           Punctuation
+'('           Punctuation
+'@p'          Keyword
+' '           Text
+'a'           Literal
+' '           Text
+'b'           Literal
+')'           Punctuation
+']'           Punctuation
+' '           Text
+'['           Punctuation
+'['           Punctuation
+'['           Punctuation
+'1'           Literal.Number.Integer
+']'           Punctuation
+' '           Text
+'2'           Literal.Number.Integer
+']'           Punctuation
+' '           Text
+'X'           Name.Variable
+']'           Punctuation
+' '           Text
+'"'           Literal.String
+'s'           Literal.String
+'t'           Literal.String
+'r'           Literal.String
+'i'           Literal.String
+'n'           Literal.String
+'g'           Literal.String
+'"'           Literal.String
+' '           Text
+'->'          Punctuation
+' '           Text
+'true'        Keyword.Pseudo
+'\n  '        Text
+'_'           Name.Builtin
+' '           Text
+'_'           Name.Builtin
+' '           Text
+'_'           Name.Builtin
+' '           Text
+'->'          Punctuation
+' '           Text
+'false'       Keyword.Pseudo
+')'           Punctuation
+'\n\n\n'      Text
+
+'\\\\ Prolog' Comment.Single
+'\n\n'        Text
+
+'('           Punctuation
+'defprolog'   Keyword
+' '           Text
+'th*'         Name.Function
+'\n  '        Text
+'X'           Name.Variable
+' '           Text
+'A'           Name.Variable
+' '           Text
+'Hyps'        Name.Variable
+' '           Text
+'<--'         Punctuation
+' '           Text
+'('           Punctuation
+'show'        Name.Function
+' '           Text
+'['           Punctuation
+'X'           Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'A'           Name.Variable
+']'           Punctuation
+' '           Text
+'Hyps'        Name.Variable
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'when'        Name.Builtin
+' '           Text
+'false'       Keyword.Pseudo
+')'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'X'           Name.Variable
+' '           Text
+'A'           Name.Variable
+' '           Text
+'_'           Name.Builtin
+' '           Text
+'<--'         Punctuation
+' '           Text
+'('           Punctuation
+'fwhen'       Name.Builtin
+' '           Text
+'('           Punctuation
+'typedf?'     Name.Function
+' '           Text
+'X'           Name.Variable
+')'           Punctuation
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'bind'        Name.Builtin
+' '           Text
+'F'           Name.Variable
+' '           Text
+'('           Punctuation
+'sigf'        Name.Function
+' '           Text
+'X'           Name.Variable
+')'           Punctuation
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'call'        Name.Builtin
+' '           Text
+'['           Punctuation
+'F'           Name.Variable
+' '           Text
+'A'           Name.Variable
+']'           Punctuation
+')'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'('           Punctuation
+'mode'        Name.Builtin
+' '           Text
+'['           Punctuation
+'F'           Name.Variable
+']'           Punctuation
+' '           Text
+'-'           Literal
+')'           Punctuation
+' '           Text
+'A'           Name.Variable
+' '           Text
+'Hyp'         Name.Variable
+' '           Text
+'<--'         Punctuation
+' '           Text
+'('           Punctuation
+'th*'         Name.Function
+' '           Text
+'F'           Name.Variable
+' '           Text
+'['           Punctuation
+'-->'         Punctuation
+' '           Text
+'A'           Name.Variable
+']'           Punctuation
+' '           Text
+'Hyp'         Name.Variable
+')'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'('           Punctuation
+'mode'        Name.Builtin
+' '           Text
+'['           Punctuation
+'cons'        Literal
+' '           Text
+'X'           Name.Variable
+' '           Text
+'Y'           Name.Variable
+']'           Punctuation
+' '           Text
+'-'           Literal
+')'           Punctuation
+' '           Text
+'['           Punctuation
+'list'        Literal
+' '           Text
+'A'           Name.Variable
+']'           Punctuation
+' '           Text
+'Hyp'         Name.Variable
+' '           Text
+'<--'         Punctuation
+' '           Text
+'('           Punctuation
+'th*'         Name.Function
+' '           Text
+'X'           Name.Variable
+' '           Text
+'A'           Name.Variable
+' '           Text
+'Hyp'         Name.Variable
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'th*'         Name.Function
+' '           Text
+'Y'           Name.Variable
+' '           Text
+'['           Punctuation
+'list'        Literal
+' '           Text
+'A'           Name.Variable
+']'           Punctuation
+' '           Text
+'Hyp'         Name.Variable
+')'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'('           Punctuation
+'mode'        Name.Builtin
+' '           Text
+'['           Punctuation
+'@s'          Literal
+' '           Text
+'X'           Name.Variable
+' '           Text
+'Y'           Name.Variable
+']'           Punctuation
+' '           Text
+'-'           Literal
+')'           Punctuation
+' '           Text
+'string'      Literal
+' '           Text
+'Hyp'         Name.Variable
+' '           Text
+'<--'         Punctuation
+' '           Text
+'('           Punctuation
+'th*'         Name.Function
+' '           Text
+'X'           Name.Variable
+' '           Text
+'string'      Literal
+' '           Text
+'Hyp'         Name.Variable
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'th*'         Name.Function
+' '           Text
+'Y'           Name.Variable
+' '           Text
+'string'      Literal
+' '           Text
+'Hyp'         Name.Variable
+')'           Punctuation
+';'           Punctuation
+'\n  '        Text
+'('           Punctuation
+'mode'        Name.Builtin
+' '           Text
+'['           Punctuation
+'lambda'      Literal
+' '           Text
+'X'           Name.Variable
+' '           Text
+'Y'           Name.Variable
+']'           Punctuation
+' '           Text
+'-'           Literal
+')'           Punctuation
+' '           Text
+'['           Punctuation
+'A'           Name.Variable
+' '           Text
+'-->'         Punctuation
+' '           Text
+'B'           Name.Variable
+']'           Punctuation
+' '           Text
+'Hyp'         Name.Variable
+' '           Text
+'<--'         Punctuation
+' '           Text
+'!'           Name.Builtin
+' \n                                           ' Text
+'('           Punctuation
+'bind'        Name.Builtin
+' '           Text
+'X&&'         Name.Variable
+' '           Text
+'('           Punctuation
+'placeholder' Name.Function
+')'           Punctuation
+')'           Punctuation
+' \n                                           ' Text
+'('           Punctuation
+'bind'        Name.Builtin
+' '           Text
+'Z'           Name.Variable
+' '           Text
+'('           Punctuation
+'ebr'         Name.Function
+' '           Text
+'X&&'         Name.Variable
+' '           Text
+'X'           Name.Variable
+' '           Text
+'Y'           Name.Variable
+')'           Punctuation
+')'           Punctuation
+'\n                                           ' Text
+'('           Punctuation
+'th*'         Name.Function
+' '           Text
+'Z'           Name.Variable
+' '           Text
+'B'           Name.Variable
+' '           Text
+'['           Punctuation
+'['           Punctuation
+'X&&'         Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'A'           Name.Variable
+']'           Punctuation
+' '           Text
+'|'           Punctuation
+' '           Text
+'Hyp'         Name.Variable
+']'           Punctuation
+')'           Punctuation
+';'           Punctuation
+' \n  '       Text
+'('           Punctuation
+'mode'        Name.Builtin
+' '           Text
+'['           Punctuation
+'type'        Literal
+' '           Text
+'X'           Name.Variable
+' '           Text
+'A'           Name.Variable
+']'           Punctuation
+' '           Text
+'-'           Literal
+')'           Punctuation
+' '           Text
+'B'           Name.Variable
+' '           Text
+'Hyp'         Name.Variable
+' '           Text
+'<--'         Punctuation
+' '           Text
+'!'           Name.Builtin
+' '           Text
+'('           Punctuation
+'unify'       Name.Builtin
+' '           Text
+'A'           Name.Variable
+' '           Text
+'B'           Name.Variable
+')'           Punctuation
+' '           Text
+'('           Punctuation
+'th*'         Name.Function
+' '           Text
+'X'           Name.Variable
+' '           Text
+'A'           Name.Variable
+' '           Text
+'Hyp'         Name.Variable
+')'           Punctuation
+';'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'\\\\ Macros' Comment.Single
+'\n\n'        Text
+
+'('           Punctuation
+'defmacro'    Keyword
+' '           Text
+'log-macro'   Name.Function
+'\n  '        Text
+'['           Punctuation
+'log'         Literal
+' '           Text
+'N'           Name.Variable
+']'           Punctuation
+' '           Text
+'->'          Punctuation
+' '           Text
+'['           Punctuation
+'log'         Literal
+' '           Text
+'N'           Name.Variable
+' '           Text
+'10'          Literal.Number.Integer
+']'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'\\\\ Sequent calculus' Comment.Single
+'\n\n'        Text
+
+'('           Punctuation
+'datatype'    Keyword
+' '           Text
+'rank'        Keyword.Type
+'\n\n  '      Text
+'if'          Literal
+' '           Text
+'('           Punctuation
+'element?'    Name.Builtin
+' '           Text
+'X'           Name.Variable
+' '           Text
+'['           Punctuation
+'ace'         Literal
+' '           Text
+'2'           Literal.Number.Integer
+' '           Text
+'3'           Literal.Number.Integer
+' '           Text
+'4'           Literal.Number.Integer
+' '           Text
+'5'           Literal.Number.Integer
+' '           Text
+'6'           Literal.Number.Integer
+' '           Text
+'7'           Literal.Number.Integer
+' '           Text
+'8'           Literal.Number.Integer
+' '           Text
+'9'           Literal.Number.Integer
+' '           Text
+'10'          Literal.Number.Integer
+' '           Text
+'jack'        Literal
+' '           Text
+'queen'       Literal
+' '           Text
+'king'        Literal
+']'           Punctuation
+')'           Punctuation
+'\n  '        Text
+'________'    Punctuation
+'\n  '        Text
+'X'           Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'rank'        Keyword.Type
+';'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'datatype'    Keyword
+' '           Text
+'suit'        Literal
+'\n\n  '      Text
+'if'          Literal
+' '           Text
+'('           Punctuation
+'element?'    Name.Builtin
+' '           Text
+'Suit'        Name.Variable
+' '           Text
+'['           Punctuation
+'spades'      Literal
+' '           Text
+'hearts'      Literal
+' '           Text
+'diamonds'    Literal
+' '           Text
+'clubs'       Literal
+']'           Punctuation
+')'           Punctuation
+'\n  '        Text
+'_________'   Punctuation
+'\n  '        Text
+'Suit'        Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'suit'        Keyword.Type
+';'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'datatype'    Keyword
+' '           Text
+'card'        Literal
+'\n\n  '      Text
+'Rank'        Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'rank'        Keyword.Type
+';'           Punctuation
+' '           Text
+'Suit'        Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'suit'        Keyword.Type
+';'           Punctuation
+'\n  '        Text
+'_________________' Punctuation
+'\n  '        Text
+'['           Punctuation
+'Rank'        Name.Variable
+' '           Text
+'Suit'        Name.Variable
+']'           Punctuation
+' '           Text
+':'           Literal
+' '           Text
+'card'        Keyword.Type
+';'           Punctuation
+'\n\n  '      Text
+'Rank'        Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'rank,'       Keyword.Type
+' '           Text
+'Suit'        Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'suit'        Keyword.Type
+' '           Text
+'>>'          Name.Builtin
+' '           Text
+'P'           Name.Variable
+';'           Punctuation
+'\n  '        Text
+'_____________________' Punctuation
+'\n  '        Text
+'['           Punctuation
+'Rank'        Name.Variable
+' '           Text
+'Suit'        Name.Variable
+']'           Punctuation
+' '           Text
+':'           Literal
+' '           Text
+'card'        Keyword.Type
+' '           Text
+'>>'          Name.Builtin
+' '           Text
+'P'           Name.Variable
+';'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'('           Punctuation
+'datatype'    Keyword
+' '           Text
+'card'        Literal
+'\n\n  '      Text
+'Rank'        Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'rank'        Keyword.Type
+';'           Punctuation
+' '           Text
+'Suit'        Name.Variable
+' '           Text
+':'           Literal
+' '           Text
+'suit'        Keyword.Type
+';'           Punctuation
+'\n  '        Text
+'==================' Punctuation
+'\n  '        Text
+'['           Punctuation
+'Rank'        Name.Variable
+' '           Text
+'Suit'        Name.Variable
+']'           Punctuation
+' '           Text
+':'           Literal
+' '           Text
+'card'        Keyword.Type
+';'           Punctuation
+')'           Punctuation
+'\n\n'        Text
+
+'\\\\ String interpolation and escape sequences' Comment.Single
+'\n\n'        Text
+
+'"'           Literal.String
+'a'           Literal.String
+'b'           Literal.String
+'c'           Literal.String
+'~A'          Literal.String.Interpol
+' '           Literal.String
+'~S'          Literal.String.Interpol
+'~R'          Literal.String.Interpol
+' '           Literal.String
+'~%'          Literal.String.Interpol
+' '           Literal.String
+'b'           Literal.String
+'l'           Literal.String
+'a'           Literal.String
+'h'           Literal.String
+'\n'          Literal.String
+
+' '           Literal.String
+'c#30;'       Literal.String.Escape
+'c#31;'       Literal.String.Escape
+'b'           Literal.String
+'l'           Literal.String
+'a'           Literal.String
+'h'           Literal.String
+'"'           Literal.String
+'\n\n'        Text
+
+')'           Punctuation
+'\n'          Text