166b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman(*===----------------------------------------------------------------------=== 266b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman * Lexer Tokens 366b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman *===----------------------------------------------------------------------===*) 466b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman 566b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman(* The lexer returns these 'Kwd' if it is an unknown character, otherwise one of 666b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman * these others for known things. *) 766b8ab22586debccb1f787d4d52b7f042d4ddeb8John Baumantype token = 866b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman (* commands *) 966b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman | Def | Extern 1066b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman 1166b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman (* primary *) 1266b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman | Ident of string | Number of float 1366b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman 1466b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman (* unknown *) 1566b8ab22586debccb1f787d4d52b7f042d4ddeb8John Bauman | Kwd of char 16