aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-09-17 17:23:02 +0100
committerMichael Williamson <mike@zwobble.org>2023-09-17 17:23:02 +0100
commitd6c6abb4e28f851969a40ff207648308be031090 (patch)
tree750e16ade3e4bb55aba08fd78fbef3614ba80c9d /src/main/java
parent3a139894dab4b6e4d7c3bf97ed97a90665d9d6df (diff)
Add proper description for tuple types
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/types/TupleType.java7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/main/java/org/shedlang/compiler/types/TupleType.java b/src/main/java/org/shedlang/compiler/types/TupleType.java
index a2eeb0b0..2d97b469 100644
--- a/src/main/java/org/shedlang/compiler/types/TupleType.java
+++ b/src/main/java/org/shedlang/compiler/types/TupleType.java
@@ -1,6 +1,7 @@
package org.shedlang.compiler.types;
import java.util.List;
+import java.util.stream.Collectors;
/**
* A tuple type, representing tuples with elements of the given types.
@@ -8,8 +9,10 @@ import java.util.List;
public record TupleType(List<Type> elements) implements Type {
@Override
public String describe() {
- // TODO: finish this
- return "Tuple";
+ var elementsString = elements.stream()
+ .map(element -> element.describe())
+ .collect(Collectors.joining(", "));
+ return "#(" + elementsString + ")";
}
@Override