8d07967Stop building packages if there are totality mismatchesDavid Raymond Christiansen12 years ago acf010bincremented blaze markup versionJefferson Carpenter13 years ago e1f7597Merge pull request #1204 from david-christiansen/totality-warningEdwin Brady13 years ago e415542Merge pull request #1210 from DanielWaterworth/vect_append_associativeDavid Christiansen13 years ago 09c8283Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for VectsDaniel Waterworth13 years ago f979614Merge pull request #1208 from david-christiansen/primitive-docsDavid Christiansen13 years ago 5621005Merge pull request #1205 from david-christiansen/issue/1191David Christiansen13 years ago e16c068Documentation for primitivesDavid Raymond Christiansen13 years ago 755b5b3Remove stale .ibcsDavid Raymond Christiansen13 years ago 1e59cbdMerge pull request #1206 from paulkoerbitz/fix/1187-doc-no-constructorsDavid Christiansen13 years ago f1d8f86Make ':doc' say 'No constructors.' when a data type has no constructors.Paul Koerbitz13 years ago 86fff05Add totality warnings to CHANGELOGDavid Raymond Christiansen13 years ago aabd0a9Allow %name to take an infix name as an argument.David Raymond Christiansen13 years ago 45e0a6bMerge pull request #1200 from melted/tcDavid Christiansen13 years ago 7f9526cUpdate test for totality warningsDavid Raymond Christiansen13 years ago cd8a233Don't try to compile a test that doesn't have `main`David Raymond Christiansen13 years ago 0cdef7fUpdate for totality warningsDavid Raymond Christiansen13 years ago a6caf2dShow more errorsDavid Raymond Christiansen13 years ago 7143962Make totality a warning until compilingDavid Raymond Christiansen13 years ago 29cd870Merge pull request #1203 from david-christiansen/ideslave-printingDavid Christiansen13 years ago 89a975eImprove ideslave highlighting of primitivesDavid Raymond Christiansen13 years ago 30ee9adFuture-proof the TC' monadniklas13 years ago 4856076Merge pull request #1199 from david-christiansen/masterDavid Christiansen13 years ago 78431f7Add useful property to Prelude.Vect: xs ++ [] = xsDavid Raymond Christiansen13 years ago 6669a26Add superclass info to ClassDoc and output it in pprintDocs (:doc command)Paul Koerbitz13 years ago 822690aMerge branch 'JavaBuffers' into JavaBackendFixesJan Bessai13 years ago 7c2c010added "prim__registerPtr" noop for JavaJan Bessai13 years ago 884c5b8* Make regression test029 work by adding a wrapper loading environment variables to properties * Include sugar004Jan Bessai13 years ago a3221e3Merge branch 'master' into JavaBackendFixesJan Bessai13 years ago 0bdb8e6Minor fixes for the Java backendJan Bessai13 years ago 47cd264alloc_heap also requires the pointer alignment hack.stepcut13 years ago ffdb074Change + to | because | better reflects our intentions.stepcut13 years ago 50eacbdshould have been in the last commit.stepcut13 years ago 0a4d91bChanged some ints to size_t. Seems valid -- not certain.stepcut13 years ago 48aa599force tag_arity and ty to be uint32_t instead of system dependent int sizes.stepcut13 years ago 8a0beabremove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.stepcut13 years ago 66936b0hack in idris_gc to force 16-bit/2-byte alignment for allocations. Some embedded platforms, like the arduino/avr, support byte-aligned pointers. However, that makes implementing tagged pointers very tricky. So, instead we just force 16-bit alignment.stepcut13 years ago 035d0a9fixups for HAS_PTHREAD changesstepcut13 years ago c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut13 years ago 3c58bbfEarly buffer implementation for the Java codegenJan Bessai13 years ago ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross13 years ago