Closed sjrct closed 4 years ago
I was actually planning to look into writing a generator that would dump all the types in the standard library, so that we won't need to update it manually after each release
I was actually planning to look into writing a generator that would dump all the types in the standard library, so that we won't need to update it manually after each release
That sounds like a good idea! Would make it easy to extend to other builtin functionality as well, if that is something that the user wants to highlight.
I can lend a hand with this if you want: what were you thinking? Scrapping the docs, or is there a more elegant method?
You might still want to merge this or #32 for now though; I definitely found missing highlighting for String
a little strange
Fixed in 33606c3163a2dd8c6a1924d6c7ed9e091de9743d by automatically generating all types from the standard library. Thanks!
As listed here: https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/index.html
Fixes #12.
Realized after I made these changes that this conflicts with #32, which also adds some missing types but not all of these...