f8ea178 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Include test suite in sdist

f8ea178Benjamin Saunders13 years ago

idris.cabal+146

compare with master

unifiedsplit

@@ -74,6 +74,152 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr

74 java/src/main/java/org/idris/rts/*.java

75 java/*.xml

77+ Makefile

78+ test/Makefile

79+ test/runtest.pl

80+ test/reg001/run

81+ test/reg001/*.idr

82+ test/reg001/expected

83+ test/reg002/run

84+ test/reg002/*.idr

85+ test/reg002/expected

86+ test/reg003/run

87+ test/reg003/*.idr

88+ test/reg003/expected

89+ test/reg004/run

90+ test/reg004/*.idr

91+ test/reg004/expected

92+ test/reg005/run

93+ test/reg005/*.idr

94+ test/reg005/expected

95+ test/reg006/run

96+ test/reg006/*.idr

97+ test/reg006/expected

98+ test/reg007/run

99+ test/reg007/*.lidr

100+ test/reg007/expected

101+ test/reg008/run

102+ test/reg008/*.idr

103+ test/reg008/expected

104+ test/reg009/run

105+ test/reg009/*.lidr

106+ test/reg009/expected

107+ test/reg010/run

108+ test/reg010/*.idr

109+ test/reg010/expected

110+ test/reg011/run

111+ test/reg011/*.idr

112+ test/reg011/expected

113+ test/reg012/run

114+ test/reg012/*.lidr

115+ test/reg012/expected

116+ test/reg013/run

117+ test/reg013/*.idr

118+ test/reg013/expected

119+ test/reg014/run

120+ test/reg014/*.idr

121+ test/reg014/expected

122+ test/reg015/run

123+ test/reg015/*.idr

124+ test/reg015/expected

125+ test/reg016/run

126+ test/reg016/*.idr

127+ test/reg016/expected

128+ test/reg017/run

129+ test/reg017/*.idr

130+ test/reg017/expected

131+ test/reg018/run

132+ test/reg018/*.idr

133+ test/reg018/expected

134+ test/reg019/run

135+ test/reg019/*.idr

136+ test/reg019/expected

137+ test/test001/run

138+ test/test001/*.idr

139+ test/test001/expected

140+ test/test002/run

141+ test/test002/*.idr

142+ test/test002/expected

143+ test/test003/run

144+ test/test003/*.lidr

145+ test/test003/expected

146+ test/test004/run

147+ test/test004/*.idr

148+ test/test004/expected

149+ test/test005/run

150+ test/test005/*.idr

151+ test/test005/expected

152+ test/test006/run

153+ test/test006/*.idr

154+ test/test006/expected

155+ test/test007/run

156+ test/test007/*.idr

157+ test/test007/expected

158+ test/test008/run

159+ test/test008/*.idr

160+ test/test008/expected

161+ test/test009/run

162+ test/test009/*.idr

163+ test/test009/expected

164+ test/test010/run

165+ test/test010/*.idr

166+ test/test010/expected

167+ test/test011/run

168+ test/test011/*.idr

169+ test/test011/expected

170+ test/test012/run

171+ test/test012/*.idr

172+ test/test012/expected

173+ test/test013/run

174+ test/test013/*.idr

175+ test/test013/expected

176+ test/test014/run

177+ test/test014/*.idr

178+ test/test014/expected

179+ test/test015/run

180+ test/test015/*.idr

181+ test/test015/expected

182+ test/test016/run

183+ test/test016/*.idr

184+ test/test016/expected

185+ test/test017/run

186+ test/test017/*.idr

187+ test/test017/expected

188+ test/test018/run

189+ test/test018/*.idr

190+ test/test018/expected

191+ test/test019/run

192+ test/test019/*.lidr

193+ test/test019/expected

194+ test/test020/run

195+ test/test020/*.idr

196+ test/test020/expected

197+ test/test021/run

198+ test/test021/*.idr

199+ test/test021/expected

200+ test/test022/run

201+ test/test022/*.idr

202+ test/test022/expected

203+ test/test023/run

204+ test/test023/*.idr

205+ test/test023/expected

206+ test/test024/run

207+ test/test024/*.idr

208+ test/test024/expected

209+ test/test025/run

210+ test/test025/*.idr

211+ test/test025/expected

212+ test/test026/run

213+ test/test026/*.idr

214+ test/test026/expected

215+ test/test027/run

216+ test/test027/*.idr

217+ test/test027/expected

218+ test/test028/run

219+ test/test028/*.idr

220+ test/test028/expected

221+

222+

77source-repository head

223source-repository head

78 type: git

224 type: git

79 location: git://github.com/edwinb/Idris-dev.git

225 location: git://github.com/edwinb/Idris-dev.git