git.iko.soy/Idris-dev
on affd239 help sign in
affd239Add type annotations to Primitives.hs to aid in understandingDavid Christiansen 1b589f8Merge pull request #343 from chetant/mvn_mingw32Edwin Brady fc5bd4aneed to update mvn during build as wellChetan Taralekar e18c3efFixed mvn for mingw32Chetan Taralekar f885274Fix ordering of auto-implicits with 'using' 'using' arguments always now appear before fully implicit arguments, rather than the order we happen to find them in. TODO: Better would be to sort according to which ones we know depend on each other...Edwin Brady 894db6fMerge pull request #340 from JanBessai/BackendTargetSpecificationEdwin Brady 02f57efMerge pull request #339 from david-christiansen/gitignoreEdwin Brady 46964d7Merge pull request #338 from david-christiansen/provider-tutorialEdwin Brady 41ca744Merge pull request #316 from bitlisp/default-bignumsEdwin Brady d6169acFix tutorial textJan Bessai eacfe5cAdded backend target specification to %lib, %link and %include directivesJan Bessai 9159848Add tutorial LaTeX by-products to .gitignoreDavid Christiansen 63c90dbAdded type providers to tutorialDavid Christiansen ee77b14Fix typo: "foriegn" -> "foreign"David Christiansen 2fab1b2More Integer fixupsBenjamin Saunders ca9fce6Fix for proofs in test025 (until I've added support for Decidable.Order)Jan Bessai f2f0e07Default to Integer instead of Int, and adjust fromInteger accordinglyBenjamin Saunders b915635Merge pull request #335 from david-christiansen/providers-workEdwin Brady 06a7456Merge pull request #334 from JanBessai/masterEdwin Brady b906162Make test026 more robustDavid Christiansen f148775Make prim__readString more consistent with C codeDavid Christiansen 2544d93Strictly evaluate type constructor argsDavid Christiansen ed0ba83Strictly evaluate data constructor argsDavid Christiansen 9054e62Fix wrong result type for idris_peek in JavaJan Bessai 640fde0Fix for conversion methods in the Java backendJan Bessai 39ec051Merge branch 'master' of https://github.com/edwinb/Idris-devJan Bessai f593dccMerge pull request #333 from bitlisp/bigint-float-conversionEdwin Brady 7d6f7f7Integer <-> Float conversion in C codegenBenjamin Saunders 5fa7c0eMerge pull request #332 from bitlisp/fixed-float-unopsEdwin Brady 613774cFix invalid C codegen for unary floating point operatorsBenjamin Saunders a2cfcffMerge pull request #330 from byorgey/patch-2Edwin Brady 1ce780aMerge pull request #329 from byorgey/patch-1Edwin Brady e8c2badType class resolution fix (disables Decidable.Decidable) Instances should not be resolved when there is no information available. Previously, resolution just guessed at an instance in this case, though this was never intended behaviour!Edwin Brady 7bfa10cSome unification fixesEdwin Brady fa29447another small typo fix in tutorialBrent Yorgey 4145030A couple small typo fixes in the tutorialBrent Yorgey b62a2e4Merge pull request #319 from david-christiansen/remove-returnEdwin Brady 3c58071Merge pull request #326 from raichoo/javascriptEdwin Brady 5cd7632javascript: fix compilation errorraichoo 6333220javascript: indentationraichoo d2079b7javascript: added ++ for JSArrayraichoo 29b5afejavascript: added index to JSONArrayraichoo f9a2734javascript: added experimental JSON datastructureraichoo 8613e7cjavascript: add hack to check for undefinedraichoo 9dea448javascript: added javascript lib packageraichoo 633f698Take care to avoid duplicating redexes when reducing lambdas Binders in values are annotated with a 'reducible' flag, which is set to False if simplifying and the argument appears more than once.Edwin Brady e6d48b6Take care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisationEdwin Brady 61c25d1Merge pull request #324 from andreas23/masterEdwin Brady e4fc71aMerge pull request #322 from raichoo/javascriptEdwin Brady 4b0c8a7Merge branch 'master' of git://github.com/edwinb/Idris-devAndreas Bogk