Changes between Version 4 and Version 5 of Commentary/Compiler/Coercions


Ignore:
Timestamp:
Nov 17, 2010 6:06:23 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Coercions

    v4 v5  
    133133c :: x~Int
    134134}}}
    135 Then the term `(f x (id (x~Int) c))` would be fine. Notice that the coercion argument is an appplication of the identity function.  (Yes it's a bit contrived.)  In `CoreExpr` form it would look like:
     135   Then the term `(f x (id (x~Int) c))` would be fine. Notice that the coercion argument is an appplication of the identity function.  (Yes it's a bit contrived.)  In `CoreExpr` form it would look like:
    136136{{{
    137137  App (App (Var f) (Type x))