[svn] r6135: nemerle/trunk/ncc: testsuite/negative/splices.n typing/TyVarEnv.n

[nazgul]

Log:
Check for $ in plain code

Author: nazgul
Date: Sun Feb 19 21:45:47 2006
New Revision: 6135

Added:
   nemerle/trunk/ncc/testsuite/negative/splices.n
Modified:
   nemerle/trunk/ncc/typing/TyVarEnv.n

Added: nemerle/trunk/ncc/testsuite/negative/splices.n
==============================================================================
--- (empty file)
+++ nemerle/trunk/ncc/testsuite/negative/splices.n	Sun Feb 19 21:45:47 2006
@@ -0,0 +1,8 @@
+
+class Bug624 {
+   public Stuff (t : int) : void {
+     System.Console.WriteLine(typeof($t)); // E: splicing
+     def term = "foo";
+     _ = $ "$(1 : $term)"; // E: splicing
+   } 
+}

Modified: nemerle/trunk/ncc/typing/TyVarEnv.n
==============================================================================
--- nemerle/trunk/ncc/typing/TyVarEnv.n	(original)
+++ nemerle/trunk/ncc/typing/TyVarEnv.n	Sun Feb 19 21:45:47 2006
@@ -294,7 +294,8 @@
             }
 
           | PExpr.Spliced =>
-            Util.ice ("Spliced type survived to typying.")
+            ReportError (messenger, "splicing `$' construct occured in plain code outside of `<[ ]>' quotations or string.");
+            InternalType.Object
 
           | PExpr.Array =>
             ReportError (messenger,