Further improvements to hashes

usethesource · Jul 10, 2024 · 02ecb53 · 02ecb53
1 parent 5385c21
commit 02ecb53
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDataDeclaration.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDataDeclaration.rsc
@@ -107,7 +107,7 @@ void collect(current:(Variant) `<Name name> ( <{TypeArg ","}* arguments> <Keywor
 
         scope = c.getScope();
         c.enterScope(current);
-            args = "<for(arg <- arguments){><arg.\type> <arg.name> <}>";
+            args = "<for(arg <- arguments){><arg is typedVariable ? "<arg.\type> <arg.name>" : "<arg>"> <}>";
             md5Contrib = "<currentModuleName><adtName><dataCounter><name><variantCounter>( <args>)";
             //println("<current>: <md5Contrib>");
             c.defineInScope(adtParentScope, prettyPrintName(name), constructorId(), name, defType(adt + formals + kwFormals + commonKwFormals,

diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDeclaration.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDeclaration.rsc
@@ -373,7 +373,7 @@ void collect(current: (FunctionBody) `{ <Statement* statements> }`, Collector c)
 }
 
 str md5Contrib4signature(Signature signature){
-    fs = "<for(f <- signature.parameters.formals.formals){><f.\type> <f.name> <}>";
+    fs = "<for(f <- signature.parameters.formals.formals){><f is typeVariable ? "<f.\type> <f.name>" : "<f>"> <}>";
     res = "<signature.modifiers><signature.\type> <signature.name>( <fs>)";
     //println("<signature> =\> <res>");
     return res;