Mon, 17 Aug 2015 15:29:30 +0200 | wenzelm | tuned; | changeset | files |
Mon, 17 Aug 2015 15:19:25 +0200 | wenzelm | abstract exn_id based on getExnId in polyml/basis/FinalPolyML.sml (NB: the mutable machine word cannot be inspected in ML, e.g. toplevel pp dumps core); | changeset | files |