mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-19 04:57:24 +03:00
Merge pull request #4374 from jfdm/patch-job-of-benchmark
Patched fasta benchmark so it compiles.
This commit is contained in:
commit
b5c22c0e6c
@ -3,11 +3,20 @@ module Main
|
||||
import System
|
||||
|
||||
alu : String
|
||||
alu = "GGCCGGGCGCGGTGGCTCACGCCTGTAATCCCAGCACTTTGGGAGGCCGAGGCGGGCGGATCACCTGAGG"
|
||||
++ "TCAGGAGTTCGAGACCAGCCTGGCCAACATGGTGAAACCCCGTCTCTACTAAAAATACAAAAATTAGCCGGG"
|
||||
++ "CGTGGTGGCGCGCGCCTGTAATCCCAGCTACTCGGGAGGCTGAGGCAGGAGAATCGCTTGAACCCGGGAGGC"
|
||||
++ "GGAGGTTGCAGTGAGCCGAGATCGCGCCACTGCACTCCAGCCTGGGCGACAGAGCGAGACTCCGTCTCAAAAA"
|
||||
|
||||
{- The following string literal syntax doesn't work anymore. Until fixed we shall concat the strings.
|
||||
alu = "GGCCGGGCGCGGTGGCTCACGCCTGTAATCCCAGCACTTTGGGAGGCCGAGGCGGGCGGATCACCTGAGG\
|
||||
\TCAGGAGTTCGAGACCAGCCTGGCCAACATGGTGAAACCCCGTCTCTACTAAAAATACAAAAATTAGCCGGG\
|
||||
\CGTGGTGGCGCGCGCCTGTAATCCCAGCTACTCGGGAGGCTGAGGCAGGAGAATCGCTTGAACCCGGGAGGC\
|
||||
\GGAGGTTGCAGTGAGCCGAGATCGCGCCACTGCACTCCAGCCTGGGCGACAGAGCGAGACTCCGTCTCAAAAA"
|
||||
|
||||
-}
|
||||
|
||||
|
||||
iub : List (Char, Double)
|
||||
iub = [('a',0.27),('c',0.12),('g',0.12),('t',0.27),('B',0.02)
|
||||
,('D',0.02),('H',0.02),('K',0.02),('M',0.02),('N',0.02)
|
||||
|
Loading…
Reference in New Issue
Block a user