Merge pull request #3989 from melted/ptr_eq
Change eqPtr to use the primitive
commitebd2e6f5c3267dd75b683274ef0dd0a1530c4286
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 14 Aug 2017, 03:32 (9 years ago)
parent50d0e4869c3c9a
libs/prelude/Prelude.idr+1−2
@@ -280,8 +280,7 @@ namespace JSNull
280280
281281||| Pointer equality
282282eqPtr : Ptr -> Ptr -> IO Bool
283−eqPtr x y = do eq <- foreign FFI_C "idris_eqPtr" (Ptr -> Ptr -> IO Int) x y
284− pure (eq /= 0)
283+eqPtr x y = pure $ prim__eqPtr x y /= 0
285284
286285||| Loop while some test is true
287286|||
rts/idris_stdfgn.c−4
@@ -103,10 +103,6 @@ int isNull(void* ptr) {
103103 return ptr==NULL;
104104}
105105
106−int idris_eqPtr(void* x, void* y) {
107− return x==y;
108−}
109−
110106void* idris_stdin() {
111107 return (void*)stdin;
112108}
rts/idris_stdfgn.h−2
@@ -29,8 +29,6 @@ VAL idris_getString(VM* vm, void* buffer);
2929void* do_popen(const char* cmd, const char* mode);
3030int fpoll(void* h);
3131
32−
33−int idris_eqPtr(void* x, void* y);
3432int isNull(void* ptr);
3533void* idris_stdin();
3634