git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/REPL.hs
all commits
4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 6e13c82Support presentations of abstract names in outputDavid Raymond Christiansen b7cf1ecFix delab of scoped implicitsEdwin Brady 9607683Apply Nat optimisation for :execEdwin Brady 83cf2f6Disable :! in IDE modeRyan Scott d4ce631Add :! for running shell commands from the REPLRyan Scott fb33d8cIndentation configuration via command line args.Steven Shaw a573876Use same format in IDE mode for hole types as REPLDavid Raymond Christiansen fb185aaCheck for linearity of constructorsEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes fe68986Coverage checker fixEdwin Brady 7818396Don't whnf binder typesEdwin Brady b0130d6Add whnfArgsEdwin Brady b28f12bWHNF takes an environmentEdwin Brady b8f0ef6Separate modules for termination/coverageEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 54f8988Work around GHCJS's patched export of isWindows from System.FilePathBenjamin Hodgson 0df1270Change Instance to implementation (#3404)(λ _ λ) 16b0fe8Merge pull request #3396 from enolan/port-noneAhmad Salim Al-Sibahi c328d7cMerge pull request #3401 from david-christiansen/printdef-infixDavid Christiansen 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) 13ad7deUse correct fixity info for :printdefDavid Raymond Christiansen be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 5b2711fMerge pull request #3362 from jfdm/isolate-mainJan de Muijnck-Hughes 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes 29046ccPrint core definitionsDavid Christiansen c3f0755replace code level class symbol with inferfacezjhmale 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi 799b432Use system to allow $EDITOR with argsNiklas Larsson 7973024Some internal structural Changes.Jan de Muijnck-Hughes 757b76fAdded new items to Idris.InfoJan de Muijnck-Hughes c96148cCollate 'info' about idris setup.Jan de Muijnck-Hughes abe2cd3Tidy case blocks in hole typesEdwin Brady a09a1bfBuild with GHC8 and trifecta-1.6David Kraeutmann 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes a854972Small reduction in constraint generationEdwin Brady fdfa04cStore file with constraints + exportEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 2cfcbcfPositivity checking under parametersEdwin Brady d2a8c3eFold portable into CodegenNiklas Larsson 80225afExport intermediate representation as JSONNiklas Larsson a41ca33Merge branch 'master' of https://github.com/idris-lang/Idris-dev into colin-adams-coveringAhmad Salim Al-Sibahi 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady 41e3c52Added covering as a possible value for %defaultColin Adams 0c517d6Fixes #499 allowing packages to be installed to custom location.Jan de Muijnck-Hughes be0ff0fAdd 'definable' flag to metavariablesEdwin Brady dc7fd3bMerge pull request #2942 from projedi/sigint-handlingNiklas Larsson 2aae0b3Do not quit the REPL on Ctrl-C.Alexander Shabalin