Changes between Initial Version and Version 1 of Ticket #3876


Ignore:
Timestamp:
Feb 14, 2010 10:29:51 PM (4 years ago)
Author:
igloo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3876 – Description

    initial v1  
    22 
    33the bug is the problem in the asignement of a thrown exception to another type. the coding style is unfortunate and not encourage, but the compiler should report an error. 
    4  
    54(code like 
     5{{{ 
    66             = do ... 
    77                return (case x of  
    88                           0 -> throw Anexception 
    99                        ) 
     10}}} 
    1011produces the error. 
    1112 
    12  
    13  
    14  
    1513i attach a file to demonstrate the problem.