Skip to content

Instantly share code, notes, and snippets.

@3noch
Last active April 21, 2020 00:11
Show Gist options
  • Save 3noch/80d79c8ddbc7049ae8b0e737c92f841f to your computer and use it in GitHub Desktop.
Save 3noch/80d79c8ddbc7049ae8b0e737c92f841f to your computer and use it in GitHub Desktop.
ghcide-pgmF
#!/usr/bin/env bash
{
echo '-F';
echo '-pgmF';
echo './preproc.sh';
echo '-optF';
echo '5';
} > "$HIE_BIOS_OUTPUT"
cradle: { bios: { program: hie-bios.sh } }
#!/usr/bin/env bash
{ echo "x = $4"; cat "$2"; } > $3
main = print x
@3noch
Copy link
Author

3noch commented Apr 21, 2020

chmod +x hie-bios.sh preproc.sh

ghcide passes even though ghci Test.hs can't typecheck the file.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment