acg_token.ml 2.43 KB
Newer Older
1 2 3 4
(**************************************************************************)
(*                                                                        *)
(*                 ACG development toolkit                                *)
(*                                                                        *)
5
(*                  Copyright 2008-2018 INRIA                             *)
6
(*                                                                        *)
7
(*  More information on "http://acg.gforge.inria.fr/"                     *)
8 9 10 11 12 13 14 15 16 17 18 19
(*  License: CeCILL, see the LICENSE file or "http://www.cecill.info"     *)
(*  Authors: see the AUTHORS file                                         *)
(*                                                                        *)
(*                                                                        *)
(*                                                                        *)
(*                                                                        *)
(*  $Rev::                              $:  Revision of last commit       *)
(*  $Author::                           $:  Author of last commit         *)
(*  $Date::                             $:  Date of last commit           *)
(*                                                                        *)
(**************************************************************************)

20
open Logic.Abstract_syntax
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37

module Token =
struct
  type t =    
    | SYMBOL of (string*Abstract_syntax.location)
    | IDENT of (string*Abstract_syntax.location)
    | LIN_ARROW of (Abstract_syntax.location)
    | COLON_EQUAL of (Abstract_syntax.location)
    | ARROW of (Abstract_syntax.location)
    | LAMBDA0 of (Abstract_syntax.location)
    | LAMBDA of (Abstract_syntax.location)
    | BINDER of (Abstract_syntax.location)
    | INFIX of (Abstract_syntax.location)
    | PREFIX of (Abstract_syntax.location)
    | TYPE of (Abstract_syntax.location)
    | END_OF_DEC of (Abstract_syntax.location)
    | LEX_OPEN of (Abstract_syntax.location)
38
    | NL_LEX_OPEN of (Abstract_syntax.location)
39 40 41 42 43 44 45 46
    | SIG_OPEN of (Abstract_syntax.location)
    | DOT of (Abstract_syntax.location)
    | RPAREN of (Abstract_syntax.location)
    | LPAREN of (Abstract_syntax.location)
    | COMMA of (Abstract_syntax.location)
    | COLON of (Abstract_syntax.location)
    | SEMICOLON of (Abstract_syntax.location)
    | EQUAL of (Abstract_syntax.location)
47
    | COMPOSE of (Abstract_syntax.location)
48 49
    | EOI
end