Removed EMaxInt (no longer used).

src/IL.mli

@@ -162,7 +162,6 @@ and expr =
 
   | EUnit
   | EIntConst of int
-  | EMaxInt
   | EStringConst of string
   | EData of string * expr list
   | ETuple of expr list

src/printer.ml

@@ -267,7 +267,6 @@ let rec member e k =
   | ERecord _
   | ERecordAccess (_, _)
   | EIntConst _
-  | EMaxInt
   | EStringConst _
   | EUnit
   | EArray _
@@ -365,8 +364,6 @@ and exprk k f e =
 	  fprintf f "%d" k
 	else
 	  fprintf f "(%d)" k
-    | EMaxInt ->
-        fprintf f "max_int"
     | EStringConst s ->
 	fprintf f "\"%s\"" (String.escaped s)
     | ETuple [] ->

src/rawPrinter.ml

@@ -126,8 +126,6 @@ let rec expr e =
       node "unit" []
   | EIntConst k ->
       node "int" [ int k ]
-  | EMaxInt ->
-      node "max_int" []
   | EStringConst s ->
       node "string" [ string s ]
   | ETuple es ->

src/tableBackend.ml

@@ -327,7 +327,6 @@ let div a b =
 
 let rec size unboxed = function
   | EIntConst _
-  | EMaxInt
   | ETuple []
   | EData (_, []) ->
       if unboxed then 0 else 1

src/traverse.ml

@@ -88,8 +88,6 @@ class virtual ['env] map = object (self)
           self#eunit env
       | EIntConst k ->
           self#eintconst env k
-      | EMaxInt ->
-	  self#emaxint env
       | EStringConst s ->
           self#estringconst env s
       | EData (d, es) ->
@@ -193,9 +191,6 @@ class virtual ['env] map = object (self)
   method eintconst _env _k =
     raise NoChange
   
-  method emaxint _env =
-    raise NoChange
-
   method estringconst _env _s =
     raise NoChange
   
@@ -373,8 +368,6 @@ class virtual ['env, 'a] fold = object (self)
         self#eunit env accu
     | EIntConst k ->
         self#eintconst env accu k
-    | EMaxInt ->
-        self#emaxint env accu
     | EStringConst s ->
         self#estringconst env accu s
     | EData (d, es) ->
@@ -452,9 +445,6 @@ class virtual ['env, 'a] fold = object (self)
   method eintconst (_env : 'env) (accu : 'a) _k =
     accu
   
-  method emaxint (_env : 'env) (accu : 'a) =
-    accu
-
   method estringconst (_env : 'env) (accu : 'a) _s =
     accu