@@ -192,4 +192,25 @@ instance DecEq String where
192 primitiveEq = believe_me (Refl {x})
192 primitiveEq = believe_me (Refl {x})
193 postulate primitiveNotEq : x = y -> Void
193 postulate primitiveNotEq : x = y -> Void
195+--------------------------------------------------------------------------------
197+--------------------------------------------------------------------------------
199+instance DecEq Ptr where
200+ decEq x y = if x == y then Yes primitiveEq else No primitiveNotEq
201+ where primitiveEq : x = y
202+ primitiveEq = believe_me (Refl {x})
203+ postulate primitiveNotEq : x = y -> Void
205+--------------------------------------------------------------------------------
207+--------------------------------------------------------------------------------
209+instance DecEq ManagedPtr where
210+ decEq x y = if x == y then Yes primitiveEq else No primitiveNotEq
211+ where primitiveEq : x = y
212+ primitiveEq = believe_me (Refl {x})
213+ postulate primitiveNotEq : x = y -> Void