diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-09-28 10:01:31 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-09-28 10:01:31 +0100 |
| commit | bc0bbc8fa0d48c1c87244e45908290c4b723d757 (patch) | |
| tree | 705e37483c30c1a93d3492f4ca740d52b81e1965 /src/main/java | |
| parent | aeb1cacb2114d9881764c3d3860db7df98d96c4c (diff) | |
Add StructTypeInfo
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/types/StructTypeInfo.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/types/StructTypeInfo.java b/src/main/java/org/shedlang/compiler/types/StructTypeInfo.java new file mode 100644 index 00000000..fb776091 --- /dev/null +++ b/src/main/java/org/shedlang/compiler/types/StructTypeInfo.java @@ -0,0 +1,6 @@ +package org.shedlang.compiler.types; + +import org.pcollections.OrderedPMap; + +public record StructTypeInfo(OrderedPMap<String, Type> fields) { +} |