Last active
April 21, 2020 00:11
-
-
Save 3noch/80d79c8ddbc7049ae8b0e737c92f841f to your computer and use it in GitHub Desktop.
ghcide-pgmF
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
{ | |
echo '-F'; | |
echo '-pgmF'; | |
echo './preproc.sh'; | |
echo '-optF'; | |
echo '5'; | |
} > "$HIE_BIOS_OUTPUT" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
cradle: { bios: { program: hie-bios.sh } } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
{ echo "x = $4"; cat "$2"; } > $3 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
main = print x |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
chmod +x hie-bios.sh preproc.sh
ghcide
passes even thoughghci Test.hs
can't typecheck the file.