Changeset 1516 for src/RTL/RTLToERTL.ma


Ignore:
Timestamp:
Nov 19, 2011, 12:38:20 AM (8 years ago)
Author:
sacerdot
Message:

Ported to syntax of Matita 0.99.1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLToERTL.ma

    r1481 r1516  
    359359  let def' ≝ foldi ? ? ? (translate_stmt globals) (joint_if_code … def) def' in
    360360   add_pro_and_epilogue ? (joint_if_params ?? def) (joint_if_result ?? def) def'.
    361 whd in match ertl_params (* CSC: Matita's bug here; not enough/too much reduction
     361whd in match ertl_params; (* CSC: Matita's bug here; not enough/too much reduction
    362362                                 makes the next application fail. Why? *)   
    363363%
Note: See TracChangeset for help on using the changeset viewer.