Fix use of %flag in test basic001
commit78155bea70fab99a24b050102c5f78caccf66281
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateSun 9 Nov 2014, 12:10 (12 years ago)
parent27d6b04
test/basic001/reg005.idr+3−1
@@ -1,6 +1,8 @@
11module Main
22
3−%flag C "-g3 -ggdb -O0"
3+%flag C "-g3"
4+%flag C "-ggdb"
5+%flag C "-O0"
46
57rep : (n : Nat) -> Char -> Vect n Char
68rep Z x = []