Changes between Version 1 and Version 2 of Ticket #7071


Ignore:
Timestamp:
Jul 16, 2012 10:07:33 AM (21 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7071 – Description

    v1 v2  
    1 At the moment arrow commands re-use `HsExpr` for Proc expressions.  But with Dan Winograd-Cort I concluded that the best thing by far would be to separate the data type of HsExpr from that of arrow commands. I think that would lead to a substantial tidy up.  
     1At the moment arrow commands re-use `HsExpr` for Proc expressions.  But with Dan Winograd-Cort I concluded that the best thing by far would be to separate the data type of `HsExpr` from that of arrow commands. I think that would lead to a substantial tidy up.  
    22 
    3 There is also a nasty lurking bug in the type checking of commands; see line 290 of TcArrows. Here we call the unifier, but do not do anything with the coercion it returns.  This is plainly wrong and will bite eventually. But I don't understand this code well enough to fix it. 
     3There is also a nasty lurking bug in the type checking of commands; see line 290 of `TcArrows`. Here we call the unifier, but do not do anything with the coercion it returns.  This is plainly wrong and will bite eventually. But I don't understand this code well enough to fix it. 
    44 
    55In short, I am not confident of the arrows implementation at the moment.