mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-22 14:38:20 +03:00
c8530b39e1
For edwinb/Idris-dev#331 , allowing a segfault on returning a null pointer string is very bad. This requires that either the value is present or it returns Nothing.
20 lines
387 B
C
20 lines
387 B
C
#ifndef _IDRISSTDFGN_H
|
|
#define _IDRISSTDFGN_H
|
|
|
|
// A collection of useful standard functions to be used by the prelude.
|
|
|
|
void putStr(char* str);
|
|
//char* readStr();
|
|
|
|
void* fileOpen(char* f, char* mode);
|
|
void fileClose(void* h);
|
|
int fileEOF(void* h);
|
|
int fileError(void* h);
|
|
void fputStr(void*h, char* str);
|
|
|
|
int isNull(void* ptr);
|
|
int isNullString(char* str);
|
|
void* idris_stdin();
|
|
|
|
#endif
|