search

temperlang / temper

3 stars 0 forks source link

Documentation of well-known types mention *AnyValue* unnecessarily as a super type. #137

Open mikesamuel opened 6 months ago

mikesamuel commented 6 months ago

PR #2111 adds CodePointStringSlice to WellKnownTypes and the changes to docs/reference/types.md changed as follows

*CodePointStringSlice* `extends` [*StringSlice*](#type-StringSlice)
*CodePointStringSlice* `extends` [*AnyValue*](#type-AnyValue), [*StringSlice*](#type-StringSlice)

The documentation should probably not bother with implicit extends *AnyValue* and should instead call out types that are not sub-types of AnyValue.

Also, having redundant super-types in our TypeShapes can only lead to complication.