a30a9c1 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Make it compile, and use a List instead of a Vect

a30a9c1Reynir Reynisson13 years ago

lib/Prelude/Chars.idr+1−2

@@ -1,7 +1,6 @@

1module Prelude.Char

3import Builtins

4−import Prelude.Vect

6isUpper : Char -> Bool

5isUpper : Char -> Bool

7isUpper x = x >= 'A' && x <= 'Z'

6isUpper x = x >= 'A' && x <= 'Z'

@@ -38,7 +37,7 @@ toLower x = if (isUpper x)

39isHexDigit : Char -> Bool

38isHexDigit : Char -> Bool

40isHexDigit x = elem (toUpper x) hexChars where

39isHexDigit x = elem (toUpper x) hexChars where

41− hexChars : Vect 16 Char

40+ hexChars : List Char

42 hexChars = ['0', '1', '2', '3', '4', '5', '6', '7', '8', '9',

41 hexChars = ['0', '1', '2', '3', '4', '5', '6', '7', '8', '9',

43 'A', 'B', 'C', 'D', 'E', 'F']

42 'A', 'B', 'C', 'D', 'E', 'F']

lib/base.ipkg+1−1

@@ -7,7 +7,7 @@ modules = Builtins, Prelude, IO, System,

7 Prelude.List, Prelude.Maybe, Prelude.Monad, Prelude.Applicative,

8 Prelude.Either, Prelude.Vect, Prelude.Strings, Prelude.Chars,

9 Prelude.Heap, Prelude.Complex, Prelude.Functor, Prelude.Foldable,

10− Prelude.Traversable,

10+ Prelude.Traversable, Prelude.Bits,

12 Network.Cgi,

13 Debug.Trace,