Ticket #5819 (closed bug: fixed)
"Language options" section doesn't describe -XDataKinds
Description
GHC HEAD and ghc-7.4 branch splited -XDataKinds from -XPolyKinds, now. But "Language options" section doesn't describe -XDataKinds. Please add information about -XDataKinds in this section.
Change History
Note: See
TracTickets for help on using
tickets.
