Request for Instances

Brandon Michael Moore brandon@its.caltech.edu
Wed, 10 Sep 2003 12:35:00 -0700 (PDT)


Hi everyone.

 I've been looking at the restrictions on instances in the H98 standard
and thinking about alternatives. I would like to have a body of data type
and class/instance declarations so I can test how useful various
extensions would be. Please send or direct me to code that requires
-fallow-undecidabe-instances.

Thanks.
  Brandon