github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity

Stub in a script to return the flags for ghci.

Browse Source
This commit is contained in:
Rob Rix 2019-11-01 10:32:24 -04:00
parent 76833768a4
commit 4e17878d01
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
script/ghci-flags Executable file
View File

@ -0,0 +1,2 @@
#!/bin/bash
# Computes the flags for ghcide to pass to ghci. You probably won’t be running this yourself, but rather ghcide will via configuration in hie.yaml.