parseType does not handle type literals #15
Description
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.