f851e54 · Idris-dev · git.iko.soy

src/Idris/Error.hs+1−1

compare with master

unifiedsplit

@@ -146,7 +146,7 @@ warnDisamb ist (PDisamb ds tm) = warnDisamb ist tm >>

146 when (not (any (isIn d . fst) (ctxtAlist (tt_ctxt ist)))) $

147 ierror . Msg $

148 "Nothing found in namespace \"" ++

149− intercalate "." (map T.unpack d) ++

149+ intercalate "." (map T.unpack . reverse $ d) ++

150 "\"."

151 isIn d (NS _ ns) = isPrefixOf d ns

152 isIn d _ = False

test/README.md+1−1

@@ -121,7 +121,7 @@ and somewhat self-explanatory.

121 # Using cabal

122 cabal test --test-options="--pattern foo042 --accept"

123 # Using stack

124− stack test --test-arguments"--pattern foo042 --accept"

124+ stack test --test-arguments="--pattern foo042 --accept"

125 ```

1268. Check the content of `expected`. Maybe the test didn't do what you thought it would. Fix and go back to 7 until it's ok.

1279. Add under `Extra-source-files` in `idris.cabal` the patterns that match the folder's content. If you forget this, your test will fail in Travis CI. With the previous example, it should be at least:

test/TestData.hs+2−1

@@ -111,7 +111,8 @@ testFamiliesData = [

111 ( 5, ANY ),

112 ( 6, ANY ),

113 ( 7, ANY ),

114− ( 8, ANY )]),

114+ ( 8, ANY ),

115+ ( 9, ANY )]),

115 ("ffi", "FFI",

116 ("ffi", "FFI",

116 [ ( 1, ANY ),

117 [ ( 1, ANY ),

117 ( 2, ANY ),

118 ( 2, ANY ),

test/error009/expectednew file+1

@@ -0,0 +1 @@

1+Uncaught error: Nothing found in namespace "Foo.Bar".

test/error009/runnew file+2

@@ -0,0 +1,2 @@

1+#!/usr/bin/env bash

2+${IDRIS:-idris} $@ -e "with Foo.Bar 42"