Disable interactive017 (again).
See https://github.com/idris-lang/Idris-dev/pull/4046#issuecomment-326910042
commit1f1155ca2894567be8a4d5defafd9bb8aaf4f988
authorSteven Shaw <steven@steshaw.org>
dateWed 6 Sep 2017, 20:41 (9 years ago)
parent6e66041
test/TestData.hs+3−1
@@ -158,7 +158,9 @@ testFamiliesData = [
158158 ( 14, C_CG ),
159159 ( 15, ANY ),
160160 ( 16, ANY ),
161− ( 17, ANY ),
161+-- FIXME: Re-enable interactive017 once it works with and without node.
162+-- FIXME: See https://github.com/idris-lang/Idris-dev/pull/4046#issuecomment-326910042
163+-- ( 17, ANY ),
162164 ( 18, ANY )]),
163165 ("interfaces", "Interfaces",
164166 [ ( 1, ANY ),