[svn] r7642: nemerle/trunk/ncc/typing/Typer-PatternTyper.n

[malekith]

Log:
Disable the variant subtyping test in matching, due to popular damand.

Author: malekith
Date: Tue May  1 11:51:34 2007
New Revision: 7642

Modified:
   nemerle/trunk/ncc/typing/Typer-PatternTyper.n

Modified: nemerle/trunk/ncc/typing/Typer-PatternTyper.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer-PatternTyper.n	(original)
+++ nemerle/trunk/ncc/typing/Typer-PatternTyper.n	Tue May  1 11:51:34 2007
@@ -474,12 +474,14 @@
                       def option_type = ti.GetFreshType ();
                       // Message.Debug ($ "$matched_value_type Provide $option_type");
                       if (matched_value_type.Provide (option_type)) {
+                        /*
                         def parent = ti.SuperClass ().Value.GetFreshType ();
                         when (! matched_value_type.Require (parent))
                           ReportError (messenger,
                                        $ "the matched value type "
                                          "$matched_value_type was expected "
                                          "to be subtype of $parent");
+                        */
                         def inpat = TypePattern (option_type, pattern);
                         Pattern.Application (ti, inpat)
                       } else {