Moved the context in a more fitting package

src/main/java/fr/insarennes/nperier/minichamo/parsing/Context.java → src/main/java/fr/insarennes/nperier/minichamo/language/Context.java

-package fr.insarennes.nperier.minichamo.parsing;
+package fr.insarennes.nperier.minichamo.language;
 
 import fr.insarennes.nperier.minichamo.language.definition.VariableDef;
 import fr.insarennes.nperier.minichamo.language.typing.Constructor;

src/main/java/fr/insarennes/nperier/minichamo/language/expressions/ConditionExpression.java

@@ -5,7 +5,7 @@ import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionAr
 import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionVisitor;
 import fr.insarennes.nperier.minichamo.language.typing.BuiltinType;
 import fr.insarennes.nperier.minichamo.language.typing.Type;
-import fr.insarennes.nperier.minichamo.parsing.Context;
+import fr.insarennes.nperier.minichamo.language.Context;
 
 public class ConditionExpression extends Expression {
 

src/main/java/fr/insarennes/nperier/minichamo/language/expressions/Expression.java

@@ -4,7 +4,7 @@ import fr.insarennes.nperier.minichamo.language.expressions.visitor.DuplicateExp
 import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionArgVisitor;
 import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionVisitor;
 import fr.insarennes.nperier.minichamo.language.typing.Type;
-import fr.insarennes.nperier.minichamo.parsing.Context;
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.utils.Displayable;
 
 public abstract class Expression implements Displayable {

src/main/java/fr/insarennes/nperier/minichamo/language/expressions/NameExpression.java

@@ -5,7 +5,7 @@ import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionAr
 import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionVisitor;
 import fr.insarennes.nperier.minichamo.language.typing.GenericType;
 import fr.insarennes.nperier.minichamo.language.typing.Type;
-import fr.insarennes.nperier.minichamo.parsing.Context;
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.utils.Counter;
 
 // This class represents a name that has not yet been associated with a value (for example the arguments of a function)

src/main/java/fr/insarennes/nperier/minichamo/language/expressions/VarExpression.java

@@ -4,7 +4,7 @@ import fr.insarennes.nperier.minichamo.language.definition.VariableDef;
 import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionArgVisitor;
 import fr.insarennes.nperier.minichamo.language.expressions.visitor.ExpressionVisitor;
 import fr.insarennes.nperier.minichamo.language.typing.Type;
-import fr.insarennes.nperier.minichamo.parsing.Context;
+import fr.insarennes.nperier.minichamo.language.Context;
 
 public class VarExpression extends Expression {
 

src/main/java/fr/insarennes/nperier/minichamo/language/expressions/base/BaseExpression.java

@@ -2,7 +2,7 @@ package fr.insarennes.nperier.minichamo.language.expressions.base;
 
 import fr.insarennes.nperier.minichamo.language.expressions.Expression;
 import fr.insarennes.nperier.minichamo.language.typing.Type;
-import fr.insarennes.nperier.minichamo.parsing.Context;
+import fr.insarennes.nperier.minichamo.language.Context;
 
 public abstract class BaseExpression extends Expression {
 

src/main/java/fr/insarennes/nperier/minichamo/parsing/DefinitionParser.java

 package fr.insarennes.nperier.minichamo.parsing;
 
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.assignement.param.VarParam;
 import fr.insarennes.nperier.minichamo.language.definition.FunctionDef;
 import fr.insarennes.nperier.minichamo.language.definition.ValueDef;

src/main/java/fr/insarennes/nperier/minichamo/parsing/ExpressionParser.java

 package fr.insarennes.nperier.minichamo.parsing;
 
 import fr.insarennes.nperier.minichamo.errors.ParsingException;
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.definition.VariableDef;
 import fr.insarennes.nperier.minichamo.language.expressions.ConditionExpression;
 import fr.insarennes.nperier.minichamo.language.expressions.Expression;

src/main/java/fr/insarennes/nperier/minichamo/parsing/Parser.java

 package fr.insarennes.nperier.minichamo.parsing;
 
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.definition.TypeDef;
 import fr.insarennes.nperier.minichamo.lexing.Lexer;
 import fr.insarennes.nperier.minichamo.lexing.tokens.TokenType;

src/main/java/fr/insarennes/nperier/minichamo/parsing/TypeParser.java

 package fr.insarennes.nperier.minichamo.parsing;
 
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.typing.BuiltinType;
 import fr.insarennes.nperier.minichamo.language.typing.FunctionType;
 import fr.insarennes.nperier.minichamo.language.typing.GenericType;

src/main/java/fr/insarennes/nperier/minichamo/parsing/TypedefParser.java

 package fr.insarennes.nperier.minichamo.parsing;
 
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.definition.TypeDef;
 import fr.insarennes.nperier.minichamo.language.typing.*;
 import fr.insarennes.nperier.minichamo.lexing.tokens.Token;

src/test/java/fr/insarennes/nperier/minichamo/language/typing/TypeTests.java

@@ -4,7 +4,7 @@ import fr.insarennes.nperier.minichamo.language.definition.TypeDef;
 import fr.insarennes.nperier.minichamo.language.typing.visitor.RenameGenericsVisitor;
 import fr.insarennes.nperier.minichamo.lexing.Lexer;
 import fr.insarennes.nperier.minichamo.lexing.tokens.TokenType;
-import fr.insarennes.nperier.minichamo.parsing.Context;
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.parsing.TypeParser;
 import fr.insarennes.nperier.minichamo.parsing.TypedefParser;
 import fr.insarennes.nperier.minichamo.utils.TokenPeekIterator;

src/test/java/fr/insarennes/nperier/minichamo/language/typing/unification/UnificationTest.java

@@ -3,7 +3,7 @@ package fr.insarennes.nperier.minichamo.language.typing.unification;
 import fr.insarennes.nperier.minichamo.language.typing.*;
 import fr.insarennes.nperier.minichamo.lexing.Lexer;
 import fr.insarennes.nperier.minichamo.lexing.tokens.TokenType;
-import fr.insarennes.nperier.minichamo.parsing.Context;
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.parsing.TypeParser;
 import fr.insarennes.nperier.minichamo.parsing.TypedefParser;
 import fr.insarennes.nperier.minichamo.utils.TokenPeekIterator;
@@ -13,7 +13,6 @@ import org.junit.jupiter.api.BeforeEach;
 import org.junit.jupiter.api.Test;
 
 import java.util.HashMap;
-import java.util.List;
 import java.util.Map;
 import java.util.Set;
 

src/test/java/fr/insarennes/nperier/minichamo/parsing/DefinitionParserTest.java

 package fr.insarennes.nperier.minichamo.parsing;
 
 import fr.insarennes.nperier.minichamo.errors.ParsingException;
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.assignement.param.VarParam;
 import fr.insarennes.nperier.minichamo.language.definition.FunctionDef;
 import fr.insarennes.nperier.minichamo.language.definition.ValueDef;

src/test/java/fr/insarennes/nperier/minichamo/parsing/ExpressionParserTest.java

 package fr.insarennes.nperier.minichamo.parsing;
 
 import fr.insarennes.nperier.minichamo.errors.ParsingException;
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.definition.ValueDef;
 import fr.insarennes.nperier.minichamo.language.expressions.ConditionExpression;
 import fr.insarennes.nperier.minichamo.language.expressions.Expression;

src/test/java/fr/insarennes/nperier/minichamo/parsing/TypeParserTest.java

 package fr.insarennes.nperier.minichamo.parsing;
 
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.typing.BuiltinType;
 import fr.insarennes.nperier.minichamo.language.typing.FunctionType;
 import fr.insarennes.nperier.minichamo.language.typing.GenericType;

src/test/java/fr/insarennes/nperier/minichamo/parsing/TypedefParserTest.java

 package fr.insarennes.nperier.minichamo.parsing;
 
+import fr.insarennes.nperier.minichamo.language.Context;
 import fr.insarennes.nperier.minichamo.language.definition.TypeDef;
 import fr.insarennes.nperier.minichamo.language.typing.*;
 import fr.insarennes.nperier.minichamo.lexing.Lexer;