diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-06-11 20:06:52 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-06-11 20:06:52 +0100 |
| commit | 06f929e6ff57d658060858ab5210ba80cfc336f6 (patch) | |
| tree | e70980fac88a813d2816e7a487d8973ec74d7729 /src/main/java | |
| parent | 975e56cb795a42e576a3e44aee155ff3a81b601b (diff) | |
Add note on Type
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/types/Type.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/types/Type.java b/src/main/java/org/shedlang/compiler/types/Type.java index fdefb86f..c4d86dda 100644 --- a/src/main/java/org/shedlang/compiler/types/Type.java +++ b/src/main/java/org/shedlang/compiler/types/Type.java @@ -1,5 +1,10 @@ package org.shedlang.compiler.types; +/** + * A type contains the minimal information required to uniquely identify a type. + * Further information, such as the methods defined on an interface, can be + * found through auxiliary data. + */ public sealed interface Type extends TypeLevelValue permits BoolType, FunctionType, IntType, StringType, TypeLevelValueType, UnitType { } |