Fixes to Logging effect
commitff5b2308fa9b4c36958e7dad36b1bd92d30a52ba
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateTue 16 Jun 2015, 08:26 (11 years ago)
parent9562ae8
idris.cabal+1−5
@@ -419,11 +419,7 @@ Extra-source-files:
419419 test/effects005/run
420420 test/effects005/*.idr
421421 test/effects005/expected
422− test/effects005/input
423− test/effects006/run
424− test/effects006/*.idr
425− test/effects006/expected
426− test/effects006/input
422+
427423
428424 test/error001/run
429425 test/error001/*.idr
libs/effects/effects.ipkg+3
@@ -15,3 +15,6 @@ modules = Effects
1515 , Effect.Memory
1616 , Effect.System
1717 , Effect.Trans
18+ , Effect.Logging.Level
19+ , Effect.Logging.Simple
20+ , Effect.Logging.Default
test/effects006/effects006.idr → test/effects005/defaultlog.idrrenamed
The content is the same.
test/effects005/expected+2
@@ -1,3 +1,5 @@
11"3 : Doing the double with 3"
226
338
4+"3 : [\"NumOPS\"] : Doing the double with 3"
5+6
test/effects005/inputdeleted−10
@@ -1,10 +0,0 @@
1−
2−
3−
4−
5−
6−
7−
8−
9−done
10−
test/effects005/run+5−3
@@ -1,4 +1,6 @@
11#!/usr/bin/env bash
2−idris $@ effects005.idr -o effects005 -p effects
3−./effects005
4−rm -f effects005 *.ibc
2+idris $@ simplelog.idr -o simple -p effects
3+./simple
4+idris $@ defaultlog.idr -o default -p effects
5+./default
6+rm -f simple default *.ibc
test/effects005/effects005.idr → test/effects005/simplelog.idrrenamed
The content is the same.
test/effects006/expecteddeleted−2
@@ -1,2 +0,0 @@
1−"3 : [\"NumOPS\"] : Doing the double with 3"
2−6
test/effects006/inputdeleted−10
@@ -1,10 +0,0 @@
1−
2−
3−
4−
5−
6−
7−
8−
9−done
10−
test/effects006/rundeleted−4
@@ -1,4 +0,0 @@
1−#!/usr/bin/env bash
2−idris $@ effects006.idr -o effects006 -p effects
3−./effects006
4−rm -f effects006 *.ibc