Ignore:
Timestamp:
Mar 11, 2013, 12:41:33 PM (7 years ago)
Author:
sacerdot
Message:

The compiler can now show all back-end traces too (assembly and object code
are excluded ATM).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.mli

    r2829 r2842  
    312312val pass_jmdiscr : pass -> pass -> __
    313313
     314type 'x with_stack_model = ('x, AST.ident -> Nat.nat Types.option) Types.prod
     315
    314316type syntax_of_pass = __
    315317
     
    321323  Types.prod Errors.res
    322324
     325open Uses
     326
    323327val compute_fixpoint : Fixpoints.fixpoint_computer
    324328
    325329val colour_graph : Interference.coloured_graph_computer
     330
     331open AssocList
     332
     333val lookup_stack_cost :
     334  Joint.params -> Joint.joint_program -> PreIdentifiers.identifier -> Nat.nat
     335  Types.option
    326336
    327337val back_end :
Note: See TracChangeset for help on using the changeset viewer.