Files
linguist/vendor/grammars/haskell.tmbundle/Syntaxes/Literate Haskell.plist
2016-08-24 09:30:20 -07:00

93 lines
2.2 KiB
Plaintext

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>fileTypes</key>
<array>
<string>lhs</string>
</array>
<key>keyEquivalent</key>
<string>^~H</string>
<key>name</key>
<string>Literate Haskell</string>
<key>patterns</key>
<array>
<dict>
<key>begin</key>
<string>^((\\)begin)({)code(})(\s*\n)?</string>
<key>captures</key>
<dict>
<key>1</key>
<dict>
<key>name</key>
<string>support.function.be.latex</string>
</dict>
<key>2</key>
<dict>
<key>name</key>
<string>punctuation.definition.function.latex</string>
</dict>
<key>3</key>
<dict>
<key>name</key>
<string>punctuation.definition.arguments.begin.latex</string>
</dict>
<key>4</key>
<dict>
<key>name</key>
<string>punctuation.definition.arguments.end.latex</string>
</dict>
</dict>
<key>contentName</key>
<string>source.haskell.embedded.latex</string>
<key>end</key>
<string>^((\\)end)({)code(})</string>
<key>name</key>
<string>meta.embedded.block.haskell.latex</string>
<key>patterns</key>
<array>
<dict>
<key>include</key>
<string>source.haskell</string>
</dict>
</array>
</dict>
<dict>
<key>begin</key>
<string>^(&gt; )</string>
<key>beginCaptures</key>
<dict>
<key>1</key>
<dict>
<key>name</key>
<string>punctuation.definition.bird-track.haskell</string>
</dict>
</dict>
<key>comment</key>
<string>This breaks type signature detection for now, but it's better than having no highlighting whatsoever.</string>
<key>contentName</key>
<string>source.haskell</string>
<key>end</key>
<string>$</string>
<key>name</key>
<string>meta.embedded.haskell</string>
<key>patterns</key>
<array>
<dict>
<key>include</key>
<string>source.haskell</string>
</dict>
</array>
</dict>
<dict>
<key>include</key>
<string>text.tex.latex</string>
</dict>
</array>
<key>scopeName</key>
<string>text.tex.latex.haskell</string>
<key>uuid</key>
<string>439807F5-7129-487D-B5DC-95D5272B43DD</string>
</dict>
</plist>