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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/toCminor.mli

    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
     
    142138  (var_type, Csyntax.type0) Types.prod Identifiers.identifier_map
    143139
    144 val undeclaredIdentifier : String.string
    145 
    146140val lookup' :
    147141  var_types -> PreIdentifiers.identifier -> (var_type, Csyntax.type0)
     
    177171
    178172open Cminor_syntax
    179 
    180 val badlyTypedAccess : String.string
    181 
    182 val badLvalue : String.string
    183 
    184 val missingField : String.string
    185173
    186174val type_should_eq : Csyntax.type0 -> Csyntax.type0 -> 'a1 -> 'a1 Errors.res
     
    239227  Errors.res
    240228
    241 val fIXME : String.string
    242 
    243229val translate_cast :
    244230  Csyntax.type0 -> Csyntax.type0 -> Cminor_syntax.expr Types.sig0 ->
     
    311297type lenv = PreIdentifiers.identifier Identifiers.identifier_map
    312298
    313 val missingLabel : String.string
    314 
    315299val lookup_label :
    316300  lenv -> PreIdentifiers.identifier -> PreIdentifiers.identifier Errors.res
     
    506490
    507491val labels_of_flag : convert_flag -> PreIdentifiers.identifier List.list
    508 
    509 val returnMismatch : String.string
    510492
    511493val translate_statement :
     
    513495  Types.option -> Csyntax.statement -> ((tmpgen, labgen) Types.prod,
    514496  Cminor_syntax.stmt) Types.prod Types.sig0 Errors.res
    515 
    516 val paramGlobalMixup : String.string
    517497
    518498val alloc_params :
     
    523503  Errors.res
    524504
    525 val duplicateLabel : String.string
    526 
    527505val populate_lenv :
    528506  AST.ident List.list -> labgen -> lenv -> (lenv Types.sig0, labgen)
Note: See TracChangeset for help on using the changeset viewer.