#lang sml
(*
 * (c) Andreas Rossberg 1999-2007
 *
 * Standard ML initial infix environment
 *
 * Definition, Appendix C
 *)

structure InitialInfixEnv :> INITIAL_INFIX_ENV =
struct
    (* Import type *)

    type InfEnv = Infix.InfEnv

    (* Value identifiers *)

    val vidCons   = VId.fromString "::"
    val vidEqual  = VId.fromString "="
    val vidAssign = VId.fromString ":="
    val RIGHT     = Infix.RIGHT
    val LEFT      = Infix.LEFT

    (* Export *)

    val J0 = VIdMap.fromList[(vidCons,   (RIGHT, 5)),
			     (vidEqual,  (LEFT,  4)),
			     (vidAssign, (LEFT,  3)),
                             (VId.fromString "*"     , (LEFT,  7)),
                             (VId.fromString "/"     , (LEFT,  7)),
                             (VId.fromString "div"   , (LEFT,  7)),
                             (VId.fromString "mod"   , (LEFT,  7)),
                             (VId.fromString "+"     , (LEFT,  6)),
                             (VId.fromString "-"     , (LEFT,  6)),
                             (VId.fromString "^"     , (LEFT,  6)),
                             (VId.fromString "@"     , (RIGHT, 5)),
                             (VId.fromString "<>"    , (LEFT,  4)),
                             (VId.fromString ">"     , (LEFT,  4)),
                             (VId.fromString ">="    , (LEFT,  4)),
                             (VId.fromString "<"     , (LEFT,  4)),
                             (VId.fromString "<="    , (LEFT,  4)),
                             (VId.fromString "o"     , (LEFT,  3)),
                             (VId.fromString "before", (LEFT,  3))]
end