helm/www/lambdadelta/download/helena.sl

   1 $1 = "Helena";
   2
   3 create_syntax_table ($1);
   4
   5 define_syntax ("\\*","*\\",'%', $1);     % comments
   6 define_syntax ("([{<", ")]}>", '(', $1); % brackets
   7 define_syntax ('"', '"', $1);            % strings
   8 define_syntax ("\\a-zA-Z_0-9", 'w', $1); % words
   9
  10 set_syntax_flags ($1, 4);
  11
  12 () = define_keywords_n ($1, "\\ax\\th", 3, 0);
  13 () = define_keywords_n ($1, "\\def", 4, 0);
  14 () = define_keywords_n ($1, "\\cong\\decl\\open", 5, 0);
  15 () = define_keywords_n ($1, "\\close\\graph\\sorts", 6, 0);
  16 () = define_keywords_n ($1, "\\require", 8, 0);
  17 () = define_keywords_n ($1, "\\generate", 9, 0);
  18
  19 define helena_mode ()
  20 {
  21    variable kmap = "Helena";
  22
  23    set_mode(kmap, 0x04);
  24    use_syntax_table (kmap);
  25    runhooks("helena_mode_hook");
  26 }
  27
  28 add_mode_for_extension ("helena", "hln");