From f005b283a1b1c74c8b98499069e6afcb5e9a9ade Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 9 Apr 2016 12:28:19 +0100
Subject: Use Identifier instead of ScalarType in TypeParameter

---
 .../zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/main/java/org/zwobble/couscous/interpreter')

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);
-- 
cgit v1.2.3