search

isovector / haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Apache License 2.0
0 stars 2 forks source link

Golden tests #13

Closed isovector closed 4 years ago

isovector commented 4 years ago

Let's add some golden tests for each tactic.

isovector commented 4 years ago

@TOTBWF golden tests will now write themselves; just add a file with a hole to test/testdata/tactic and add a corresponding line to the test.