From 0a550c3bb4e624d76b3876e92a2bd0e235301fba Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 9 Apr 2016 14:21:48 +0100
Subject: Remove MethodTypeParameter and adjust Identifier generation

---
 .../couscous/interpreter/types/UserDefinedInterpreterType.java        | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(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 c296d01..07199bb 100644
--- a/src/main/java/org/zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java
+++ b/src/main/java/org/zwobble/couscous/interpreter/types/UserDefinedInterpreterType.java
@@ -1,7 +1,6 @@
 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;
@@ -10,7 +9,6 @@ import org.zwobble.couscous.interpreter.errors.NoSuchMethod;
 import org.zwobble.couscous.interpreter.errors.WrongNumberOfArguments;
 import org.zwobble.couscous.interpreter.values.InterpreterValue;
 import org.zwobble.couscous.types.Type;
-import org.zwobble.couscous.types.TypeParameter;
 
 import java.util.List;
 import java.util.Map;
@@ -49,7 +47,7 @@ public class UserDefinedInterpreterType implements InterpreterType {
     public Type getType() {
         List<Type> parameters = eagerMap(
             type.getTypeParameters(),
-            parameter -> new TypeParameter(Identifier.TOP.extend(type.getName().getQualifiedName()), parameter.getName()));
+            parameter -> parameter.getType());
         return parameters.isEmpty()
             ? type.getName()
             : parameterizedType(type.getName(), parameters);
-- 
cgit v1.2.3