4479377Fix Integer primsBenjamin Saunders13 years ago 6861795DelintedBenjamin Saunders13 years ago 93522bcObject and executable outputsBenjamin Saunders13 years ago 6b69f14CleanupBenjamin Saunders13 years ago 4072b67Check for nulls in ChkCaseBenjamin Saunders13 years ago 9130ddaFix nonsense codegen for SConBenjamin Saunders13 years ago 7b3afd5CleanupBenjamin Saunders13 years ago e8ae2f4Fix incorrect phi terminating ChkCaseBenjamin Saunders13 years ago f553076LLVM codegen: Print runtime errorsBenjamin Saunders13 years ago 961e0f7LLVM codegen iteration 3 draft 1Benjamin Saunders13 years ago 14ee023Skeleton of stub-generating LLVM codegenBenjamin Saunders13 years ago fb8cc6aMerge pull request #370 from SimonJF/decidable_list_tupleEdwin Brady13 years ago 8981c61Merge pull request #366 from LeifW/fix_missing_pom.xmlEdwin Brady13 years ago 336760dMerge pull request #365 from Ralith/fix-missing-js-sourcesEdwin Brady13 years ago 69df55bAdd DecEq instances for list and tupleSimon Fowler13 years ago 8bb6d3aAdd missing pom.xml files to extra-source-files to fix cabal sdist.Leif Warner13 years ago efa5738Add missing idris sources for javascript to extra-source-files to fix cabal sdistBenjamin Saunders13 years ago 4bebb72Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago d858016Change Show instance for Nat to show integersEdwin Brady13 years ago 8dedc4bMerge pull request #364 from Ralith/base-version-cleanupEdwin Brady13 years ago be36353Merge pull request #362 from david-christiansen/cmdline-execEdwin Brady13 years ago 77bf616Merge pull request #358 from david-christiansen/unite-the-primitivesEdwin Brady13 years ago b66e4a9Merge pull request #357 from andreas23/masterEdwin Brady13 years ago b467eeaMerge pull request #354 from yfyf/add_bash_completionEdwin Brady13 years ago 7af449cUpdate CHANGELOG to reflect recent additions and fixesEdwin Brady13 years ago 031ffb4Integer literals for Fin If the elaborator can construct a proof that it is within bounds, integet literals can be used for Fins. Otherwise, a cryptic error message will be given.Edwin Brady13 years ago 9c11754Added %unifyLog construct For debugging purposes %unifyLof t will give a trace of unification problems while elaborating t Also, log levels 6 and above will give the traceEdwin Brady13 years ago ce7e45bEXPERIMENTAL: Syntax for applying functions by expected type "t <== f" applies a function f to arguments in such a way that it returns something of type t. The <== is a placeholder syntax until someone comes up with something better. (Alternative: t by f, but that uses up a new keyword)Edwin Brady13 years ago f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders13 years ago db18c51Add scriptsDavid Christiansen13 years ago 656f219Special-case prim__believe_meDavid Christiansen13 years ago fc79985Unify primitive implementations between evaluator and executorDavid Christiansen13 years ago 6c72a24Fix spelling of Xor prims. This fixes issue #356.Andreas Bogk13 years ago 1579621Allow Execute to import primitives without cycleDavid Christiansen13 years ago 55ec9cbRemove unused importDavid Christiansen13 years ago 334fdd0Make primitive implementations act on Const rather than ValueDavid Christiansen13 years ago 127cc70Implement 'pretty' for B{8,16,32,64}Edwin Brady13 years ago 58f3f68Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago c7fded1Added 'mrefine' tactic Like refine, but uses matching instead of unification to resolve implicit arguments. All will become clear, I hope :). This is intended for an additional style of pattern matching (on types) for better explanation of proofs.Edwin Brady13 years ago 31f4e9fAdd bash completion file for IdrisIgnas Vyšniauskas13 years ago 115783cMerge pull request #351 from Melvar/hvectEdwin Brady13 years ago fbc56a0Merge pull request #350 from david-christiansen/prim-annotationsEdwin Brady13 years ago 1e40959Merge pull request #349 from david-christiansen/haddockEdwin Brady13 years ago 8b38063Merge pull request #346 from bitlisp/fixed-bigint-truncEdwin Brady13 years ago e221d08Merge pull request #344 from andy-morris/commentEdwin Brady13 years ago 357e6b1Merge pull request #345 from david-christiansen/executor-primitivesEdwin Brady13 years ago eb08982Make 'repeat' run lazily Needs 'lazy' in the recursive call otherwise it will run forever when compiled. Fixes issue #352Edwin Brady13 years ago e87a7aeMake additions public and require totalityMelvar Chen13 years ago c5979f4Add type-directed HVect functions and supporting Elem functionsMelvar Chen13 years ago affd239Add type annotations to Primitives.hs to aid in understandingDavid Christiansen13 years ago