ef36111Merge branch 'master' into repl-definitionsAlyssa Carter12 years ago c578372Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 8f7d848Don't show irrelevant MNs in proverDavid Raymond Christiansen12 years ago ccda94eMerge pull request #1447 from jwiegley/masterDavid Christiansen12 years ago e3be67aBump upper bound on parsers dependencyJohn Wiegley12 years ago f0eb9a9Removing an obsolete caseAlyssa Carter12 years ago a114693Instance declarations are working now.Alyssa Carter12 years ago 4d33a16Fixity declarations work in the repl now.Alyssa Carter12 years ago ad81ad3Use a slightly different pretty printer for PDeclsAlyssa Carter12 years ago 0337afeMake proof arguments to list functions implicitDavid Raymond Christiansen12 years ago 008bf72Adding Alyssa Carter to CONTRIBUTORSAlyssa Carter12 years ago 8a48c26Merge branch 'master' into repl-definitionsAlyssa Carter12 years ago 92abe64REPL class definitions should now be marked as repl-definedAlyssa Carter12 years ago 1fcbb92Supporting some more declaration types.Alyssa Carter12 years ago ae9b938Merge branch 'master' into repl-definitionsAlyssa Carter12 years ago 7d081b0Using ASTUtils instead of writing things out the long wayAlyssa Carter12 years ago 5c4f5d2Added an :unlet/:undefine command.Alyssa Carter12 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