[nem-bug] [Nemerle 0000628]: Ugly error message (for list[void])

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=628> 
======================================================================
Reported By:                malekith
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   628
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-26-2006 13:03 CET
Last Modified:              05-08-2006 11:59 CEST
======================================================================
Summary:                    Ugly error message (for list[void])
Description: 
def f (_)
  {}

[1,2].Map (f).ToString (" ")

======================================================================

----------------------------------------------------------------------
 nazgul - 05-03-06 18:33 
----------------------------------------------------------------------
Now, it doesn't compile, but it gives ugly message:

____________________________________________________________
t.n:4:1:4:23: error: typing constraint on 'a not satisfied, upon
instantiation of Nemerle.Core.list
t.n:4:1:4:23: error: typing constraint on 'a not satisfied, upon
instantiation of Nemerle.Core.list
t.n:4:1:4:23: error: none of the overloads of ToString is possible:
t.n:4:1:4:23: error: typing constraint on 'a not satisfied, upon
instantiation of Nemerle.Core.list
t.n:4:1:4:23: error:   method Nemerle.Core.list.ToString() : string is no
longer present in void -> string after constraining
t.n:4:1:4:23: error: typing constraint on 'a not satisfied, upon
instantiation of Nemerle.Core.list
t.n:4:1:4:23: error:   method Nemerle.Core.list.ToString(separator :
string) : string is no longer present in string -> string after
constraining


----------------------------------------------------------------------
 malekith - 05-08-06 11:59 
----------------------------------------------------------------------
Reolved on trunk, as of r6245.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-26-06 13:03 malekith       New Issue                                    
05-03-06 18:33 nazgul         Note Added: 0001224                          
05-03-06 18:33 nazgul         Status                   new => confirmed    
05-03-06 18:33 nazgul         Summary                  invalid IL (list[void])
=> Ugly error message (for list[void])
05-03-06 18:33 nazgul         Description Updated                          
05-05-06 13:27 malekith       Status                   confirmed => assigned
05-05-06 13:27 malekith       Assigned To               => malekith        
05-08-06 11:59 malekith       Status                   assigned => resolved
05-08-06 11:59 malekith       Resolution               open => fixed       
05-08-06 11:59 malekith       Note Added: 0001245                          
======================================================================