git.iko.soy/Idris-dev
on da672ec help sign in
da672ecMerge pull request #2753 from mrmonday/set-optionsNiklas Larsson d7794a6Merge pull request #2755 from Legogris/patch-1Edwin Brady 559a903Merge pull request #2715 from cmcl/fix-effect-commentEdwin Brady 3d5ead3Merge pull request #2691 from mitchellwrosen/patch-1Edwin Brady f4ed74cUpdate Mystery Word example codeRobert Edström ce35f7aKeep :set options in sync.Robert Clipsham 06edf43Add implicit lambdas for top level implicitsEdwin Brady c7bed76Better disambiguation with type class methodsEdwin Brady c6a8862Add %deprecate directiveEdwin Brady 53f4651Tidy up name warnings in PreludeEdwin Brady 47b83b8Change type of HVect.put/get/update so auto worksEdwin Brady a35ccd6Update Eff constructors to remove warningsEdwin Brady da914afConsistency of implicit/pattern name binding rulesEdwin Brady a458e29Take care when calling allNamesInEdwin Brady 83f0af1Display expected type of RHS in error messagesEdwin Brady db07875Merge "add definition" and "add missing" commandsEdwin Brady 8996abfParse to line now reads whole definitionEdwin Brady c98e24fMerge pull request #2746 from david-christiansen/pruvilojDavid Christiansen f7e1990Add lookup of FunArgs for global names to ElabDavid Raymond Christiansen 6a208f7Fix docstrings for apply and matchApplyDavid Raymond Christiansen c5f5dabMerge pull request #2741 from david-christiansen/pruvilojDavid Christiansen 5323b12Remove obsolete Elab primitive from Term.hsDavid Raymond Christiansen 5330e8aSimplifications to ElabDavid Raymond Christiansen ab62c98Make cycle test work with Curses IdrisDavid Raymond Christiansen 1edba41Add environment argument to Elab.Tactics.checkDavid Raymond Christiansen 68c519eConvert comments in WHNF.hs to HaddockDavid Raymond Christiansen d2f892bMerge pull request #2728 from jeremy-w/jeremy-w/ipkg-allow-arbitrary-executable-names-2721Niklas Larsson aabda6eMerge pull request #2735 from LeifW/bump_vector_constraintNiklas Larsson 304a7e7Bump vector constraint to allow 0.11.xLeif Warner 8bd99edDetect cycles in importsEdwin Brady fe38aacCache information when module chasingEdwin Brady 4249691Check whether type declarations are actually typesEdwin Brady 9229b62PParser.hs: filename: Add check that path is validJeremy W. Sherman ee589b5PParser.hs: Use ConstraintKinds to avoid "illegal tuple constraint"Jeremy W. Sherman b329791Add @jeremy-w to CONTRIBUTORSJeremy W. Sherman 6c4deb2Merge pull request #2718 from david-christiansen/pruvilojDavid Christiansen 16ed52dMerge pull request #2719 from jeremy-w/jeremy-w/edit-elaborator-reflectionNiklas Larsson 9c8d8ccCHANGELOG: Fix typo: mutliple -> multipleJeremy W. Sherman 4f96945Test that IPKG rejects executable with directory componentJeremy W. Sherman a22dd61Add test that quoted strings with valid filenames are OKJeremy W. Sherman 4274456Add test that IPKG executable accepts namespaced identifierJeremy W. Sherman 67ff67ePParser.hs: filename: Explain failed parse with |fail|Jeremy W. Sherman 3ccdc4bPParser.hs: filename: Verify it is a non-empty filenameJeremy W. Sherman 44b87ecPParser.hs: filename: Restore backwards compatibilityJeremy W. Sherman 5eeaf9ePParser.hs: filename: Remove use of |try|Jeremy W. Sherman d75e4c6Remove advice to import Language.Reflection.ElabJeremy W. Sherman c6c4bf4Drop claim that general-purpose commands are general REPL commandsJeremy W. Sherman d17f246Remove duplicated phraseJeremy W. Sherman f30db6bFix typo: reply -> REPLJeremy W. Sherman 1e687f3Rename record fields in reflectionDavid Raymond Christiansen