return package:ghc-lib-parser
Inject a value into the monadic type.
a native return. The convention for returns depends on how many values
are returned: for just one value returned, the appropriate register is
used (R1, F1, etc.). regardless of whether it is a real register or
not. For multiple values returned, they are mapped to registers or the
stack.
return was defined as something other than pure.
TcRnInvalidReturnKind is an error for a data declaration that has a
kind signature with an invalid result kind.
Example(s): data family Foo :: Constraint
Test cases: typecheckshould_failT14048b
typecheckshould_failUnliftedNewtypesConstraintFamily
typecheckshould_failT12729 typecheckshould_failT15883
typecheckshould_failT16829a typecheckshould_failT16829b
typecheckshould_failUnliftedNewtypesNotEnabled
typecheckshould_failtcfail079