git.iko.soy/Idris-dev
on master help sign in
history ofef36111..master
compare
8f7d848Don't show irrelevant MNs in proverDavid Raymond Christiansen 0337afeMake proof arguments to list functions implicitDavid Raymond Christiansen 34f63d4Merge remote-tracking branch 'upstream/master' into fix/master/arduinostepcut 58eed03Added rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function.stepcut 4382706If EXIT_SUCCESS and EXIT_FAILURE are not defined (as is the case on Arduino), explicitly define them using standard values (EXIT_SUCCESS == 0, EXIT_FAILURE == 1). In the long term the RTS should be modified to not call exit directly at all since it does not make sense on embedded platforms. The calls to exit(EXIT_SUCCESS) and exit(EXIT_FAILURE). Should be replaced by macros that do something sensible on the platform.stepcut 17c887aSet IDRIS_ENABLE_STATS in config.mk instead of in idris_stats.h. stats are not supported on Arduino. Also make sure that when IDRIS_ENABLE_STATS is not set, the idris_stats.h does not pull in time.h as this header is not available on the Arduino platform.stepcut