ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 14:38:20 +03:00
Code Issues Projects Releases Wiki Activity

Foreign pointer equality

Browse Source 
Can be useful when dealing with values originating in foreign functions.
Intended in particular for checking sending VM in message passing
concurrency.
This commit is contained in:
Edwin Brady 2014-01-20 10:42:28 +00:00
parent 1dfc8fdb20
commit f44fe3290f
3 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
libs/prelude/Prelude.idr
View File

@ -532,12 +532,16 @@ ferror (FHandle h) = do err <- do_ferror h
partial
nullPtr : Ptr -> IO Bool
nullPtr p = do ok <- mkForeign (FFun "isNull" [FPtr] FInt) p
return (ok /= 0);
return (ok /= 0)
partial
nullStr : String -> IO Bool
nullStr p = do ok <- mkForeign (FFun "isNull" [FString] FInt) p
return (ok /= 0);
return (ok /= 0)
eqPtr : Ptr -> Ptr -> IO Bool
eqPtr x y = do eq <- mkForeign (FFun "idris_eqPtr" [FPtr, FPtr] FInt) x y
return (eq /= 0)
partial
validFile : File -> IO Bool

4
rts/idris_stdfgn.c
View File

@ -36,6 +36,10 @@ int isNull(void* ptr) {
return ptr==NULL;
}
int idris_eqPtr(void* x, void* y) {
return x==y;
}
void* idris_stdin() {
return (void*)stdin;
}

1
rts/idris_stdfgn.h
View File

@ -12,6 +12,7 @@ int fileEOF(void* h);
int fileError(void* h);
void fputStr(void*h, char* str);
int idris_eqPtr(void* x, void* y);
int isNull(void* ptr);
void* idris_stdin();