Fix test016
commit1d125cfa58800d03f29b31b85c94a03cf92a74f5
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 24 Oct 2012, 20:39 (14 years ago)
parent991ee91
lib/Checkall.idrdeleted−31
@@ -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
22
33%default total
44
@@ -16,5 +16,5 @@ take n [] = []
1616-- foo = refl
1717
1818main : IO ()
19−main = do print (take 10 (main.countFrom 10))
19+main = do print (take 10 (Main.countFrom 10))
2020