diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtils.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtils.rsc index bf38f08d..11b5a96d 100644 --- a/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtils.rsc +++ b/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtils.rsc @@ -130,7 +130,7 @@ bool unexpectedType(str stmts, list[str] importedModules = [], list[str] initial // NOTE: type checker does not yet support analysis of uninitialized variables, therefore this check always succeeds, for now. -bool uninitialized(str _stmts, list[str] _importedModules = [], list[str] _initialDecls = []) = true; +bool uninitialized(str stmts, list[str] importedModules = [], list[str] initialDecls = []) = true; //bool uninitialized(str stmts, list[str] importedModules = [], list[str] initialDecls = []) = //check(stmts, [ diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst4.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst4.rsc index 0f03ad09..5f39ca62 100644 --- a/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst4.rsc +++ b/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst4.rsc @@ -3,7 +3,7 @@ module lang::rascalcore::compile::Examples::Tst4 import ParseTree; // If, instead of this import, we use and empty ADT declaration -// data Tree; +//data Tree; // the problem does not manifest itself data AType (str alabel = "")