git.iko.soy/Idris-dev
on master help sign in
history of09f2abd..master
compare
9a8fe0asqlite3 idris libMelissa b8f342dadded comment for testingMelissa c286d1badded simpler parserMelissa 59d07f7Quicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.Edwin Brady fe4997eMerge pull request #31 from MekeorMelire/masterEdwin Brady 906fe5cTutorial typoEdwin Brady f67b721added hyperoperation sequenceMekeor Melire c9051beadded repeat and replicateMekeor Melire ab12e51added replicateMekeor Melire 72a8ac4Merge pull request #28 from MekeorMelire/masterEdwin Brady 2ec60c8Added binding form to syntax rules (and updated tutorial accordingly)Edwin Brady 0e997eeSyntax rules need to allow implicitsEdwin Brady 168278eHook up new output; deal with exact callsEdwin Brady 0887715Output C file (not finished...)Edwin Brady fa0ecdeStarted C generationEdwin Brady 73b5aa2Local references are relative to top of stackEdwin Brady 6dde259Fix local names in primopsEdwin Brady 11a8847Add PreC, for an imperative intermediate form that should be easy to generate code fromEdwin Brady 11056e3Mark tail callsEdwin Brady 109b291Different approach to bytecodeEdwin Brady 1f83787Lazy and IO primitives in new rtsEdwin Brady 782d0f7put toSC in the right placeEdwin Brady 6554c7dTowards primitives in new VMEdwin Brady c07696dSome new bytecode compilingEdwin Brady 0215302corrected wrong type signature in definition of 'so' in tutorial.Mekeor Melire 541faf5New lambda lifter, and debug info in replEdwin Brady 38a9365More towards the new compilerEdwin Brady 5c09acdMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 67756bcAdded files for byte codeEdwin Brady ffc7b69First baby steps towards a new RTS (and towards removing epic dependency)Edwin Brady 1d58332Don't build thread support (because it doesn't work...)Edwin Brady 4bbbf1dDocument named instancesEdwin Brady ec631d7Fix default arguments in pattern contextEdwin Brady 1f95bebFix a tactic implicit bug when argument given explicitlyEdwin Brady 21ffb28Add a sample of named instancesEdwin Brady 3e3615aAllow explicit names on type class instances (for explicit resolution)Edwin Brady 46338e2Parsing restrictions for implicit argument typesEdwin Brady 6cb70bcFix for simple function applicationsEdwin Brady e1c7b0fAdd "--errorcontext" flag, and :set and :unset in the REPL. :set errorcontext will cause unification errors to also dump the current context.Edwin Brady 01dc619New way of generating default definitionsEdwin Brady 9c6546eMade Ordering an Eq instanceEdwin Brady 047be9eDon't normalise typesEdwin Brady fee6b51Fix reverse elaboration of dependent pairsEdwin Brady 126eb94Remove 'prefix' keywordEdwin Brady 232b6f6Undo Setup.hs changeEdwin Brady 6633483Add mkLazyForeign primitiveEdwin Brady 2316dc9-i option added (thanks to Dirk Ullrich)Edwin Brady 19495edCheck patterns are inaccessibleEdwin Brady 489ea6fPass pattern variable names to match compilerEdwin Brady 602ce01Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady