git.iko.soy/Idris-dev
on master help sign in
history ofea4997e..master
compare
ef19157Put an upper bound on TrifectaDavid Raymond Christiansen 249523dList packages in TravisDavid Raymond Christiansen 481d233rename writeLine to writeString, add writeLineHeather 7ca1a6fAdd Uninhabited instance for Any p []David Raymond Christiansen 196bc76Merge pull request #1409 from Melvar/forDavid Christiansen 7d081b0Using ASTUtils instead of writing things out the long wayAlyssa Carter 5c4f5d2Added an :unlet/:undefine command.Alyssa Carter ad11bf8Add for and for_Melvar Chen eedaa56Merge pull request #1406 from jthemphill/fix-qsortDavid Christiansen a0ba488Merge pull request #1408 from ahmadsalim/bug/sortedmapDavid Christiansen 927cca7Fixed bug regarding insertion in SortedMap. Fixes idris-lang/Idris-dev#1394. Solution based on the diagnosis in @sebzim4500s comment.Ahmad Salim Al-Sibahi 1275b9eFix a bug in qsortJeff Hemphill 8b66f2aMerge pull request #1405 from david-christiansen/masterDavid Christiansen 2aed52aUpdate docs for equality typeDavid Raymond Christiansen 9242f46Resolve default Integer as late as possibleEdwin Brady 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 dbc0539Merge pull request #1397 from jfdm/doc/effectsv0.9.14Edwin Brady b54541fFix doc rot on effects.Jan de Muijnck-Hughes 86ec4a1New regression testEdwin Brady e6e1ad9Unification fixEdwin Brady 6cc18fdmakelemma fixEdwin Brady f158123Disable old productivity checkerEdwin Brady 734a7bfGenerate better record projection typesEdwin Brady a329a4cMerge branch 'JasonGross-gc-header-fix'Edwin Brady 9000ecfSpot name clases in error messagesEdwin Brady a0413d0Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fixEdwin Brady 9b9d513Merge pull request #1384 from lenary/correct-semilatticesEdwin Brady d8dd5d5Update version numberEdwin Brady 5b37733Clarify semilattice documentationSam Elliott 6b5a120Remove neweffects from cabalEdwin Brady ced7733Replace 'effects' with neweffectsEdwin Brady 6e39ba5Normalise everything before 'with' abstractionEdwin Brady 1d23ad1Normalise before abstracting over 'with' typeEdwin Brady 4d62d30x = y now tries homogeneous equality firstEdwin Brady 228877aMerge pull request #1392 from ziman/fix-dctor-erasureEdwin Brady 25de16dDisjoint constants should be fatal in unificationEdwin Brady c1968edFix parameter spotting in function typesEdwin Brady 4ca8e46Fix data ctor arity comparison.Matus Tejiscak adb59d0Resolve class instances under let bindingsEdwin Brady 0a1965eChange 'Not a guess' errorEdwin Brady 82753c9Merge pull request #1387 from raichoo/javascriptraichoo 8915184javascript: wrap exceptions in functionraichoo 6f23501javascript: whitespaceraichoo a50224djavascript: factor AST into own moduleraichoo f9f43c4Merge pull request #1385 from raichoo/javascriptraichoo b669628javascript: switch to Data.Text for code generationraichoo 194c86bCorrect Semilattice ImplementationsSam Elliott