Patched fasta benchmark so it compiles.
Patched fasta benchmark so it compiles.

Underlying problem with string literals needs to be addressed.

that can come later.

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev