Änderungen

Summary

  1. Generics refactor (commit: 11662b9) (details)
Commit 11662b9ad995de173f11dd3bae99e711723e025a by peter.peq
Generics refactor
- move variable binding to its own type "VariableBinding"
- VariableBinding now knows what the free variables are
- the match method now knows on which side variables occur (Wurst will
always only have at most one side with type variables)
fixes #775
(commit: 11662b9)
The file was addedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/VariablePosition.java
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/PackageLink.java (diff)
The file was modifiedde.peeeq.wurstscript/parserspec/wurstscript.parseq (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeInfer.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeModuleInstanciation.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeClassOrInterface.java (diff)
The file was addedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/VariableBinding.java
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/OverrideUtils.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/GenericsHelper.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/InterfaceInstances.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeTypeParam.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeString.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/CheckHelper.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/validation/WurstValidator.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeCode.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeVararg.java (diff)
The file was modifiedde.peeeq.wurstscript/build.gradle (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstType.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/NameLink.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeArray.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/ClassTranslator.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeVoid.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeUnknown.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/TypeDefLink.java (diff)
The file was modifiedde.peeeq.wurstscript/src/test/java/tests/wurstscript/tests/GenericsTests.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/AttrPossibleFunctionSignatures.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeHandle.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeModule.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeReal.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeIntLiteral.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/FuncLink.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeStaticTypeRef.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/TypeLink.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/NameResolution.java (diff)
The file was modifiedde.peeeq.wurstscript/src/test/java/tests/wurstscript/tests/GenerateBotData.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeInt.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeBool.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeNamedScope.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeTuple.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstNativeType.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeBoundTypeParam.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/FunctionSignature.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/DefLink.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeNull.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/InterfaceTranslator.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeClosure.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/AttrFunctionSignature.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeUnion.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/names/VarLink.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/types/WurstTypeClass.java (diff)