Jakehp/language-sml — pull request #1 by j-baker (2014-12-28 16:47:23+00:00)
Title: Fixed incorrect highlighting of 'type'

The current code incorrectly highlights ‘type’ in

Hol_datatype `sample = Foo | Bar`;

which is erroneous.