git.iko.soy/Idris-dev
on master help sign in
Library rearrangement done.
e1f139aDavid Raymond Christiansen
src/Idris/Elab/Provider.hs+1−1
compare with master
unifiedsplit
@@ -112,7 +112,7 @@ elabProvider doc info syn fc what n
112 -- error messages with less normalisation
112 -- error messages with less normalisation
113 providerOf :: Type -> Type
113 providerOf :: Type -> Type
114 providerOf ty = App (P Ref (sUN "IO") Erased) $
114 providerOf ty = App (P Ref (sUN "IO") Erased) $
115− App (P Ref (sNS (sUN "Provider") ["Providers"]) Erased)
115+ App (P Ref (sNS (sUN "Provider") ["Providers", "Prelude"]) Erased)
116 ty
116 ty
117
117
118 isProviderOf :: Context -> TT Name -> TT Name -> Bool
118 isProviderOf :: Context -> TT Name -> TT Name -> Bool
src/Idris/Providers.hs+3−3
@@ -10,16 +10,16 @@ import Idris.Error
10-- | Wrap a type provider in the type of type providers
10-- | Wrap a type provider in the type of type providers
11providerTy :: FC -> PTerm -> PTerm
11providerTy :: FC -> PTerm -> PTerm
12providerTy fc tm
12providerTy fc tm
13− = PApp fc (PRef fc $ sUN "Provider") [PExp 0 [] (sMN 0 "pvarg") tm]
13+ = PApp fc (PRef fc $ sNS (sUN "Provider" ) ["Providers", "Prelude"]) [PExp 0 [] (sMN 0 "pvarg") tm]
14
14
15ioret :: Name
15ioret :: Name
16ioret = sUN "prim_io_return"
16ioret = sUN "prim_io_return"
17
17
18ermod :: Name
18ermod :: Name
19−ermod = sNS (sUN "Error") ["Providers"]
19+ermod = sNS (sUN "Error") ["Providers", "Prelude"]
20
20
21prmod :: Name
21prmod :: Name
22−prmod = sNS (sUN "Provide") ["Providers"]
22+prmod = sNS (sUN "Provide") ["Providers", "Prelude"]
23
23
24data Provided a = Provide a
24data Provided a = Provide a
25 deriving (Show, Eq, Functor)
25 deriving (Show, Eq, Functor)
test/basic011/run+1−1
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ basic011.idr -o basic011
2+idris $@ basic011.idr -p contrib -o basic011
3./basic011
3./basic011
4rm -f basic011 *.ibc
4rm -f basic011 *.ibc
test/docs002/docs002.idr−3
@@ -1,9 +1,6 @@
1module Main
1module Main
2
2
3-- Simple test case for type provider documentation.
3-- Simple test case for type provider documentation.
4−
5−import Providers
6−
7%language TypeProviders
4%language TypeProviders
8
5
9getType : Int -> IO (Provider Type)
6getType : Int -> IO (Provider Type)
test/ffi002/expected+1−1
@@ -1 +1 @@
1−test023.idr:22:21:Type provider error: Always fails
1+test023.idr:20:21:Type provider error: Always fails
test/ffi002/test023.idr−2
@@ -2,8 +2,6 @@ module Main
2
2
3-- Simple test case for trivial type providers.
3-- Simple test case for trivial type providers.
4
4
5−import Providers
6−
7%language TypeProviders
5%language TypeProviders
8
6
9-- Provide the Unit type
7-- Provide the Unit type
test/ffi004/test026.idr−2
@@ -2,8 +2,6 @@ module Main
2
2
3-- Simple test case for trivial type providers.
3-- Simple test case for trivial type providers.
4
4
5−import Providers
6−
7%language TypeProviders
5%language TypeProviders
8
6
9strToType : String -> Type
7strToType : String -> Type
test/ffi005/Postulate.idr−2
@@ -1,7 +1,5 @@
1module Main
1module Main
2
2
3−import Providers
4−
5%language TypeProviders
3%language TypeProviders
6
4
7bad : IO (Provider Type)
5bad : IO (Provider Type)
test/interactive007/run+1−1
@@ -1,2 +1,2 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris --nobanner --nocolor < input
2+idris -p contrib --nobanner --nocolor < input
test/io003/run+2−2
@@ -1,6 +1,6 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ test018.idr -o test018
2+idris $@ test018.idr -p contrib -o test018
3−idris $@ test018a.idr -o test018a
3+idris $@ test018a.idr -p contrib -o test018a
4./test018
4./test018
5#./test018a
5#./test018a
6rm -f test018 test018a *.ibc
6rm -f test018 test018a *.ibc
test/primitives003/expected−2
@@ -16,8 +16,6 @@ True
16False
16False
17True
17True
18False
18False
19−True
20−False
21False
19False
22True
20True
23False
21False
test/primitives003/test038.idr−3
@@ -40,9 +40,6 @@ main = do
40 -- Booleans
40 -- Booleans
41 putStrLn . show $ test True True
41 putStrLn . show $ test True True
42 putStrLn . show $ test True False
42 putStrLn . show $ test True False
43− -- Float
44− putStrLn . show $ test 1.0 1.0
45− putStrLn . show $ test 1.0 2.0
46 -- Maybe
43 -- Maybe
47 putStrLn . show $ test (Just "hello") (Just "hello")
44 putStrLn . show $ test (Just "hello") (Just "hello")
48 putStrLn . show $ test (Just "hello") (Just "world")
45 putStrLn . show $ test (Just "hello") (Just "world")
test/reg048/run+1−1
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ reg048.idr -o reg048
2+idris $@ reg048.idr -p contrib -o reg048
3./reg048
3./reg048
4rm -f reg048 *.ibc
4rm -f reg048 *.ibc