Changes in src/ResolvExpr/TypeEnvironment.cc [98a249fb:09c72d5]

File:

• src/ResolvExpr/TypeEnvironment.cc (modified) (1 diff)

src/ResolvExpr/TypeEnvironment.cc

@@ -118 +118 @@
                         env.push_back( newClass );
                 } // for
+        }
+
+        void TypeEnvironment::add( const TypeSubstitution & sub ) {
+                EqvClass newClass;
+                for ( auto p : sub ) {
+                        newClass.vars.insert( p.first );
+                        newClass.type = p.second->clone();
+                        newClass.allowWidening = false;
+                        // Minimal assumptions. Not technically correct, but might be good enough, and
+                        // is the best we can do at the moment since information is lost in the
+                        // transition to TypeSubstitution
+                        newClass.data = TypeDecl::Data{ TypeDecl::Dtype, false };
+                        add( newClass );
+                }
         }