-XImpredicativeTypes incompatibility #277

With -XImpredicativeTypes the following error occurs:

basic_typeclass.i.hs:877:28: error: [GHC-36495]
• tagToEnum# must appear applied to one value argument
• In the first argument of ‘(&&)’, namely
‘(GHC.Exts.tagToEnum# (offset >=# 0#))’
In the expression:
(GHC.Exts.tagToEnum# (offset >=# 0#))
&&
let check = alexIndexInt16OffAddr alex_check offset
in (GHC.Exts.tagToEnum# (check ==# ord_c))
In the expression:
if (GHC.Exts.tagToEnum# (offset >=# 0#))
&&
let check = alexIndexInt16OffAddr alex_check offset
in (GHC.Exts.tagToEnum# (check ==# ord_c)) then
alexIndexInt16OffAddr alex_table offset
else
alexIndexInt16OffAddr alex_deflt s
|
877 | new_s = if GTE(offset,ILIT(0))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

The branch https://github.com/NadiaYvette/alex/tree/nadia.chambers/tagToEnum-annotations-001 adds testcases by adding %.i$(HS_PROG_EXT) to the set of testcases and a fix by adding annotations within the C macros.