Created
February 25, 2016 18:23
-
-
Save FlyingJester/eda832ca9e97a8ac841b to your computer and use it in GitHub Desktop.
Mercury Scheme for Programmer's Notepad
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<Scheme> | |
<keyword-classes> | |
<keyword-class name="mercury.keywords"> | |
module end_module use_module import_module include_module | |
bound ground free unique cloberred mostly_unique | |
is | |
if then else | |
foreign_code foreign_decl foreign_proc foreign_enum | |
interface implementation | |
will_not_call_mercury may_call_mercury | |
promise_pure promise_impure | |
will_not_throw_exception thread_safe tabled_for_io | |
det semidet nondet multi cc_multi fail erroneous | |
pure semipure impure | |
func pred mode type pragma instance typeclass | |
in out di uo ui mdi muo | |
</keyword-class> | |
<keyword-class name="mercury.insts"> | |
</keyword-class> | |
</keyword-classes> | |
<schemedef name="mercury" title="Mercury" author="Martin McDonough" url="" version="1" | |
casesensitive="true" braces="[()]"> | |
<strings> | |
<stringtype id="0" start="'" end="'" multiline="false" /> | |
<stringtype id="1" start=""" end=""" multiline="true"/> | |
</strings> | |
<identifiers start="[\_a-zA-Z]" /> | |
<comments> | |
<line start="%" /> | |
</comments> | |
<numbers start="[0-9]" content="[0-9.]" /> | |
<lexer name="mercury"/> | |
<use-keywords> | |
<keyword key="0" name="Keywords" class="mercury.keywords"/> | |
<keyword key="1" name="Insts" class="mercury.insts"/> | |
</use-keywords> | |
<use-styles> | |
<style name="Default" key="32" /> | |
<style name="Comment" key="1" class="comment"/> | |
<style name="Number" key="2" class="number"/> | |
<style name="Keyword1" key="3" class="keyword"/> | |
<style name="String" key="4" class="string"/> | |
<style name="Insts" key="5" class="keyword"/> | |
<style name="Operator" key="6" class="operator"/> | |
<style name="Identifier" key="7" class="identifier"/> | |
<style name="Atom" key="10" class="string" /> | |
<style name="String" key="11" class="string" fore="f80000"/> | |
<style name="HexNumber" key="17" class="number"/> | |
<style name="BinNumber" key="18" class="number"/> | |
</use-styles> | |
</schemedef> | |
</Scheme> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment