Changes in src/SynTree/ApplicationExpr.cc [0b00df0:aaeacf4]

File:

• src/SynTree/ApplicationExpr.cc (modified) (4 diffs)

src/SynTree/ApplicationExpr.cc

@@ -29 +29 @@
 
 ParamEntry::ParamEntry( const ParamEntry &other ) :
-                decl( other.decl ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) )/*, inferParams( new InferredParams( *other.inferParams ) )*/ {
+                decl( other.decl ), declptr( maybeClone( other.declptr ) ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) )/*, inferParams( new InferredParams( *other.inferParams ) )*/ {
 }
 
 ParamEntry &ParamEntry::operator=( const ParamEntry &other ) {
         if ( &other == this ) return *this;
-        decl = other.decl;
+        const_cast<UniqueId &>(decl) = other.decl;
+        const_cast<Declaration * &>(declptr) = maybeClone( other.declptr );
         // xxx - this looks like a memory leak
-        actualType = maybeClone( other.actualType );
-        formalType = maybeClone( other.formalType );
+        const_cast<Type * &>(actualType) = maybeClone( other.actualType );
+        const_cast<Type * &>(formalType) = maybeClone( other.formalType );
         expr = maybeClone( other.expr );
         // *inferParams = *other.inferParams;
@@ -44 +45 @@
 
 ParamEntry::~ParamEntry() {
+        delete declptr;
         delete actualType;
         delete formalType;
@@ -50 +52 @@
 
 ParamEntry::ParamEntry( ParamEntry && other ) :
-                decl( other.decl ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr )/*, inferParams( std::move( other.inferParams ) )*/ {
-        other.actualType = nullptr;
-        other.formalType = nullptr;
+                decl( other.decl ), declptr( other.declptr ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr )/*, inferParams( std::move( other.inferParams ) )*/ {
+        const_cast<Declaration * &>(other.declptr) = nullptr;
+        const_cast<Type * &>(other.actualType) = nullptr;
+        const_cast<Type * &>(other.formalType) = nullptr;
         other.expr = nullptr;
 }
@@ -58 +61 @@
 ParamEntry & ParamEntry::operator=( ParamEntry && other ) {
         if ( &other == this ) return *this;
+        delete declptr;
         delete actualType;
         delete formalType;
         delete expr;
-        decl = other.decl;
-        actualType = other.actualType;
-        formalType = other.formalType;
+        const_cast<UniqueId &>(decl) = other.decl;
+        const_cast<Declaration * &>(declptr) = other.declptr;
+        const_cast<Type * &>(actualType) = other.actualType;
+        const_cast<Type * &>(formalType) = other.formalType;
         expr = other.expr;
-        other.actualType = nullptr;
-        other.formalType = nullptr;
+        const_cast<Declaration * &>(other.declptr) = nullptr;
+        const_cast<Type * &>(other.actualType) = nullptr;
+        const_cast<Type * &>(other.formalType) = nullptr;
         other.expr = nullptr;
         // inferParams = std::move( other.inferParams );