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