Abstract type results
Currently, the results for abstract types are little helpful. For example:
:: CompressSt
I propose a new syntax in search results using parentheses, to show the content of the type and show that it is abstract.
:: CompressSt (= { cs_pos :: !Int
, cs_bits :: !.{#Int}
})
This is similar to the way abstract synonyms are defined (e.g. :: Number (:== Int)
tells the compiler to optimise with that information, but does not allow programmers to use the fact that a Number
is just an Int
).
Thoughts?
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information