ef19157Put an upper bound on TrifectaDavid Raymond Christiansen12 years ago 249523dList packages in TravisDavid Raymond Christiansen12 years ago 481d233rename writeLine to writeString, add writeLineHeather12 years ago 7ca1a6fAdd Uninhabited instance for Any p []David Raymond Christiansen12 years ago 196bc76Merge pull request #1409 from Melvar/forDavid Christiansen12 years ago 7d081b0Using ASTUtils instead of writing things out the long wayAlyssa Carter12 years ago 5c4f5d2Added an :unlet/:undefine command.Alyssa Carter12 years ago ad11bf8Add for and for_Melvar Chen12 years ago eedaa56Merge pull request #1406 from jthemphill/fix-qsortDavid Christiansen12 years ago 1275b9eFix a bug in qsortJeff Hemphill12 years ago 34f63d4Merge remote-tracking branch 'upstream/master' into fix/master/arduinostepcut12 years ago 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.stepcut12 years ago 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.stepcut12 years ago 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.stepcut12 years ago