git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2832 from david-christiansen/kill-derive-deceq-test
289c5a4David Christiansen
test/meta002/Deriving.idr+2
compare with master
unifiedsplit
@@ -1,6 +1,8 @@
1||| Test some deriving features
1||| Test some deriving features
2module Deriving
2module Deriving
3
3
4+-- NB: test disabled due to excess memory consumption
5+
4import Pruviloj
6import Pruviloj
5import Pruviloj.Derive.DecEq
7import Pruviloj.Derive.DecEq
6
8
test/meta002/run+2−1
@@ -1,5 +1,6 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2idris $@ -p pruviloj --nocolour --check --consolewidth 70 Tacs.idr
2idris $@ -p pruviloj --nocolour --check --consolewidth 70 Tacs.idr
3idris $@ -p pruviloj --nocolour --check --consolewidth 70 AgdaStyleReflection.idr
3idris $@ -p pruviloj --nocolour --check --consolewidth 70 AgdaStyleReflection.idr
4+# Disabled due to excess memory consumption
4−idris $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr
5+# idris $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr
5rm -f *.ibc
6rm -f *.ibc