diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-23 23:13:27 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-23 23:13:27 +0000 |
| commit | 0147a8f2d72d26a076df2e8d9ca0e8348f4ab557 (patch) | |
| tree | 88a8d5da0e62f24117d908e45fb53fad6265bbfc /src/main/java | |
| parent | c4498af1d2fb1f9456d16a39daba9e841d3537b9 (diff) | |
Use type description in error message
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java b/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java index 91e067ac..ce18ebb3 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java +++ b/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java @@ -9,7 +9,7 @@ public class NoSuchFieldError extends SourceError { private final String fieldName; public NoSuchFieldError(Type type, String fieldName, Source source) { - super("No field named " + fieldName + " on type " + type, source); + super("No field named " + fieldName + " on type " + type.describe(), source); this.type = type; this.fieldName = fieldName; } |