1*9880d681SAndroid Build Coastguard Worker(*===----------------------------------------------------------------------=== 2*9880d681SAndroid Build Coastguard Worker * Lexer Tokens 3*9880d681SAndroid Build Coastguard Worker *===----------------------------------------------------------------------===*) 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Worker(* The lexer returns these 'Kwd' if it is an unknown character, otherwise one of 6*9880d681SAndroid Build Coastguard Worker * these others for known things. *) 7*9880d681SAndroid Build Coastguard Workertype token = 8*9880d681SAndroid Build Coastguard Worker (* commands *) 9*9880d681SAndroid Build Coastguard Worker | Def | Extern 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Worker (* primary *) 12*9880d681SAndroid Build Coastguard Worker | Ident of string | Number of float 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Worker (* unknown *) 15*9880d681SAndroid Build Coastguard Worker | Kwd of char 16