[svn] r6508: nemerle/trunk: boot/Nemerle.Compiler.dll boot/Nemerle.MSBuild.Tasks.dll boot/Nemerle.Macros.d...

[nazgul]

Log:
Check for deriving from module. Bootstrap

Author: nazgul
Date: Thu Aug 10 23:31:05 2006
New Revision: 6508

Modified:
   nemerle/trunk/boot/Nemerle.Compiler.dll
   nemerle/trunk/boot/Nemerle.MSBuild.Tasks.dll
   nemerle/trunk/boot/Nemerle.Macros.dll
   nemerle/trunk/boot/Nemerle.dll
   nemerle/trunk/boot/ncc.exe
   nemerle/trunk/ncc/hierarchy/TypeBuilder.n
   nemerle/trunk/ncc/testsuite/negative/implements.n

Modified: nemerle/trunk/boot/Nemerle.Compiler.dll
==============================================================================
Binary files. No diff available.

Modified: nemerle/trunk/boot/Nemerle.MSBuild.Tasks.dll
==============================================================================
Binary files. No diff available.

Modified: nemerle/trunk/boot/Nemerle.Macros.dll
==============================================================================
Binary files. No diff available.

Modified: nemerle/trunk/boot/Nemerle.dll
==============================================================================
Binary files. No diff available.

Modified: nemerle/trunk/boot/ncc.exe
==============================================================================
Binary files. No diff available.

Modified: nemerle/trunk/ncc/hierarchy/TypeBuilder.n
==============================================================================
--- nemerle/trunk/ncc/hierarchy/TypeBuilder.n	(original)
+++ nemerle/trunk/ncc/hierarchy/TypeBuilder.n	Thu Aug 10 23:31:05 2006
@@ -1175,6 +1175,8 @@
           Message.Error (loc, "cannot extend sealed class");
           parent_type = InternalType.Object
         }
+        when (tclass.tycon.Attributes %&& NemerleAttributes.Static)
+          Message.Error (loc, "cannot derive from module");
     }
 
     // construct this.iterate_first - enclosing type plus transitive closure of all base types

Modified: nemerle/trunk/ncc/testsuite/negative/implements.n
==============================================================================
--- nemerle/trunk/ncc/testsuite/negative/implements.n	(original)
+++ nemerle/trunk/ncc/testsuite/negative/implements.n	Thu Aug 10 23:31:05 2006
@@ -114,3 +114,8 @@
     2
   }
 }
\ No newline at end of file
+
+
+
+module Base { }
+module Deriv : Base { } // E: cannot derive from module