Remove hole in interfaces002
This seems to confuse travis
commit73d4721e9cfce12139e5d0f57ece0a71352d74fc
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 7 May 2016, 18:21 (10 years ago)
parent8f064ca
test/interfaces002/expected−4
@@ -1,5 +1 @@
1−WARNING: There are incomplete holes:
2− [Main.prf]
3−
4−Evaluation of any of these will crash at run time.
5141
test/interfaces002/interfaces002.idr+1−1
@@ -34,6 +34,6 @@ testSum : Array n Int -> Int
3434testSum = sumArray
3535
3636main : IO ()
37−main = printLn (testSum (upd 11 2 ?prf (create 4 10)))
37+main = printLn (testSum (upd 11 1 (LTESucc (LTESucc LTEZero)) (create 4 10)))
3838
3939