This is a follow-up to this question.
Does the spec actually prohibit the following?
$ dhall <<< "{a = Kind}"
Use "dhall --explain" for detailed errors
Error: ❰Sort❱ has no type, kind, or sort
1│ {a = Kind}
I’m running into this in the RecordMixedKinds3
type inference failure test, which my implementation is happy to type check at the moment.