summaryrefslogtreecommitdiff
path: root/src/errormsg.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-23 11:23:31 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-23 11:23:31 -0500
commit867a11af44827af8974250e6dbb5e96b6268b44f (patch)
treefcdcc73abd3ef7b68fe8a02e5b11901e0fec5c92 /src/errormsg.sig
parent17ecbd235ad9b7692dfc029329fb13103eb55d9c (diff)
Recursive record unification errors, for more detail
Diffstat (limited to 'src/errormsg.sig')
0 files changed, 0 insertions, 0 deletions