git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3341 from steshaw/auto-generating-extra-source-files
96cbb02Niklas Larsson
Setup.hs+14−5
compare with master
unifiedsplit
@@ -1,4 +1,5 @@
1{-# LANGUAGE CPP #-}
1{-# LANGUAGE CPP #-}
2+
2import Control.Monad
3import Control.Monad
3import Data.IORef
4import Data.IORef
4import Control.Exception (SomeException, catch)
5import Control.Exception (SomeException, catch)
@@ -80,6 +81,7 @@ isFreestanding flags =
80 Just True -> True
81 Just True -> True
81 Just False -> False
82 Just False -> False
82 Nothing -> False
83 Nothing -> False
84+
83-- -----------------------------------------------------------------------------
85-- -----------------------------------------------------------------------------
84-- Clean
86-- Clean
85
87
@@ -91,7 +93,6 @@ idrisClean _ flags _ _ = cleanStdLib
91
93
92 makeClean dir = make verbosity [ "-C", dir, "clean", "IDRIS=idris" ]
94 makeClean dir = make verbosity [ "-C", dir, "clean", "IDRIS=idris" ]
93
95
94−
95-- -----------------------------------------------------------------------------
96-- -----------------------------------------------------------------------------
96-- Configure
97-- Configure
97
98
@@ -182,6 +183,17 @@ idrisPreSDist args flags = do
182 generateToolchainModule verb "src" Nothing
183 generateToolchainModule verb "src" Nothing
183 preSDist simpleUserHooks args flags
184 preSDist simpleUserHooks args flags
184
185
186+idrisSDist sdist pkgDesc bi hooks flags = do
187+ pkgDesc' <- addGitFiles pkgDesc
188+ sdist pkgDesc' bi hooks flags
189+ where
190+ addGitFiles :: PackageDescription -> IO PackageDescription
191+ addGitFiles pkgDesc = do
192+ files <- gitFiles
193+ return $ pkgDesc { extraSrcFiles = extraSrcFiles pkgDesc ++ files}
194+ gitFiles :: IO [FilePath]
195+ gitFiles = liftM lines (readProcess "git" ["ls-files"] "")
196+
185idrisPostSDist args flags desc lbi = do
197idrisPostSDist args flags desc lbi = do
186 Control.Exception.catch (do let file = "src" </> "Version_idris" Px.<.> "hs"
198 Control.Exception.catch (do let file = "src" </> "Version_idris" Px.<.> "hs"
187 let targetFile = "src" </> "Target_idris" Px.<.> "hs"
199 let targetFile = "src" </> "Target_idris" Px.<.> "hs"
@@ -201,8 +213,6 @@ getVersion args flags = do
201 let buildinfo = (emptyBuildInfo { cppOptions = ["-DVERSION="++hash] }) :: BuildInfo
213 let buildinfo = (emptyBuildInfo { cppOptions = ["-DVERSION="++hash] }) :: BuildInfo
202 return (Just buildinfo, [])
214 return (Just buildinfo, [])
203
215
204−
205−
206idrisPreBuild args flags = do
216idrisPreBuild args flags = do
207#ifdef mingw32_HOST_OS
217#ifdef mingw32_HOST_OS
208 createDirectoryIfMissingVerbose verbosity True dir
218 createDirectoryIfMissingVerbose verbosity True dir
@@ -233,8 +243,6 @@ idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
233 gmpflag False = []
243 gmpflag False = []
234 gmpflag True = ["GMP=-DIDRIS_GMP"]
244 gmpflag True = ["GMP=-DIDRIS_GMP"]
235
245
236−
237−
238-- -----------------------------------------------------------------------------
246-- -----------------------------------------------------------------------------
239-- Copy/Install
247-- Copy/Install
240
248
@@ -304,6 +312,7 @@ main = defaultMainWithHooks $ simpleUserHooks
304 idrisInstall (S.fromFlag $ S.installVerbosity flags)
312 idrisInstall (S.fromFlag $ S.installVerbosity flags)
305 NoCopyDest pkg local
313 NoCopyDest pkg local
306 , preSDist = idrisPreSDist
314 , preSDist = idrisPreSDist
315+ , sDistHook = idrisSDist (sDistHook simpleUserHooks)
307 , postSDist = idrisPostSDist
316 , postSDist = idrisPostSDist
308#if __GLASGOW_HASKELL__ < 710
317#if __GLASGOW_HASKELL__ < 710
309 , testHook = idrisTestHook ()
318 , testHook = idrisTestHook ()
idris.cabal+1−838
@@ -87,845 +87,8 @@ Extra-doc-files:
87 samples/misc/*.lidr
87 samples/misc/*.lidr
88 samples/tutorial/*.idr
88 samples/tutorial/*.idr
89
89
90+-- extra-source-files is generated by Setup.hs using `git --ls-files`.
90Extra-source-files:
91Extra-source-files:
91− Makefile
92− config.mk
93− stack.yaml
94− HLint.hs
95− man/idris.1
96−
97− rts/*.c
98− rts/*.h
99− rts/arduino/*.c
100− rts/windows/*.c
101− rts/Makefile
102−
103− libs/Makefile
104−
105− libs/prelude/prelude.ipkg
106− libs/prelude/Prelude/*.idr
107− libs/prelude/Decidable/*.idr
108− libs/prelude/Language/*.idr
109− libs/prelude/Language/Reflection/*.idr
110− libs/prelude/Makefile
111− libs/prelude/*.idr
112−
113− libs/base/base.ipkg
114− libs/base/*.idr
115− libs/base/Control/*.idr
116− libs/base/Control/Monad/*.idr
117− libs/base/Data/*.idr
118− libs/base/Data/Nat/*.idr
119− libs/base/Data/Primitives/*.idr
120− libs/base/Data/List/*.idr
121− libs/base/Data/Vect/*.idr
122− libs/base/Data/String/*.idr
123− libs/base/Debug/*.idr
124− libs/base/Language/Reflection/*.idr
125− libs/base/Makefile
126− libs/base/System/*.idr
127− libs/base/System/Concurrency/*.idr
128− libs/base/Syntax/*.idr
129−
130− libs/contrib/contrib.ipkg
131− libs/contrib/Makefile
132− libs/contrib/*.idr
133− libs/contrib/CFFI/*.idr
134− libs/contrib/Classes/*.idr
135− libs/contrib/Control/*.idr
136− libs/contrib/Control/Isomorphism/*.idr
137− libs/contrib/Control/Algebra/*.idr
138− libs/contrib/Data/*.idr
139− libs/contrib/Data/Nat/*.idr
140− libs/contrib/Data/Nat/DivMod/*.idr
141− libs/contrib/Data/Matrix/*.idr
142− libs/contrib/Decidable/*.idr
143− libs/contrib/Network/*.idr
144− libs/contrib/System/Concurrency/*.idr
145−
146− libs/effects/Makefile
147− libs/effects/effects.ipkg
148− libs/effects/Effect/*.idr
149− libs/effects/Effect/Logging/*.idr
150− libs/effects/*.idr
151−
152− libs/pruviloj/Makefile
153− libs/pruviloj/pruviloj.ipkg
154− libs/pruviloj/*.idr
155− libs/pruviloj/Pruviloj/*.idr
156− libs/pruviloj/Pruviloj/Derive/*.idr
157− libs/pruviloj/Pruviloj/Internals/*.idr
158−
159− test/TestRun.hs
160− test/TestData.hs
161−
162− test/regression001/run
163− test/regression001/expected
164− test/regression001/*.idr
165− test/regression001/*.lidr
166−
167− test/reg002/run
168− test/reg002/*.idr
169− test/reg002/expected
170− test/reg003/run
171− test/reg003/*.idr
172− test/reg003/expected
173− test/reg004/run
174− test/reg004/*.idr
175− test/reg004/expected
176− test/reg005/run
177− test/reg005/*.idr
178− test/reg005/expected
179− test/reg006/run
180− test/reg006/*.idr
181− test/reg006/expected
182− test/reg007/run
183− test/reg007/*.lidr
184− test/reg007/expected
185− test/reg010/run
186− test/reg010/*.idr
187− test/reg010/expected
188− test/reg013/run
189− test/reg013/*.idr
190− test/reg013/expected
191− test/reg016/run
192− test/reg016/*.idr
193− test/reg016/expected
194− test/reg017/run
195− test/reg017/*.idr
196− test/reg017/expected
197− test/reg018/run
198− test/reg018/*.idr
199− test/reg018/expected
200− test/reg020/run
201− test/reg020/*.idr
202− test/reg020/expected
203− test/reg023/run
204− test/reg023/*.idr
205− test/reg023/expected
206− test/reg024/run
207− test/reg024/*.idr
208− test/reg024/expected
209− test/reg025/run
210− test/reg025/*.idr
211− test/reg025/expected
212− test/reg027/run
213− test/reg027/*.idr
214− test/reg027/expected
215− test/reg028/run
216− test/reg028/*.idr
217− test/reg028/expected
218− test/reg029/run
219− test/reg029/*.idr
220− test/reg029/expected
221− test/reg031/run
222− test/reg031/*.idr
223− test/reg031/expected
224− test/reg032/run
225− test/reg032/*.idr
226− test/reg032/expected
227− test/reg034/run
228− test/reg034/*.idr
229− test/reg034/expected
230− test/reg035/run
231− test/reg035/*.idr
232− test/reg035/*.lidr
233− test/reg035/expected
234− test/reg039/run
235− test/reg039/*.idr
236− test/reg039/expected
237− test/reg040/run
238− test/reg040/*.idr
239− test/reg040/expected
240− test/reg041/run
241− test/reg041/*.idr
242− test/reg041/expected
243− test/reg042/run
244− test/reg042/*.idr
245− test/reg042/expected
246− test/reg044/run
247− test/reg044/*.idr
248− test/reg044/expected
249− test/reg045/run
250− test/reg045/*.idr
251− test/reg045/expected
252− test/reg048/run
253− test/reg048/*.idr
254− test/reg048/expected
255− test/reg049/run
256− test/reg049/*.idr
257− test/reg049/expected
258− test/reg050/run
259− test/reg050/*.idr
260− test/reg050/expected
261− test/reg051-disabled/run
262− test/reg051-disabled/*.idr
263− test/reg051-disabled/expected
264− test/reg052/run
265− test/reg052/*.idr
266− test/reg052/expected
267− test/reg054/run
268− test/reg054/*.idr
269− test/reg054/expected
270− test/reg055/run
271− test/reg055/*.idr
272− test/reg055/expected
273− test/reg056/run
274− test/reg056/*.idr
275− test/reg056/expected
276− test/reg067/run
277− test/reg067/*.idr
278− test/reg067/expected
279− test/reg068/run
280− test/reg068/*.idr
281− test/reg068/expected
282− test/reg069/run
283− test/reg069/*.idr
284− test/reg069/expected
285− test/reg070/run
286− test/reg070/*.idr
287− test/reg070/expected
288− test/reg072/run
289− test/reg072/*.idr
290− test/reg072/expected
291− test/reg075/run
292− test/reg075/input
293− test/reg075/*.idr
294− test/reg075/expected
295−
296− test/base001/Makefile
297− test/base001/base001.idr
298− test/base001/base001.ipkg
299− test/base001/exit1.c
300− test/base001/expected
301− test/base001/run
302− test/base001/sys.c
303− test/base001/sys.h
304−
305− test/basic001/run
306− test/basic001/*.idr
307− test/basic001/expected
308− test/basic002/run
309− test/basic002/*.idr
310− test/basic002/expected
311− test/basic003/run
312− test/basic003/*.idr
313− test/basic003/expected
314− test/basic004/run
315− test/basic004/*.idr
316− test/basic004/expected
317− test/basic005/run
318− test/basic005/*.lidr
319− test/basic005/expected
320− test/basic006/run
321− test/basic006/*.idr
322− test/basic006/expected
323− test/basic007/run
324− test/basic007/*.idr
325− test/basic007/expected
326− test/basic008/run
327− test/basic008/*.idr
328− test/basic008/expected
329− test/basic009/run
330− test/basic009/*.idr
331− test/basic009/expected
332− test/basic009/B/*.idr
333− test/basic010/run
334− test/basic010/*.idr
335− test/basic010/expected
336− test/basic011/run
337− test/basic011/*.idr
338− test/basic011/expected
339− test/basic012/run
340− test/basic012/*.idr
341− test/basic012/expected
342− test/basic013/run
343− test/basic013/*.idr
344− test/basic013/expected
345− test/basic014/run
346− test/basic014/*.idr
347− test/basic014/expected
348− test/basic015/run
349− test/basic015/*.idr
350− test/basic015/expected
351− test/basic016/run
352− test/basic016/*.idr
353− test/basic016/expected
354− test/basic017/run
355− test/basic017/*.idr
356− test/basic017/expected
357− test/basic018/run
358− test/basic018/*.idr
359− test/basic018/expected
360−
361− test/bignum001/run
362− test/bignum001/*.idr
363− test/bignum001/expected
364− test/bignum002/run
365− test/bignum002/*.idr
366− test/bignum002/expected
367−
368− test/bounded001/run
369− test/bounded001/*.idr
370− test/bounded001/expected
371−
372− test/corecords001/*.idr
373− test/corecords001/run
374− test/corecords001/expected
375− test/corecords002/*.idr
376− test/corecords002/run
377− test/corecords002/expected
378−
379− test/directives001/*.idr
380− test/directives001/run
381− test/directives001/expected
382− test/directives002/*.idr
383− test/directives002/run
384− test/directives002/expected
385−
386− test/delab001/*.idr
387− test/delab001/run
388− test/delab001/expected
389− test/delab001/input
390−
391− test/disambig002/run
392− test/disambig002/*.idr
393− test/disambig002/expected
394−
395− test/dsl001/run
396− test/dsl001/*.idr
397− test/dsl001/expected
398− test/dsl002/run
399− test/dsl002/test
400− test/dsl002/*.idr
401− test/dsl002/expected
402− test/dsl003/run
403− test/dsl003/*.idr
404− test/dsl003/expected
405− test/dsl004/run
406− test/dsl004/*.idr
407− test/dsl004/expected
408−
409− test/effects001/run
410− test/effects001/*.idr
411− test/effects001/expected
412− test/effects001/testFile
413− test/effects002/run
414− test/effects002/*.idr
415− test/effects002/expected
416− test/effects003/run
417− test/effects003/*.idr
418− test/effects003/expected
419− test/effects003/input
420− test/effects004/run
421− test/effects004/*.idr
422− test/effects004/expected
423− test/effects004/input
424− test/effects005/run
425− test/effects005/*.idr
426− test/effects005/expected
427−
428−
429− test/error001/run
430− test/error001/*.idr
431− test/error001/expected
432− test/error002/run
433− test/error002/*.idr
434− test/error002/expected
435− test/error003/run
436− test/error003/*.idr
437− test/error003/expected
438− test/error004/run
439− test/error004/*.idr
440− test/error004/expected
441− test/error005/run
442− test/error005/*.idr
443− test/error005/expected
444− test/error006/run
445− test/error006/*.idr
446− test/error006/expected
447− test/error007/run
448− test/error007/*.idr
449− test/error007/expected
450− test/error008/run
451− test/error008/*.idr
452− test/error008/expected
453−
454− test/ffi001/run
455− test/ffi001/*.idr
456− test/ffi001/expected
457− test/ffi002/run
458− test/ffi002/*.idr
459− test/ffi002/expected
460− test/ffi003/run
461− test/ffi003/*.idr
462− test/ffi003/expected
463− test/ffi003/input
464− test/ffi004/run
465− test/ffi004/*.idr
466− test/ffi004/theType
467− test/ffi004/theOtherType
468− test/ffi004/expected
469− test/ffi005/*.idr
470− test/ffi005/run
471− test/ffi005/expected
472− test/ffi006/*.idr
473− test/ffi006/*.c
474− test/ffi006/run
475− test/ffi006/expected
476− test/ffi007/*.idr
477− test/ffi007/*.c
478− test/ffi007/*.h
479− test/ffi007/run
480− test/ffi007/expected
481− test/ffi008/*.idr
482− test/ffi008/*.c
483− test/ffi008/*.h
484− test/ffi008/run
485− test/ffi008/expected
486−
487− test/folding001/*.idr
488− test/folding001/run
489− test/folding001/expected
490−
491− test/idrisdoc001/run
492− test/idrisdoc001/expected
493− test/idrisdoc001/*.idr
494− test/idrisdoc001/*.ipkg
495− test/idrisdoc002/run
496− test/idrisdoc002/expected
497− test/idrisdoc002/*.idr
498− test/idrisdoc002/*.ipkg
499− test/idrisdoc003/run
500− test/idrisdoc003/expected
501− test/idrisdoc003/*.idr
502− test/idrisdoc003/*.ipkg
503− test/idrisdoc004/run
504− test/idrisdoc004/expected
505− test/idrisdoc004/*.idr
506− test/idrisdoc004/*.ipkg
507− test/idrisdoc005/run
508− test/idrisdoc005/expected
509− test/idrisdoc005/*.idr
510− test/idrisdoc005/*.ipkg
511− test/idrisdoc006/run
512− test/idrisdoc006/expected
513− test/idrisdoc006/A/fully/Qualified/NAME.idr
514− test/idrisdoc006/*.idr
515− test/idrisdoc006/*.ipkg
516− test/idrisdoc007/run
517− test/idrisdoc007/expected
518− test/idrisdoc007/*.idr
519− test/idrisdoc007/*.ipkg
520− test/idrisdoc008/run
521− test/idrisdoc008/expected
522− test/idrisdoc008/*.idr
523− test/idrisdoc008/*.ipkg
524− test/idrisdoc009/run
525− test/idrisdoc009/expected
526− test/idrisdoc009/input
527− test/idrisdoc009/*.idr
528−
529−
530− test/interactive001/run
531− test/interactive001/input
532− test/interactive001/*.idr
533− test/interactive001/expected
534− test/interactive002/run
535− test/interactive002/input
536− test/interactive002/*.idr
537− test/interactive002/expected
538− test/interactive003/run
539− test/interactive003/input
540− test/interactive003/*.idr
541− test/interactive003/expected
542− test/interactive004/run
543− test/interactive004/input
544− test/interactive004/*.idr
545− test/interactive004/expected
546− test/interactive005/run
547− test/interactive005/input
548− test/interactive005/*.idr
549− test/interactive005/expected
550− test/interactive006/run
551− test/interactive006/input
552− test/interactive006/*.idr
553− test/interactive006/expected
554− test/interactive007/run
555− test/interactive007/input
556− test/interactive007/expected
557− test/interactive008/run
558− test/interactive008/input
559− test/interactive008/expected
560− test/interactive009/run
561− test/interactive009/input
562− test/interactive009/*.idr
563− test/interactive009/expected
564− test/interactive010/expected
565− test/interactive010/input
566− test/interactive010/run
567− test/interactive011/expected
568− test/interactive011/input
569− test/interactive011/run
570− test/interactive011/*.idr
571− test/interactive012/expected
572− test/interactive012/input
573− test/interactive012/run
574− test/interactive012/*.idr
575− test/interactive013/expected
576− test/interactive013/input
577− test/interactive013/run
578− test/interactive013/*.idr
579−
580− test/interfaces001/*.idr
581− test/interfaces001/run
582− test/interfaces001/expected
583− test/interfaces001/input
584− test/interfaces002/*.idr
585− test/interfaces002/run
586− test/interfaces002/expected
587− test/interfaces003/*.idr
588− test/interfaces003/run
589− test/interfaces003/expected
590− test/interfaces004/*.idr
591− test/interfaces004/run
592− test/interfaces004/expected
593− test/interfaces005/*.idr
594− test/interfaces005/run
595− test/interfaces005/expected
596− test/interfaces006/*.idr
597− test/interfaces006/run
598− test/interfaces006/expected
599−
600− test/io001/run
601− test/io001/*.idr
602− test/io001/expected
603− test/io002/run
604− test/io002/*.idr
605− test/io002/expected
606− test/io003/run
607− test/io003/*.idr
608− test/io003/expected
609−
610− test/layout001/expected
611− test/layout001/*.idr
612− test/layout001/run
613−
614− test/literate001/run
615− test/literate001/*.lidr
616− test/literate001/expected
617−
618− test/meta001/run
619− test/meta001/*.idr
620− test/meta001/expected
621− test/meta002/run
622− test/meta002/*.idr
623− test/meta002/expected
624− test/meta003/run
625− test/meta003/*.idr
626− test/meta003/expected
627− test/meta004/run
628− test/meta004/*.idr
629− test/meta004/expected
630−
631− test/prelude001/expected
632− test/prelude001/prelude001.idr
633− test/prelude001/run
634−
635− test/primitives001/run
636− test/primitives001/*.idr
637− test/primitives001/expected
638− test/primitives001/input
639− test/primitives002/run
640− test/primitives002/expected
641− test/primitives003/run
642− test/primitives003/*.idr
643− test/primitives003/expected
644− test/primitives005/run
645− test/primitives005/*.idr
646− test/primitives005/expected
647−
648− test/primitives006/run
649− test/primitives006/array.c
650− test/primitives006/array.h
651− test/primitives006/load-test.idr
652− test/primitives006/Data/Bytes.idr
653− test/primitives006/Data/ByteArray.idr
654− test/primitives006/expected
655−
656− test/pkg001/run
657− test/pkg001/*.idr
658− test/pkg001/expected
659− test/pkg001/*.ipkg
660− test/pkg002/run
661− test/pkg002/*.idr
662− test/pkg002/expected
663− test/pkg002/*.ipkg
664− test/pkg003/run
665− test/pkg003/*.idr
666− test/pkg003/expected
667− test/pkg003/*.ipkg
668− test/pkg004/run
669− test/pkg004/*.idr
670− test/pkg004/expected
671− test/pkg004/*.ipkg
672− test/pkg005/run
673− test/pkg005/expected
674− test/pkg005/*.ipkg
675− test/pkg006/run
676− test/pkg006/expected
677− test/pkg006/*.ipkg
678−
679− test/proof001/run
680− test/proof001/*.idr
681− test/proof001/expected
682− test/proof002/run
683− test/proof002/*.idr
684− test/proof002/expected
685− test/proof003/run
686− test/proof003/*.idr
687− test/proof003/expected
688− test/proof004/run
689− test/proof004/*.idr
690− test/proof004/expected
691− test/proof005/run
692− test/proof005/*.idr
693− test/proof005/expected
694− test/proof006/run
695− test/proof006/*.idr
696− test/proof006/expected
697− test/proof007/run
698− test/proof007/*.idr
699− test/proof007/expected
700− test/proof008/run
701− test/proof008/*.idr
702− test/proof008/expected
703− test/proof009/run
704− test/proof009/*.idr
705− test/proof009/expected
706− test/proof009/input
707− test/proof010/run
708− test/proof010/*.idr
709− test/proof010/expected
710− test/proof011/run
711− test/proof011/*.idr
712− test/proof011/expected
713−
714− test/proofsearch001/run
715− test/proofsearch001/*.idr
716− test/proofsearch001/expected
717− test/proofsearch002/run
718− test/proofsearch002/*.idr
719− test/proofsearch002/expected
720− test/proofsearch003/run
721− test/proofsearch003/*.idr
722− test/proofsearch003/expected
723−
724− test/pruviloj001/run
725− test/pruviloj001/*.idr
726− test/pruviloj001/expected
727−
728− test/quasiquote001/run
729− test/quasiquote001/*.idr
730− test/quasiquote001/expected
731− test/quasiquote002/run
732− test/quasiquote002/*.idr
733− test/quasiquote002/expected
734− test/quasiquote003/run
735− test/quasiquote003/*.idr
736− test/quasiquote003/expected
737− test/quasiquote004/run
738− test/quasiquote004/*.idr
739− test/quasiquote004/expected
740− test/quasiquote005/run
741− test/quasiquote005/*.idr
742− test/quasiquote005/expected
743− test/quasiquote006/run
744− test/quasiquote006/*.idr
745− test/quasiquote006/expected
746−
747− test/records001/run
748− test/records001/*.idr
749− test/records001/expected
750− test/records002/run
751− test/records002/*.idr
752− test/records002/expected
753− test/records003/run
754− test/records003/*.idr
755− test/records003/expected
756− test/records004/run
757− test/records004/*.idr
758− test/records004/expected
759− test/records005/run
760− test/records005/*.idr
761− test/records005/expected
762−
763− test/sourceLocation001/run
764− test/sourceLocation001/*.idr
765− test/sourceLocation001/expected
766−
767− test/sugar001/run
768− test/sugar001/*.idr
769− test/sugar001/expected
770− test/sugar002/run
771− test/sugar002/*.idr
772− test/sugar002/expected
773− test/sugar003/run
774− test/sugar003/*.idr
775− test/sugar003/expected
776− test/sugar004/run
777− test/sugar004/*.idr
778− test/sugar004/expected
779− test/sugar005/run
780− test/sugar005/*.idr
781− test/sugar005/expected
782−
783− test/syntax001/run
784− test/syntax001/*.idr
785− test/syntax001/expected
786− test/syntax002/run
787− test/syntax002/*.idr
788− test/syntax002/expected
789−
790− test/tactics001/run
791− test/tactics001/*.idr
792− test/tactics001/expected
793−
794− test/totality001/run
795− test/totality001/*.idr
796− test/totality001/expected
797− test/totality002/run
798− test/totality002/*.idr
799− test/totality002/expected
800− test/totality003/run
801− test/totality003/*.idr
802− test/totality003/expected
803− test/totality004/run
804− test/totality004/*.idr
805− test/totality004/expected
806− test/totality005/run
807− test/totality005/*.idr
808− test/totality005/expected
809− test/totality006/run
810− test/totality006/*.idr
811− test/totality006/expected
812− test/totality007/run
813− test/totality007/*.ipkg
814− test/totality007/src/*.idr
815− test/totality007/expected
816− test/totality008/run
817− test/totality008/*.idr
818− test/totality008/expected
819− test/totality009/run
820− test/totality009/*.idr
821− test/totality009/expected
822− test/totality010/run
823− test/totality010/*.idr
824− test/totality010/expected
825− test/totality011/run
826− test/totality011/*.lidr
827− test/totality011/expected
828− test/totality012/run
829− test/totality012/*.idr
830− test/totality012/expected
831− test/totality013/run
832− test/totality013/*.idr
833− test/totality013/expected
834− test/totality014/run
835− test/totality014/*.idr
836− test/totality014/expected
837− test/totality015/run
838− test/totality015/*.idr
839− test/totality015/expected
840−
841− test/tutorial001/run
842− test/tutorial001/*.idr
843− test/tutorial001/expected
844− test/tutorial002/run
845− test/tutorial002/*.idr
846− test/tutorial002/expected
847− test/tutorial003/run
848− test/tutorial003/*.idr
849− test/tutorial003/expected
850− test/tutorial004/run
851− test/tutorial004/*.idr
852− test/tutorial004/expected
853− test/tutorial005/run
854− test/tutorial005/*.idr
855− test/tutorial005/expected
856− test/tutorial006/run
857− test/tutorial006/*.idr
858− test/tutorial006/expected
859− test/tutorial007/run
860− test/tutorial007/*.idr
861− test/tutorial007/*.c
862− test/tutorial007/expected
863−
864− test/unique001/run
865− test/unique001/*.idr
866− test/unique001/expected
867− test/unique004/run
868− test/unique004/*.idr
869− test/unique004/expected
870−
871− test/views001/run
872− test/views001/*.idr
873− test/views001/expected
874− test/views002/run
875− test/views002/*.idr
876− test/views002/expected
877− test/views003/run
878− test/views003/*.idr
879− test/views003/expected
880−
881− test/universes001/run
882− test/universes001/*.idr
883− test/universes001/expected
884− test/universes002/run
885− test/universes002/*.idr
886− test/universes002/expected
887−
888− test/docs001/run
889− test/docs001/input
890− test/docs001/*.idr
891− test/docs001/expected
892− test/docs002/run
893− test/docs002/input
894− test/docs002/*.idr
895− test/docs002/expected
896− test/docs003/run
897− test/docs003/input
898− test/docs003/*.idr
899− test/docs003/expected
900− test/docs004/run
901− test/docs004/input
902− test/docs004/*.idr
903− test/docs004/expected
904− test/docs005/run
905− test/docs005/input
906− test/docs005/*.idr
907− test/docs005/expected
908−
909−
910− benchmarks/ALL
911− benchmarks/*.pl
912− benchmarks/README
913−
914− benchmarks/fasta/fasta.idr
915− benchmarks/fasta/fasta.ipkg
916−
917− benchmarks/pidigits/pidigits.idr
918− benchmarks/pidigits/pidigits.ipkg
919−
920− benchmarks/quasigroups/board
921− benchmarks/quasigroups/*.idr
922− benchmarks/quasigroups/qgsolve.ipkg
923−
924− benchmarks/trivial/sortvec.idr
925− benchmarks/trivial/sortvec.ipkg
926−
927− icons/idris_icon.rc
928− icons/idris.ico
929
92
930source-repository head
93source-repository head
931 type: git
94 type: git