Changeset f0ecf9b for src/GenPoly

Timestamp:

Nov 1, 2017, 5:40:05 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

fde89cf6

Parents:

b0837e4

Message:

Remove TypeDecl::Any, as it is subsumed by Dtype+sized

Location:

src/GenPoly

Files:

• InstantiateGeneric.cc (modified) (1 diff)
• ScrubTyVars.cc (modified) (1 diff)

src/GenPoly/InstantiateGeneric.cc

@@ -238 +238 @@
                                         assertf( false, "Ttype parameters are not currently allowed as parameters to generic types." );
                                         break;
-                                case TypeDecl::Any:
-                                        assertf( false, "otype parameters handled by baseParam->isComplete()." );
+                                default:
+                                        assertf( false, "Unhandled type parameter kind" );
                                         break;
                         }

src/GenPoly/ScrubTyVars.cc

@@ -40 +40 @@
                 if ( tyVar != tyVars->end() ) {
                         switch ( tyVar->second.kind ) {
-                          case TypeDecl::Any:
                           case TypeDecl::Dtype:
                           case TypeDecl::Ttype: