* Split out the explicit imports plugin
* Split out the retrie plugin
* Avoid test-breaking plugin descriptor change
It changes the order in which code actions get listed.
Some of the code action tests are not very smart and break.
* Fix stack descriptors
* Add ghc-api-version.h
* add LICENSE
Move the tactics plugin into a separate package, completely distinct form the hls exe which previously hosted this code. This is the first step towards moving tactics out of hls proper entirely.
This PR enhances the "attempt to fill hole" code action, allowing it to implement self-recursive functions. The generated code ensures recursion occurs only on structurally-smaller values, and preserves the positional ordering of homomorphically destructed arguments.
It's clever enough to implement foldr and nontrivial functor instances.
Co-authored-by: TOTBWF <reed.mullanix@calabrio.com>
Bump the lts version to resolve an issue with these-1.1.1
these-1.1.1 fails to build on some machine due to a bug in gcc. This
was worked around in these-1.1.1.1
* [WIP] Start work on 'auto'
* Get current binding
* Fix currentBindingName for class methods
* Proper impl of getDefiningBindings
* Forgot to checkin bindsites
* [WIP] Update version of refinery
* Bind all tyvars if possible
* WIP: Instantiate polymorphic functions
* Split out fresh type variables when instantiating
* Make everything compile
* Separate out tactics
* oneWayUnifyRule
* [WIP] Add 'TacticState'
* [WIP] Tweak 'unify' and 'unifyOneWayRule'
* [WIP] Start work on skolem tracking
* [WIP] Fix 'checkSkolemUnification'
* Update judgement type
* Add a Context to TacticM
* Don't destruct already destructed
* Remove the internal lib
* Cleanup warnings
* Move debug machinery into *.Debug
* Rip types out of machinery
* Cleanup warnings
* Continue splitting Machinery
* Rip out GHC and Naming
* Get it all compiling
* Stop re-exporting from Machinery
* Split out codegen/rules
* Remove gross/unused tactics
* Make newSubgoal derive from an existing judgement
* remove newJudgement
* Disallow current function from auto
* Cleanup auto
* Stop using the Judgement ctor
* Track pattern value
* Better showAstData
* Get module-scoped funcs
* Split all data constructors
* assumption -> assume
* Don't destruct if there are zero datacons
* Lambda case destruct tactics
* Fix the tests
* Rip out debug stuff since it fails CI
* Tests for lambda case actions
* Golden testing machinery
* Attempt to fill hole
* [WIP] Use 'refinery-0.2.0.0'
* [WIP] Update refinery in all stack.yaml files
* Bump version in cabal file
* Bump cabal index state
* Sort goals by heuristic
* Naming for unit types
* Heuristic for auto
* Penalize holes more
* Naming for unit types
* Give the name "unit" to units
* Fallback names for symbols and punctuation
* Get "good" name for symbolic names
* Update plugins/tactics/src/Ide/Plugin/Tactic/CodeGen.hs
Co-authored-by: wz1000 <zubin@cmi.ac.in>
* Make the TacticState strict
* Make the judgement strict
* Simplify when we use position mapping
* Move bindsites to ghcide
Co-authored-by: Sandy Maguire <sandy@sandymaguire.me>
Co-authored-by: wz1000 <zubin@cmi.ac.in>
This also requires a bump to lsp-test to fix a test, and drops the
trick that the wrapper tests used to find the wrapper executable since
it was just confusing
Update ghcide to obtain the GHC lib dir at runtime, rather than at compile time with ghc-paths. This means that the binaries can be moved about since the lib dir is obtained on the fly
Share the exe/main.hs logic between ghcide and hls: the session setup logic which previously took up most of exe/main.hs now resides inside the ghcide library, and is used by both ghcide and hls's executables
Add a --project-ghc-version option to the wrapper which spits out the project's ghc version to stdout. This is useful for the vscode extension which can then use it to download the corresponding version of binary that the wrapper would have otherwise attempted to launch
Make the wrapper check to see if the correct tool is installed beforehand. For example, if it detects a stack project but stack isn't on the path, it will report an error then and there, rather than having hls/ghcide confusingly fail later on. The vscode extension uses this new error message as well to provide a pop up message linking the user to a website to install the missing tool
Remove cabal-helper from the wrapper, so that the implicit cradle logic is the same between ghcide/hls/hls-wrapper
And of course, add a GitHub action workflow that runs whenever a release is created on GitHub that builds static binaries on Linux, and distributable enough binaries on macOS and windows. This is documented a bit more in docs/releases.md
* WIP
* WIP 2
* WIP 3
* WIP 4
* WIP 5
* WIP 6
* WIP 7
* WIP 8
* WIP 9 Use patched hie-bios to get libdir dynamically
* Try building the wrapper
* Try to fix build_wrapper env variable not being picked up
* Try again
* Give up on the env var idea
* Try out static optimised builds?
* Try squashing the working dir
* Woops
* Try squashing the builddir
* Try going into the parent directory
* Radical approach - don't use such a long name for the wrapper
* Use dist-binary flag
* Debug why floskell fails to build on windows
* haskell-language-server => hls on CI
I hate that I have to do this
* Employ extreme path saving measures
* sed time :(
* Try making sed command portable
* Compress artefacts
* Tidy up wrapper logging
* Use version checking logic in hie-bios
* Add documentation on the releases process
* Remove unused code
* Append .exe to windows binaries
* Try out building remaining supported ghc configurations
* Add wrapper tests and update hie-bios
* Use index timestamp that exists on hackage
Fixes warning
* Update hie-bios
* Update hie-bios
* Try building windows jobs on -j1
* Skip windows 8.8.2
* Update ghc-check to use hie-bios runtime ghc libdir
* Upload binaries as an artifact too
* Try flicking on enable-executable-static
I don't expect this to work, puffnfresh has already tried this and had
to fork ghcup
* Fix artifact upload
* Update to latest ghcide and reuse loadSession
* Check if the tool is installed in --project-ghc-version in the wrapper
* Fix wrapper tests by copying to temporary directory
* Try caching
* Tidy up and switch back to cabal helper implicit cradle
* use split sections
* Remove cabal-helper and replace it with hie-bios implicit logic
The cabal-helper cradle was only used by the wrapper for detecting the
project GHC version in the absence of an explicit hie.yaml file, whilst
ghcide itself used the hie-bios implicit cradle logic. This brings the
two in sync so the wrapper should behave more predictably now.
* Undo agpl common stanza change
* Add release number
Co-authored-by: amesgen <amesgen@amesgen.de>
At 747ec1401c62257ec849319eb2dda966a8008b09
Also bump cabal-project index-state to 2020-07-01T16:33:28Z
stack 8.10.1 to nightly-2020-06-29
stack 8.8.3 to lts-16.3