fixing static errors in standard library

usethesource · Mar 27, 2024 · 7ceb735 · 7ceb735
1 parent 312d513
commit 7ceb735
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 12 deletions.
diff --git a/src/org/rascalmpl/library/analysis/formalconcepts/FCA.rsc b/src/org/rascalmpl/library/analysis/formalconcepts/FCA.rsc
@@ -147,19 +147,14 @@ map[Concept[&Object, &Attribute], int] makeNodes(ConceptLattice[&Object, &Attrib
      return r;
      }
 
-set[&Attribute] newAdded1(ConceptLattice[&Object, &Attribute] q,  Concept[&Object, &Attribute] c) {
+set[&Attribute] addConcept(ConceptLattice[&Object, &Attribute] q,  Concept[&Object, &Attribute] c) {
      set[Concept[&Object, &Attribute]] parents = range(domainR(q, {c}));
      return c[1] - union({p[1]|Concept[&Object, &Attribute] p <-parents});
-     }
+}
 
-set[Concept[&Object, &Attribute]] newAdded0(ConceptLattice[&Object, &Attribute] q, Concept[&Object, &Attribute] c) {
-     set[Concept[&Object, &Attribute]] parents = domain(rangeR(q, {c}));
-     return c[0] - union({p[0]|Concept[&Object, &Attribute] p <-parents});
-     }  
-
 Stm compose(Concept[&Object, &Attribute] c, map[Concept[&Object, &Attribute], int] z, bool lab) {
      return N("\"<z[c]>\"", lab?[<"label", "<c>">]:[]);
-     } 
+} 
 
 
 

diff --git a/src/org/rascalmpl/library/lang/box/util/Box2Text.rsc b/src/org/rascalmpl/library/lang/box/util/Box2Text.rsc
@@ -71,7 +71,7 @@ public text box2html(Box b) {
     }
 
 @synopsis{Converts boxes into list of lines (ASCII)}      
- public text box2text(Box b) {
+public text box2text(Box b) {
     text q = [];
     if (box2textmap[b]?) q = box2textmap[b];
     else {

diff --git a/src/org/rascalmpl/library/lang/yaml/Model.rsc b/src/org/rascalmpl/library/lang/yaml/Model.rsc
@@ -65,7 +65,7 @@ public Node BAD_YAML =
       scalar("unsupported")[\tag=#node],
       reference(anchor=4),
       sequence([])[anchor=4]
-   ])[@anchor=2]))[anchor=2];
+   ])[anchor=2]))[anchor=2];
 
 public test bool testLoadDump() {
   Node n = loadYAML(TEST_YAML);

diff --git a/src/org/rascalmpl/library/util/Validator.rsc b/src/org/rascalmpl/library/util/Validator.rsc
@@ -34,8 +34,8 @@ private data RuntimeException = none();
     Symbol unlabel(label(_, Symbol sym)) = sym;
     default Symbol unlabel(Symbol sym)  = sym;
 
-    if (expected.symbol == \node()) {
-        return v;
+    if (expected.symbol == \node(), &T vv := v) {
+        return vv;
     }
 
   	if (def:adt(_, _) := expected.symbol, grammar := expected.definitions) {