
6 Sep
2013
6 Sep
'13
3:21 p.m.
Dne 09/05/2013 01:38 PM, Roman Cheplyaka napsal(a):
* Petr Pudlák
[2013-09-05 11:18:25+0200] Unfortunately |ParsecT| constructor isn't exported so I'm not able to implement it outside /parsec/. No, but there's an 'mkPT' function which is equivalent to the ParsecT constructor.
(Although I, too, wish the ParsecT constructor were exposed.)
Roman Yes, I tried to use `mkPT`, but the result looked very complicated and I wasn't quite sure if it'll be working correctly in all cases. Implementing the same thing with the `ParsecT` constructor is simple and comprehensible.
Best regards, Petr