on be22ac6 help sign in
3 lines 150 B history raw
1reg010.idr:5:15:
2When elaborating left hand side of with block in usubst.unsafeSubst:
3Can't match on with block in usubst.unsafeSubst warg a P x x px