diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-04-09 12:28:19 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-04-09 12:28:19 +0100 |
| commit | f005b283a1b1c74c8b98499069e6afcb5e9a9ade (patch) | |
| tree | d56dfb884ba10225c7268e8b950f8ef826b51670 /src/main/java/org/zwobble/couscous/interpreter | |
| parent | 8fe29f6add04fb9c2dbc3ad1d13d582787aa6e88 (diff) | |
Use Identifier instead of ScalarType in TypeParameter
Diffstat (limited to 'src/main/java/org/zwobble/couscous/interpreter')
| -rw-r--r-- | src/main/java/org/zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/java/org/zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java b/src/main/java/org/zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java index b8c007b..c296d01 100644 --- a/src/main/java/org/zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java +++ b/src/main/java/org/zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java @@ -1,6 +1,7 @@ package org.zwobble.couscous.interpreter.types; import org.zwobble.couscous.ast.*; +import org.zwobble.couscous.ast.identifiers.Identifier; import org.zwobble.couscous.interpreter.Arguments; import org.zwobble.couscous.interpreter.Environment; import org.zwobble.couscous.interpreter.Executor; @@ -48,7 +49,7 @@ public class UserDefinedInterpreterType implements InterpreterType { public Type getType() { List<Type> parameters = eagerMap( type.getTypeParameters(), - parameter -> new TypeParameter(type.getName(), parameter.getName())); + parameter -> new TypeParameter(Identifier.TOP.extend(type.getName().getQualifiedName()), parameter.getName())); return parameters.isEmpty() ? type.getName() : parameterizedType(type.getName(), parameters); |
