[svn] r5921: nemerle/trunk/ncc: testsuite/positive/partial-application.n typing/Macros.n typing/Typer.n

[malekith]

Log:
Allow _ is Something. Resolves #566.

Author: malekith
Date: Wed Nov  9 15:25:51 2005
New Revision: 5921

Modified:
   nemerle/trunk/ncc/testsuite/positive/partial-application.n
   nemerle/trunk/ncc/typing/Macros.n
   nemerle/trunk/ncc/typing/Typer.n

Modified: nemerle/trunk/ncc/testsuite/positive/partial-application.n
==============================================================================
--- nemerle/trunk/ncc/testsuite/positive/partial-application.n	(original)
+++ nemerle/trunk/ncc/testsuite/positive/partial-application.n	Wed Nov  9 15:25:51 2005
@@ -24,6 +24,8 @@
 }
 System.Console.WriteLine ([1,2].Map (_ + f (3)));
 
+_ = _ is [1];
+
 /*
 BEGIN-OUTPUT
 42

Modified: nemerle/trunk/ncc/typing/Macros.n
==============================================================================

Modified: nemerle/trunk/ncc/typing/Typer.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer.n	(original)
+++ nemerle/trunk/ncc/typing/Typer.n	Wed Nov  9 15:25:51 2005
@@ -1305,6 +1305,11 @@
           fnc
 
 
+        | <[ _ is $pat ]> =>
+          def sym = Macros.NewSymbol ();
+          TypeExpr (<[ fun ($(sym : name)) { $(sym : name) is $pat } ]>,
+                    expected)
+
         | PT.PExpr.Is (e1, e2) =>
           def e =
             if (CanBeTypeName (e2))
@@ -1440,7 +1445,7 @@
         | PT.PExpr.Wildcard
         | PT.PExpr.Where
         | PT.PExpr.As =>
-          ReportFatal (messenger, "found pattern expression inside a raw expression")
+          ReportFatal (messenger, $ "found pattern expression ($expression) inside a raw expression")
 
           
         | PT.PExpr.Void =>