diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux index f2ae2d59d..3bb1f6411 100644 --- a/stdlib/source/library/lux/target/jvm/type.lux +++ b/stdlib/source/library/lux/target/jvm/type.lux @@ -30,13 +30,13 @@ (Descriptor category) (Reflection category)] - (type: .public Argument + (type .public Argument [Text (Type Value)]) - (type: .public (Typed a) + (type .public (Typed a) [(Type Value) a]) - (type: .public Constraint + (type .public Constraint (Record [#name Text #super_class (Type Class) |