git.iko.soy/Idris-dev
on master help sign in
Patched fasta benchmark so it compiles.

Underlying problem with string literals needs to be addressed. that can come later.

commit06e9b53dc2f67a7dba35b706a6db56c2a29b086f authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateFri 9 Mar 2018, 11:02 (9 years ago) parent612e248
1 file changed+9
compare with master
unifiedsplit
benchmarks/fasta/fasta.idr+9
benchmarks/fasta/fasta.idr+9
@@ -3,11 +3,20 @@ module Main
33import System
44
55alu : String
6+alu = "GGCCGGGCGCGGTGGCTCACGCCTGTAATCCCAGCACTTTGGGAGGCCGAGGCGGGCGGATCACCTGAGG"
7+ ++ "TCAGGAGTTCGAGACCAGCCTGGCCAACATGGTGAAACCCCGTCTCTACTAAAAATACAAAAATTAGCCGGG"
8+ ++ "CGTGGTGGCGCGCGCCTGTAATCCCAGCTACTCGGGAGGCTGAGGCAGGAGAATCGCTTGAACCCGGGAGGC"
9+ ++ "GGAGGTTGCAGTGAGCCGAGATCGCGCCACTGCACTCCAGCCTGGGCGACAGAGCGAGACTCCGTCTCAAAAA"
10+
11+{- The following string literal syntax doesn't work anymore. Until fixed we shall concat the strings.
612alu = "GGCCGGGCGCGGTGGCTCACGCCTGTAATCCCAGCACTTTGGGAGGCCGAGGCGGGCGGATCACCTGAGG\
713 \TCAGGAGTTCGAGACCAGCCTGGCCAACATGGTGAAACCCCGTCTCTACTAAAAATACAAAAATTAGCCGGG\
814 \CGTGGTGGCGCGCGCCTGTAATCCCAGCTACTCGGGAGGCTGAGGCAGGAGAATCGCTTGAACCCGGGAGGC\
915 \GGAGGTTGCAGTGAGCCGAGATCGCGCCACTGCACTCCAGCCTGGGCGACAGAGCGAGACTCCGTCTCAAAAA"
1016
17+-}
18+
19+
1120iub : List (Char, Double)
1221iub = [('a',0.27),('c',0.12),('g',0.12),('t',0.27),('B',0.02)
1322 ,('D',0.02),('H',0.02),('K',0.02),('M',0.02),('N',0.02)