[12:39:55] <inariksit> oh that's strange
[12:41:14] <inariksit> PGF.CId is a non-exposed module, so are you trying to use a function that is only defined there but not exported in PGF.hs?
[12:41:44] <inariksit> there should be bunch of CId-related functions exported too
[12:41:44] <inariksit> PGF.hs:           CId, mkCId, wildCId,
[12:41:44] <inariksit> PGF.hs:           showCId, readCId,
[12:41:45] <inariksit> PGF.hs:           ppCId, pIdent, utf8CId,
[12:45:22] <inariksit> any comments on the suggestion by Michael Kohlhase on the git subrepo? anyone used that?
[12:49:06] <daherb> i think you can also import something like PGF.Internal to get stuff you are not supposed to deal with ;)
[15:24:24] *** Quits: proteusguy (~proteus-g@2405:9800:bc10:1ca:f0c2:ca32:6b5d:c003) (Ping timeout: 265 seconds)
[15:35:21] *** Joins: proteusguy (~proteus-g@2405:9800:bc10:1ca:5d65:dbcb:7082:c467)