• simonpj@microsoft.com's avatar
    Better panic reporting · 193f0335
    simonpj@microsoft.com authored
    Make idDetails and idInfo into proper functions, rather than record
    fields, so that we can report more informatively if you use thenm on
    a non-Id.
    193f0335