How to make Claessen's Refs Ord-able?

Thu, 21 Mar 2002 09:49:21 +0100 (MET)

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

---559023410-1804928587-1016700561=:26079
Content-Type: TEXT/PLAIN; charset=US-ASCII

 | I'd like to extend the Ref type for observable sharing
 | of Koen Claessen's Ph.D. thesis: to make it possible
 | for the Refs to be the keys for efficient finite maps.

I did this in the Lava implementation. The Ref module I
attach works in Hugs and GHC.

/Koen.

---559023410-1804928587-1016700561=:26079
Content-Type: TEXT/PLAIN; charset=US-ASCII; name="Ref.hs"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.4.30.0203210949210.26079@hotlips.cs.chalmers.se>
Content-Description: 
Content-Disposition: attachment; filename="Ref.hs"

bW9kdWxlIFJlZg0KICAoIFJlZiAgICAgICAtLSAqIC0+ICogOyBFcSwgU2hv
dw0KICAsIHJlZiAgICAgICAtLSA6OiBhICAgICAtPiBSZWYgYQ0KICAsIGRl
cmVmICAgICAtLSA6OiBSZWYgYSAtPiBhDQogICwgbWVtb1JlZiAgIC0tIDo6
IChSZWYgYSAtPiBiKSAtPiAoUmVmIGEgLT4gYikNCiAgDQogICwgVGFibGVJ
TyAgIC0tIDo6ICogLT4gKiAtPiAqIDsgRXENCiAgLCB0YWJsZUlPICAgLS0g
OjogSU8gKFRhYmxlSU8gYSBiKQ0KICAsIGV4dGVuZElPICAtLSA6OiBUYWJs
ZUlPIGEgYiAtPiBSZWYgYSAtPiBiIC0+IElPICgpDQogICwgZmluZElPICAg
IC0tIDo6IFRhYmxlSU8gYSBiIC0+IFJlZiBhIC0+IElPIChNYXliZSBiKQ0K
ICAsIG1lbW9SZWZJTyAtLSA6OiAoUmVmIGEgLT4gSU8gYikgLT4gKFJlZiBh
IC0+IElPIGIpDQoNCiAgLCBUYWJsZVNUICAgLS0gOjogKiAtPiAqIC0+ICog
LT4gKiA7IEVxDQogICwgdGFibGVTVCAgIC0tIDo6IFNUIChUYWJsZVNUIHMg
YSBiKQ0KICAsIGV4dGVuZFNUICAtLSA6OiBUYWJsZVNUIHMgYSBiIC0+IFJl
ZiBhIC0+IGIgLT4gU1QgcyAoKQ0KICAsIGZpbmRTVCAgICAtLSA6OiBUYWJs
ZVNUIHMgYSBiIC0+IFJlZiBhIC0+IFNUIHMgKE1heWJlIGIpDQogICwgbWVt
b1JlZlNUIC0tIDo6IChSZWYgYSAtPiBTVCBzIGIpIC0+IChSZWYgYSAtPiBT
VCBzIGIpDQogICkNCiB3aGVyZQ0KDQppbXBvcnQgTXlTVA0KDQppbXBvcnQg
SU9FeHRzDQogICggSU9SZWYNCiAgLCBuZXdJT1JlZg0KICAsIHJlYWRJT1Jl
Zg0KICAsIHdyaXRlSU9SZWYNCiAgLCBmaXhJTw0KICAsIHVuc2FmZVBlcmZv
cm1JTw0KICApDQoNCmltcG9ydCBVbnNhZmVDb2VyY2UNCiAgKCB1bnNhZmVD
b2VyY2UNCiAgKQ0KDQp7LQ0KDQpXYXJuaW5nISBPbmUgc2hvdWxkIHJlZ2Fy
ZCB0aGlzIG1vZHVsZSBhcyBhIHBvcnRhYmxlDQpleHRlbnNpb24gdG8gdGhl
IEhhc2tlbGwgbGFuZ3VhZ2UuIEl0IGlzIG5vdCBIYXNrZWxsLg0KDQotfQ0K
DQp7LQ0KDQpIZXJlIGlzIGhvdyB3ZSBpbXBsZW1lbnQgVGFibGVzIG9mIFJl
ZnM6DQoNCkEgVGFibGUgaXMgbm90aGluZyBidXQgYSB1bmlxdWUgdGFnLCBv
ZiB0eXBlIFRhYmxlVGFnLg0KVGFibGVUYWcgY2FuIGJlIGFueXRoaW5nLCBh
cyBsb25nIGFzIGl0IGlzIGVhc3kNCnRvIGNyZWF0ZSBuZXcgb25lcywgYW5k
IHdlIGNhbiBjb21wYXJlIHRoZW0gZm9yDQplcXVhbGl0eS4gKEkgY2hvc2Ug
SU9SZWYgKCkpLg0KDQpTbyBob3cgZG8gd2Ugc3RvcmUgUmVmcyBpbiBhIFRh
YmxlPyBXZSBkbyBub3QNCndhbnQgdGhlIFRhYmxlcyBrZWVwaW5nIHRyYWNr
IG9mIHRoZWlyIFJlZnMNCih3aGljaCB3b3VsZCBiZSBkaXNhc3Ryb3VzIHdo
ZW4gdGhlIHRhYmxlDQpiZWNvbWVzIGJpZywgYW5kIHdlIHdvdWxkIG5vdCBo
YXZlIGFueSBnYXJiYWdlDQpjb2xsZWN0aW9uKS4NCg0KSW5zdGVhZCwgZXZl
cnkgUmVmIGtlZXBzIHRyYWNrIG9mIHRoZSB2YWx1ZSBpdA0KaGFzIGluIGVh
Y2ggdGFibGUgaXQgaXMgaW4uIFRoaXMgaGFzIHRoZSBhZHZhbnRhZ2UNCnRo
YXQgd2UgaGF2ZSBhIGNvbnN0YW50IGxvb2t1cCB0aW1lIChpZiB0aGUgbnVt
YmVyIG9mDQpUYWJsZXMgd2UgYXJlIHVzaW5nIGlzIHNtYWxsKSwgYW5kIHdl
IGdldCBnYXJiYWdlDQpjb2xsZWN0aW9uIG9mIHRhYmxlIGVudHJpZXMgZm9y
IGZyZWUuDQoNClRoZSBkaXNhZHZhbnRhZ2UgaXMgdGhhdCwgc2luY2UgdGhl
IHR5cGVzIG9mIHRoZQ0KVGFibGVzIHZhcnksIHRoZSBSZWYgaGFzIG5vIGlk
ZWEgd2hhdCB0eXBlIG9mDQp2YWx1ZXMgaXQgaXMgc3VwcG9zZWQgdG8gc3Rv
cmUuIFNvIHdlIHVzZSBkeW5hbWljDQp0eXBlcy4NCg0KQSBSZWYgaXMgaW1w
bGVtZW50ZWQgYXMgZm9sbG93czogaXQgaGFzIHR3byBwaWVjZXMNCm9mIGlu
Zm9ybWF0aW9uLiBUaGUgZmlyc3Qgb25lIGlzIGFuIHVwZGF0YWJsZQ0KbGlz
dCBvZiBlbnRyaWVzIGZvciBlYWNoIHRhYmxlIGl0IGlzIGEgbWVtYmVyIGlu
Lg0KU2luY2UgaXQgaXMgYW4gdXBkYXRhYmxlIGxpc3QsIGl0IGlzIGFuIElP
UmVmLCB3aGljaA0Kd2UgYWxzbyB1c2UgdG8gY29tcGFyZSB0d28gUmVmcy4g
VGhlIHNlY29uZCBwYXJ0IGlzDQpqdXN0IHRoZSB2YWx1ZSB0aGUgUmVmIGlz
IHBvaW50aW5nIGF0ICh0aGlzIGNhbiBuZXZlcg0KY2hhbmdlIGFueXdheSku
DQoNCi19DQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQotLSBSZWYNCg0KZGF0
YSBSZWYgYQ0KICA9IFJlZiAoSU9SZWYgWyhUYWJsZVRhZywgRHluKV0pIGEN
Cg0KaW5zdGFuY2UgRXEgKFJlZiBhKSB3aGVyZQ0KICBSZWYgcjEgXyA9PSBS
ZWYgcjIgXyA9IHIxID09IHIyDQoNCmluc3RhbmNlIFNob3cgYSA9PiBTaG93
IChSZWYgYSkgd2hlcmUNCiAgc2hvd3NQcmVjIF8gKFJlZiBfIGEpID0gc2hv
d0NoYXIgJ3snIC4gc2hvd3MgYSAuIHNob3dDaGFyICd9Jw0KDQpyZWYgOjog
YSAtPiBSZWYgYQ0KcmVmIGEgPSB1bnNhZmVQZXJmb3JtSU8gJA0KICBkbyBy
IDwtIG5ld0lPUmVmIFtdDQogICAgIHJldHVybiAoUmVmIHIgYSkNCg0KZGVy
ZWYgOjogUmVmIGEgLT4gYQ0KZGVyZWYgKFJlZiBfIGEpID0gYQ0KDQotLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLQ0KLS0gVGFibGUgSU8NCg0KdHlwZSBUYWJsZVRh
Zw0KICA9IElPUmVmICgpDQoNCm5ld3R5cGUgVGFibGVJTyBhIGINCiAgPSBU
YWJsZUlPIFRhYmxlVGFnDQogZGVyaXZpbmcgRXENCg0KdGFibGVJTyA6OiBJ
TyAoVGFibGVJTyBhIGIpDQp0YWJsZUlPID0gVGFibGVJTyBgZm1hcGAgbmV3
SU9SZWYgKCkNCg0KZmluZElPIDo6IFRhYmxlSU8gYSBiIC0+IFJlZiBhIC0+
IElPIChNYXliZSBiKQ0KZmluZElPIChUYWJsZUlPIHQpIChSZWYgciBfKSA9
DQogIGRvIGxpc3QgPC0gcmVhZElPUmVmIHINCiAgICAgcmV0dXJuIChmcm9t
RHluIGBmbWFwYCBsb29rdXAgdCBsaXN0KQ0KDQpleHRlbmRJTyA6OiBUYWJs
ZUlPIGEgYiAtPiBSZWYgYSAtPiBiIC0+IElPICgpDQpleHRlbmRJTyAoVGFi
bGVJTyB0KSAoUmVmIHIgXykgYiA9DQogIGRvIGxpc3QgPC0gcmVhZElPUmVm
IHINCiAgICAgd3JpdGVJT1JlZiByICgodCx0b0R5biBiKSA6IGZpbHRlciAo
KC89IHQpIC4gZnN0KSBsaXN0KQ0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0K
LS0gVGFibGUgU1QNCg0KbmV3dHlwZSBUYWJsZVNUIHMgYSBiDQogID0gVGFi
bGVTVCAoVGFibGVJTyBhIGIpDQogZGVyaXZpbmcgRXENCg0KdGFibGVTVCA6
OiBTVCBzIChUYWJsZVNUIHMgYSBiKQ0KdGFibGVTVCA9IHVuc2FmZUlPdG9T
VCAoVGFibGVTVCBgZm1hcGAgdGFibGVJTykNCg0KZmluZFNUIDo6IFRhYmxl
U1QgcyBhIGIgLT4gUmVmIGEgLT4gU1QgcyAoTWF5YmUgYikNCmZpbmRTVCAo
VGFibGVTVCB0YWIpIHIgPSB1bnNhZmVJT3RvU1QgKGZpbmRJTyB0YWIgcikN
Cg0KZXh0ZW5kU1QgOjogVGFibGVTVCBzIGEgYiAtPiBSZWYgYSAtPiBiIC0+
IFNUIHMgKCkNCmV4dGVuZFNUIChUYWJsZVNUIHRhYikgciBiID0gdW5zYWZl
SU90b1NUIChleHRlbmRJTyB0YWIgciBiKQ0KDQotLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLQ0KLS0gTWVtbw0KDQptZW1vUmVmIDo6IChSZWYgYSAtPiBiKSAtPiAo
UmVmIGEgLT4gYikNCm1lbW9SZWYgZiA9IHVuc2FmZVBlcmZvcm1JTyAuIG1l
bW9SZWZJTyAocmV0dXJuIC4gZikNCg0KbWVtb1JlZklPIDo6IChSZWYgYSAt
PiBJTyBiKSAtPiAoUmVmIGEgLT4gSU8gYikNCm1lbW9SZWZJTyBmID0gdW5z
YWZlUGVyZm9ybUlPICQNCiAgZG8gdGFiIDwtIHRhYmxlSU8NCiAgICAgbGV0
IGYnIHIgPSBkbyBtYiA8LSBmaW5kSU8gdGFiIHINCiAgICAgICAgICAgICAg
ICAgICBjYXNlIG1iIG9mDQogICAgICAgICAgICAgICAgICAgICBKdXN0IGIg
IC0+IGRvIHJldHVybiBiDQogICAgICAgICAgICAgICAgICAgICBOb3RoaW5n
IC0+IGZpeElPICQgXGIgLT4NCiAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICBkbyBleHRlbmRJTyB0YWIgciBiDQogICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgZiByDQogICAgIHJldHVybiBmJw0KDQpt
ZW1vUmVmU1QgOjogKFJlZiBhIC0+IFNUIHMgYikgLT4gKFJlZiBhIC0+IFNU
IHMgYikNCm1lbW9SZWZTVCBmID0gdW5zYWZlUGVyZm9ybVNUICQNCiAgZG8g
dGFiIDwtIHRhYmxlU1QNCiAgICAgbGV0IGYnIHIgPSBkbyBtYiA8LSBmaW5k
U1QgdGFiIHINCiAgICAgICAgICAgICAgICAgICBjYXNlIG1iIG9mDQogICAg
ICAgICAgICAgICAgICAgICBKdXN0IGIgIC0+IGRvIHJldHVybiBiDQogICAg
ICAgICAgICAgICAgICAgICBOb3RoaW5nIC0+IGZpeFNUICQgXGIgLT4NCiAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBkbyBleHRlbmRTVCB0
YWIgciBiDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ZiByDQogICAgIHJldHVybiBmJw0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0K
LS0gRHluDQoNCmRhdGEgRHluDQogID0gRHluDQoNCnRvRHluIDo6IGEgLT4g
RHluDQp0b0R5biA9IHVuc2FmZUNvZXJjZQ0KDQpmcm9tRHluIDo6IER5biAt
PiBhDQpmcm9tRHluID0gdW5zYWZlQ29lcmNlDQoNCi0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tDQotLSB0aGUgZW5kLg0KDQoNCg0K
---559023410-1804928587-1016700561=:26079--