ff5b230 · Idris-dev · git.iko.soy

idris.cabal+1−5

compare with master

unifiedsplit

@@ -419,11 +419,7 @@ Extra-source-files:

419 test/effects005/run

420 test/effects005/*.idr

421 test/effects005/expected

422− test/effects005/input

422+

423− test/effects006/run

424− test/effects006/*.idr

425− test/effects006/expected

426− test/effects006/input

427

423

428 test/error001/run

424 test/error001/run

429 test/error001/*.idr

425 test/error001/*.idr

libs/effects/effects.ipkg+3

@@ -15,3 +15,6 @@ modules = Effects

15 , Effect.Memory

16 , Effect.System

17 , 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 @@

1"3 : Doing the double with 3"

26

38

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 @@

1#!/usr/bin/env bash

2−idris $@ effects005.idr -o effects005 -p effects

2+idris $@ simplelog.idr -o simple -p effects

3−./effects005

3+./simple

4−rm -f effects005 *.ibc

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