@@ -47,8 +47,8 @@ Cabal-Version: >= 1.6
4747Build-type: Custom
4848
4949
50−Data-files: rts/libidris_rts.a rts/idris_rts.h rts/idris_gc.h
51− rts/idris_stdfgn.h rts/idris_main.c rts/idris_gmp.h
50+Data-files: rts/idris_rts.h rts/idris_gc.h rts/idris_stdfgn.h
51+ rts/idris_main.c rts/idris_gmp.h
5252 rts/libtest.c
5353 js/Runtime-common.js
5454 js/Runtime-node.js
@@ -74,6 +74,158 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
7474 java/src/main/java/org/idris/rts/*.java
7575 java/*.xml
7676
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/test
179+ test/test014/expected
180+ test/test015/run
181+ test/test015/*.idr
182+ test/test015/expected
183+ test/test016/run
184+ test/test016/*.idr
185+ test/test016/expected
186+ test/test017/run
187+ test/test017/*.idr
188+ test/test017/expected
189+ test/test018/run
190+ test/test018/*.idr
191+ test/test018/expected
192+ test/test019/run
193+ test/test019/*.lidr
194+ test/test019/expected
195+ test/test020/run
196+ test/test020/*.idr
197+ test/test020/expected
198+ test/test021/run
199+ test/test021/*.idr
200+ test/test021/testFile
201+ test/test021/expected
202+ test/test022/run
203+ test/test022/*.idr
204+ test/test022/expected
205+ test/test023/run
206+ test/test023/*.idr
207+ test/test023/expected
208+ test/test024/run
209+ test/test024/*.idr
210+ test/test024/input
211+ test/test024/expected
212+ test/test025/run
213+ test/test025/*.idr
214+ test/test025/expected
215+ test/test026/run
216+ test/test026/*.idr
217+ test/test026/input
218+ test/test026/theType
219+ test/test026/theOtherType
220+ test/test026/expected
221+ test/test027/run
222+ test/test027/*.idr
223+ test/test027/expected
224+ test/test028/run
225+ test/test028/*.idr
226+ test/test028/expected
227+
228+
77229source-repository head
78230 type: git
79231 location: git://github.com/edwinb/Idris-dev.git