Add new language feature to permit definitions of items of kind Nat, etc as well as items of kind Type.

Syntax for the feature is:
def Nat id = nexp

Note: some useful nexps may not parse properly.
All typedef forms can also be used as def Type ... if desired, but this is not required.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/pre_lexer.mll b/src/pre_lexer.mll
index 8987c0fd..f6ccd3c2 100644
--- a/src/pre_lexer.mll
+++ b/src/pre_lexer.mll
@@ -96,6 +96,7 @@ let kw_table =
      ("true",                    (fun x -> Other));
      ("Type",                    (fun x -> Other));
      ("typedef",		 (fun x -> Typedef));
+     ("def",                     (fun x -> Def));
      ("undefined",               (fun x -> Other));
      ("union",			 (fun x -> Other));
      ("with",                    (fun x -> Other));