parseType does not handle type literals

[thautwarm]

parseType "1" failed:

src\xxx.hs:41:6: error:
    • Exception when trying to run compile-time code:
        0
SrcLoc "" 1 2
DataKinds language extension is not enabled. Please add {-# LANGUAGE DataKinds #-} pragma at the top of your module.

However so far it is impossible to specify it because the parse mode for parseType is hardcoded.

[thautwarm]

something like this may be nice to have.

In many cases customizing language extensions is necessary. I am for one in need of TypeLit to convert integer literals to dependent natural numbers.

[DanBurton]

Acknowledging that I've seen this. I don't have plans to implement this update myself anytime soon, but I would happily accept a PR for it.