640fde0Fix for conversion methods in the Java backendJan Bessai13 years ago 39ec051Merge branch 'master' of https://github.com/edwinb/Idris-devJan Bessai13 years ago f593dccMerge pull request #333 from bitlisp/bigint-float-conversionEdwin Brady13 years ago 7d6f7f7Integer <-> Float conversion in C codegenBenjamin Saunders13 years ago 5fa7c0eMerge pull request #332 from bitlisp/fixed-float-unopsEdwin Brady13 years ago 613774cFix invalid C codegen for unary floating point operatorsBenjamin Saunders13 years ago a2cfcffMerge pull request #330 from byorgey/patch-2Edwin Brady13 years ago 1ce780aMerge pull request #329 from byorgey/patch-1Edwin Brady13 years ago 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 Brady13 years ago 7bfa10cSome unification fixesEdwin Brady13 years ago fa29447another small typo fix in tutorialBrent Yorgey13 years ago 4145030A couple small typo fixes in the tutorialBrent Yorgey13 years ago b62a2e4Merge pull request #319 from david-christiansen/remove-returnEdwin Brady13 years ago 3c58071Merge pull request #326 from raichoo/javascriptEdwin Brady13 years ago 5cd7632javascript: fix compilation errorraichoo13 years ago 6333220javascript: indentationraichoo13 years ago d2079b7javascript: added ++ for JSArrayraichoo13 years ago 29b5afejavascript: added index to JSONArrayraichoo13 years ago f9a2734javascript: added experimental JSON datastructureraichoo13 years ago 8613e7cjavascript: add hack to check for undefinedraichoo13 years ago 9dea448javascript: added javascript lib packageraichoo13 years ago 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 Brady13 years ago 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 Brady13 years ago 61c25d1Merge pull request #324 from andreas23/masterEdwin Brady13 years ago e4fc71aMerge pull request #322 from raichoo/javascriptEdwin Brady13 years ago 4b0c8a7Merge branch 'master' of git://github.com/edwinb/Idris-devAndreas Bogk13 years ago b56caabFix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.Andreas Bogk13 years ago c999e14javascript: address fields directly via ['fieldname']raichoo13 years ago 8a62d56javascript: handle arrays correctly in FFIraichoo13 years ago d9435c6New size change graph builder Looks at patterns, rather than case tree, and therefore finds it easier to spot structurally smaller arguments which are more complex.Edwin Brady13 years ago e14541cjavascript: assign HOFs properlyraichoo13 years ago 8742224javascript: handle tailcalls for FFIraichoo13 years ago cc7426fFix totality of updateWith/rebuildEnv in EffectsEdwin Brady13 years ago 32377c4javascript: fix semicolonsraichoo13 years ago 2613689javascript: make FFI work with HOFsraichoo13 years ago 4cb3ab9Merge pull request #320 from raichoo/vimEdwin Brady13 years ago ac410e5Merge pull request #318 from david-christiansen/completion-workEdwin Brady13 years ago 235eb87Merge pull request #317 from david-christiansen/providersEdwin Brady13 years ago e93a90avim: automatically adjust tactics and metavars to colorschemeraichoo13 years ago 82b52b0vim: highlight chars and infixed functionsraichoo13 years ago d0460a3Remove "return" from MonadDavid Christiansen13 years ago 25ae311Add primitive type names to name completionDavid Christiansen13 years ago 34bec13Tiny further simplification of type provider elaborationDavid Christiansen13 years ago 1a19038Further simplify of type provider elaborationDavid Christiansen13 years ago 2bf5a3cClean up implementation of type providersDavid Christiansen13 years ago 66ff954Make the type of ierror more generalDavid Christiansen13 years ago 5b2f091Allow type class constraints in 'using' clauses e.g. if a using block is given asEdwin Brady13 years ago d79a445Update where type inference example in tutorialEdwin Brady13 years ago af78968Merge branch 'unified-int-primitives-fix' of https://github.com/bitlisp/Idris-dev into bitlisp-unified-int-primitives-fixEdwin Brady13 years ago 544349aMerge pull request #315 from joe9/masterEdwin Brady13 years ago