GitLab

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?