Changes in / [e58be8e:5bf4712]

File:

• src/GenPoly/Box.cc (modified) (4 diffs)

src/GenPoly/Box.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Dec 02 11:52:37 2015
-// Update Count     : 201
+// Last Modified On : Thu Nov 26 17:01:55 2015
+// Update Count     : 191
 //
 
@@ -183 +183 @@
                 }
 
-                // returns true if the given declaration is: (*?=?)(T *, T) for some T (return not checked, but maybe should be)
                 bool checkAssignment( DeclarationWithType *decl, std::string &name ) {
                         if ( decl->get_name() == "?=?" ) {
@@ -669 +668 @@
                                                 TypeInstType *typeInst1 = isPolyPtr( appExpr->get_args().front()->get_results().front(), env, scopeTyVars );
                                                 TypeInstType *typeInst2 = isPolyPtr( appExpr->get_args().back()->get_results().front(), env, scopeTyVars );
-                                                assert( ! typeInst1 || ! typeInst2 );  // the arguments cannot both be polymorphic pointers
+                                                assert( ! typeInst1 || ! typeInst2 );
                                                 UntypedExpr *ret = 0;
-                                                if ( typeInst1 || typeInst2 ) { // one of the arguments is a polymorphic pointer
+                                                if ( typeInst1 || typeInst2 ) {
                                                         ret = new UntypedExpr( new NameExpr( "?+?" ) );
                                                 } // if
@@ -867 +866 @@
 
                 Statement * Pass1::mutate(ReturnStmt *retStmt) {
-                        // by this point, a cast expr on a polymorphic return value is redundant
+                        // a cast expr on a polymorphic return value is either redundant or invalid
                         while ( CastExpr *castExpr = dynamic_cast< CastExpr *>( retStmt->get_expr() ) ) {
                                 retStmt->set_expr( castExpr->get_arg() );