Changes in src/GenPoly/Box.cc [9799ec8:ca35c51]

File:

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

src/GenPoly/Box.cc

@@ -619 +619 @@
                         return 0;
                 }
-
+                
                 /// Returns T if the given declaration is a function with parameters (T*, T) for some TypeInstType T, NULL otherwise
                 TypeInstType *isTypeInstPtrValFn( DeclarationWithType *decl ) {
@@ -637 +637 @@
                         return 0;
                 }
-
+                
                 /// Returns T if the given declaration is (*?=?)(T *, T) for some TypeInstType T (return not checked, but maybe should be), NULL otherwise
                 TypeInstType *isTypeInstAssignment( DeclarationWithType *decl ) {
@@ -677 +677 @@
                         return 0;
                 }
-
+                
                 /// Returns T if the given declaration is a function with parameters (T*, T) for some type T, where neither parameter is cv-qualified,
                 /// NULL otherwise
@@ -772 +772 @@
                                 copyOps.beginScope();
                                 dtorOps.beginScope();
-
+                                
                                 DeclarationWithType *oldRetval = retval;
                                 bool oldUseRetval = useRetval;
@@ -1471 +1471 @@
                 VariableExpr *wrapFunctionDecl( DeclarationWithType *functionDecl ) {
                         // line below cloned from FixFunction.cc
-                        // xxx - functionObj is never added to a list of declarations...
                         ObjectDecl *functionObj = new ObjectDecl( functionDecl->get_name(), functionDecl->get_storageClass(), functionDecl->get_linkage(), 0,
                                                                   new PointerType( Type::Qualifiers(), functionDecl->get_type()->clone() ), 0 );
                         functionObj->set_mangleName( functionDecl->get_mangleName() );
-                        functionObj->set_scopeLevel( functionDecl->get_scopeLevel() );
                         return new VariableExpr( functionObj );
                 }
@@ -1494 +1492 @@
                                         = ParamEntry( assertOp->get_uniqueId(), assertOp->get_type()->clone(), actualDecl->get_type()->clone(), wrapFunctionDecl( assertOp ) );
                 }
-
+                
                 Statement * Pass1::mutate( ReturnStmt *returnStmt ) {
                         if ( retval && returnStmt->get_expr() ) {
@@ -1556 +1554 @@
                                                 DeclarationWithType *assertDtor = findOpForType( formalType, dtorOps, scopedDtorOps );
                                                 if ( ! assertDtor ) throw SemanticError( "No destructor found for ", formalType );
-
+                                                
                                                 // add inferred parameters for otype operators to assignment expression
                                                 // NOTE: Code here assumes that first four assertions are assign op, ctor, copy ctor, dtor, in that order
@@ -1570 +1568 @@
                                                 ++actualIt;
                                                 addAssertionFor( assignExpr, *actualIt, assertDtor );
-
+                                                
+                                                //DeclarationWithType *actualDecl = asserts.front();
+                                                //assignExpr->get_inferParams()[ actualDecl->get_uniqueId() ]
+                                                //      = ParamEntry( assertAssign->get_uniqueId(), assertAssign->get_type()->clone(), actualDecl->get_type()->clone(), wrapFunctionDecl( assertAssign ) );
                                         }
                                 }
@@ -2180 +2181 @@
                 bool PolyGenericCalculator::findGeneric( Type *ty ) {
                         ty = replaceTypeInst( ty, env );
-
+                        
                         if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( ty ) ) {
                                 if ( scopeTyVars.find( typeInst->get_name() ) != scopeTyVars.end() ) {