Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | /** |
2 | * Name: sml_gaudy | |
3 | * Description: Standard ML programming language. | |
4 | * Author: Matthew Fluet <mfluet@acm.org> | |
5 | */ | |
6 | ||
7 | /* | |
8 | builtin_face --- | |
9 | comment_face --- comments | |
10 | function_name_face --- modules keywords | |
11 | highlight_face --- | |
12 | keyword_face --- core keywords | |
13 | reference_face --- special constants (nums) | |
14 | string_face --- strings | |
15 | type_face --- type bindings, type annotations | |
16 | variable_name_face --- constructor bindings | |
17 | */ | |
18 | ||
19 | require_state (sml_fancy); | |
20 | ||
21 | state sml_gaudy extends sml_fancy | |
22 | { | |
23 | /* | |
24 | * Keywords | |
25 | */ | |
26 | /,/ { | |
27 | sml_finish_typctxt (); | |
28 | language_print ($0); | |
29 | } | |
30 | /:/ { | |
31 | if (sml_andbind[0] == SML_AND_STRBIND || | |
32 | sml_andbind[0] == SML_AND_FUNBIND) { | |
33 | language_print ($0); | |
34 | } else { | |
35 | language_print ($0); | |
36 | if (sml_typctxt == -1) | |
37 | sml_start_typctxt (0); | |
38 | } | |
39 | } | |
40 | } | |
41 | ||
42 | \f | |
43 | /* | |
44 | Local variables: | |
45 | mode: c | |
46 | End: | |
47 | */ |