git.iko.soy/Idris-dev
on master help sign in
Fix test016
1d125cfEdwin Brady
lib/Checkall.idrdeleted−31
compare with master
unifiedsplit
@@ -1,31 +0,0 @@
1−module Checkall
2−
3−-- This file just exists to typecheck all the prelude modules
4−-- Add imports here
5−
6−import Builtins
7−import Prelude
8−import IO
9−import System
10−
11−import Prelude.Algebra
12−import Prelude.Cast
13−import Prelude.Nat
14−import Prelude.Fin
15−import Prelude.List
16−import Prelude.Maybe
17−import Prelude.Monad
18−import Prelude.Applicative
19−import Prelude.Either
20−import Prelude.Vect
21−import Prelude.Strings
22−import Prelude.Chars
23−import Prelude.Heap
24−import Prelude.Complex
25−
26−import Network.Cgi
27−
28−import Language.Reflection
29−
30−import Control.Monad.Identity
31−import Control.Monad.State
test/test016/test016.idr+2−2
@@ -1,4 +1,4 @@
1−module main
1+module Main
2
2
3%default total
3%default total
4
4
@@ -16,5 +16,5 @@ take n [] = []
16-- foo = refl
16-- foo = refl
17
17
18main : IO ()
18main : IO ()
19−main = do print (take 10 (main.countFrom 10))
19+main = do print (take 10 (Main.countFrom 10))
20
20