@@ -192,4 +192,25 @@ instance DecEq String where
192192 primitiveEq = believe_me (Refl {x})
193193 postulate primitiveNotEq : x = y -> Void
194194
195+--------------------------------------------------------------------------------
196+-- Ptr
197+--------------------------------------------------------------------------------
198+
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
204+
205+--------------------------------------------------------------------------------
206+-- ManagedPtr
207+--------------------------------------------------------------------------------
208+
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
214+
215+
195216