From 06f929e6ff57d658060858ab5210ba80cfc336f6 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 11 Jun 2023 20:06:52 +0100 Subject: Add note on Type --- src/main/java/org/shedlang/compiler/types/Type.java | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/main/java') 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 { } -- cgit v1.2.3