diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-29 10:48:32 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-29 10:48:32 +0000 |
| commit | bd544aa2e26937017297a19d7fbb722a00def56a (patch) | |
| tree | 2ec42f8f96c4132d73e688786ae72fb414a6fbd5 /src/main/java | |
| parent | 907ace120be1b6127115cee25be0968d0013b074 (diff) | |
Add TODO
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index 15e740b5..f7cf63b1 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -1602,6 +1602,8 @@ public class TypeChecker { ); // TODO: restrict variants to structs. Do we allow other sum types? + // TODO: prevent constructed types with same underlying type from appearing multiple times + // (e.g. Option[String], Option[Int]) var variants = untyped.variants().stream() .map(untypedVariant -> { var variantType = typeCheckTypeExpression( |