mirror of
https://github.com/haskell/haskell-language-server.git
synced 2024-09-20 21:29:01 +03:00
2be03cc9ab
* [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>
46 lines
840 B
YAML
46 lines
840 B
YAML
resolver: nightly-2020-08-08
|
|
compiler: ghc-8.10.2
|
|
|
|
packages:
|
|
- .
|
|
- ./ghcide/
|
|
- ./hls-plugin-api
|
|
|
|
ghc-options:
|
|
"$everything": -haddock
|
|
|
|
extra-deps:
|
|
- aeson-1.5.2.0
|
|
- github: bubba/brittany
|
|
commit: c59655f10d5ad295c2481537fc8abf0a297d9d1c
|
|
- Cabal-3.0.2.0
|
|
- clock-0.7.2
|
|
- data-tree-print-0.1.0.2
|
|
- floskell-0.10.4
|
|
- fourmolu-0.1.0.0@rev:1
|
|
- HsYAML-aeson-0.2.0.0@rev:2
|
|
- monad-dijkstra-0.1.1.2
|
|
- opentelemetry-0.4.2
|
|
- refinery-0.2.0.0
|
|
- retrie-0.1.1.1
|
|
- stylish-haskell-0.11.0.3
|
|
- semigroups-0.18.5
|
|
- temporary-1.2.1.1
|
|
- implicit-hie-cradle-0.2.0.1
|
|
- implicit-hie-0.1.1.0
|
|
- hie-bios-0.7.1
|
|
|
|
flags:
|
|
haskell-language-server:
|
|
pedantic: true
|
|
retrie:
|
|
BuildExecutable: false
|
|
|
|
# for data-tree-print's bounds on base (>=4.8 && <4.14); using base-4.14.0.0.
|
|
allow-newer: true
|
|
|
|
nix:
|
|
packages: [ icu libcxx zlib ]
|
|
|
|
concurrent-tests: false
|