[nem-bug] [Nemerle 0000823]: wrong error message for when( fun_returning_string ) ;

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=823> 
======================================================================
Reported By:                Luntain
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   823
Category:                   Compiler
Reproducibility:            always
Severity:                   trivial
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             01-13-2007 12:32 CET
Last Modified:              01-21-2007 21:46 CET
======================================================================
Summary:                    wrong error message for when( fun_returning_string )
;
Description: 
def f(): string
        ""
when(f())
   ()

causes 

15:5:15:9:
&http://nemerle.org/bugs/view.php?id=8592;[01;31merror&http://nemerle.org/bugs/view.php?id=8592;[0m:
expected string, got bool in
matched value: the types bool and string are not compatible [simple unify]
======================================================================

----------------------------------------------------------------------
 nazgul - 01-21-07 21:46 
----------------------------------------------------------------------
Fixed on trunk (r7317)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-13-07 12:32 Luntain        New Issue                                    
01-21-07 21:46 nazgul         Status                   new => resolved     
01-21-07 21:46 nazgul         Resolution               open => fixed       
01-21-07 21:46 nazgul         Assigned To               => nazgul          
01-21-07 21:46 nazgul         Note Added: 0001625                          
======================================================================