git.iko.soy/Idris-dev
on master help sign in
history ofsrc/Idris/REPL.hs
all commits
0e2f545Silence stylizeNiklas Larsson 332df52Remove use of deprecated network functionalityNiklas Larsson fb717ccFix compilation with GHC 8.4Niklas Larsson 8e2aff5Print error message if :exec'ed program exits with failureIlya Yanok 37b4861Rename to emitWarningJason Felice 2576d6dFormat some messages in the proverJason Felice 826b491Extract formatWarningJason Felice b1a4264Improve error message locations (#4210)Jason Felice 4a2e0acadd ":version" REPL commandMichael Morgan aad7688Megaparsec prep (#4164)Jason Felice 4878fe4Allow upper case letter in package name and only normalize for equality and on diskVincent Hanquez f732f9dIntroduce a PkgName abstraction to represent package name instead of StringVincent Hanquez 4a3fe0cLinearTypes extension improvementsEdwin Brady 26cb165Merge branch 'master' into exportiface_jsNiklas Larsson 83bb62fUnused binds (#4067)Jason Felice 07b7138Merge pull request #4062 from steshaw/private-functionsEdwin Brady 938b321run stylizeRui Barreiro d3f9138interface parameter is passed to codegenRui Barreiro f17a3b6Issue #3883: Updated messages according to @ahmadsalimMarko Dimjašević 5950e1ePrevent private functions showing up in autocomplete and :t.Steven Shaw 6ea3989Fixed issue #3883Marko Dimjašević 5d7388bMove extensions into source filesEdwin Brady 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