Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/frontend_misc.ml

    r2601 r2649  
    33open CostLabel
    44
     5open Coqlib
     6
    57open Proper
    68
     
    911open Deqsets
    1012
     13open ErrorMessages
     14
    1115open PreIdentifiers
    1216
     
    2731open Identifiers
    2832
    29 open Coqlib
    30 
    31 open Floats
    32 
    3333open Arithmetic
    34 
    35 open Char
    36 
    37 open String
    3834
    3935open Vector
     
    131127| List.Cons (hd0, tl) ->
    132128  let { Types.fst = id; Types.snd = ty } = hd0 in
    133   (match Identifiers.identifier_eq AST.symbolTag i id with
     129  (match Identifiers.identifier_eq PreIdentifiers.SymbolTag i id with
    134130   | Types.Inl _ -> Bool.True
    135131   | Types.Inr _ -> mem_assoc_env i tl)
Note: See TracChangeset for help on using the changeset viewer.