[nem-bug] [Nemerle 0000796]: ICE with $(TExpr.Something : typed)

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=796> 
======================================================================
Reported By:                malekith
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   796
Category:                   Compiler (parser/macros engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             11-29-2006 14:05 CET
Last Modified:              11-29-2006 14:05 CET
======================================================================
Summary:                    ICE with $(TExpr.Something : typed)
Description: 
match (null) {
  | <[ $(TExpr.LocalRef (r) : typed) ]> => {}
  | _ => {}
}

=>
q.n:2:8:2:37: debug: Internal compiler error, please report a bug to
bugs.nemerle.org. You can try modifying program near this location.
error: internal compiler error: assertion failed in file typing/Macros.n,
line 857:
expression generated from quotation has broken constructor
Macros.TypedChoose (TExpr.LocalRef (r))
  at Nemerle.Compiler.Macros.patternize_quotation
(Nemerle.Compiler.Parsetree.PExpr exp) [0x00000]
  at Nemerle.Compiler.Typer+PatternTyper.DoTypePattern
(Nemerle.Compiler.TyVar matched_value_type,
Nemerle.Compiler.Parsetree.PExpr pattern) [0x00000]
  at Nemerle.Compiler.Typer+PatternTyper.TypePattern
(Nemerle.Compiler.TyVar matched_value_type,
Nemerle.Compiler.Parsetree.PExpr pattern) [0x00000]
  at Nemerle.Compiler.Typer+PatternTyper._N_foreach_loop76025
(Nemerle.Compiler._N_closure76013 _N_Run_cp76024, Nemerle.Core.list`1
_N_u1218) [0x00000]

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-29-06 14:05 malekith       New Issue                                    
======================================================================