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

[feedback at nemerle.org]

The following issue has been CONFIRMED.
======================================================================
<http://nemerle.org/bugs/view.php?id=628> 
======================================================================
Reported By:                malekith
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   628
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     confirmed
======================================================================
Date Submitted:             02-26-2006 13:03 CET
Last Modified:              05-03-2006 18:33 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


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                          
======================================================================