search

DanielXMoore / Civet

A TypeScript superset that favors more types and less typing
https://civet.dev
MIT License
1.33k stars 28 forks source link

`::#` doesn't work in type position #1160

Closed bbrk24 closed 2 months ago

bbrk24 commented 2 months ago

With coffeePrototype, T::# works as an expression but not a type.

edemaine commented 2 months ago

Does T.prototype.length actually make sense? T.foo is a namespace dereference, so I don't think there's any sense of prototype chain.

bbrk24 commented 2 months ago

In type position, T::length currently compiles to T["length"].

edemaine commented 2 months ago

Oops, right, I see.