Merge
This commit is contained in:
commit
cdcebdd4ac
@ -305,7 +305,7 @@ public class RuleSet implements IRuleSet{
|
||||
if(!rhsSType.getName().equals(lhsSType.getName()))
|
||||
return Optional.empty();
|
||||
|
||||
if(!(lhsSType.getTypeParams().size()==rhsSType.getTypeParams().size()))throw new DebugException("Fehler in Unifizierung");
|
||||
if(!(lhsSType.getTypeParams().size()==rhsSType.getTypeParams().size()))throw new DebugException("Fehler in Unifizierung"+ " " + lhsSType.toString() + " " + rhsSType.toString());
|
||||
//if(rhsSType.getTypeParams().size() != lhsSType.getTypeParams().size())
|
||||
// return Optional.empty();
|
||||
|
||||
|
@ -94,6 +94,6 @@ class Node<T> {
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return "Node(" + content.toString() + ")";
|
||||
return "Node(" + content.toString() + ")\n";
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user