summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.authorspellings7
-rw-r--r--.cvsignore10
-rw-r--r--.darcsignore75
-rw-r--r--Agda.cabal22
-rw-r--r--HACKING48
-rw-r--r--LICENSE2
-rw-r--r--Makefile289
-rw-r--r--README6
-rw-r--r--TODO336
-rw-r--r--aclocal.m45
-rw-r--r--benchmark/Benchmark.hs199
-rw-r--r--benchmark/Makefile40
-rw-r--r--benchmark/Syntacticosmos/Basics.agda9
-rw-r--r--benchmark/Syntacticosmos/Cxt.agda41
-rw-r--r--benchmark/Syntacticosmos/Eta.agda51
-rw-r--r--benchmark/Syntacticosmos/Inst.agda61
-rw-r--r--benchmark/Syntacticosmos/Kind.agda12
-rw-r--r--benchmark/Syntacticosmos/Loc.agda63
-rw-r--r--benchmark/Syntacticosmos/Nom.agda89
-rw-r--r--benchmark/Syntacticosmos/Pr.agda92
-rw-r--r--benchmark/Syntacticosmos/README137
-rw-r--r--benchmark/Syntacticosmos/Shift.agda51
-rw-r--r--benchmark/Syntacticosmos/Subst.agda61
-rw-r--r--benchmark/Syntacticosmos/Syntacticosmos.agda22
-rw-r--r--benchmark/Syntacticosmos/Term.agda128
-rw-r--r--benchmark/Syntacticosmos/UntypedLambda.agda43
-rw-r--r--benchmark/ac/AC.agda193
-rw-r--r--benchmark/ac/Bool.agda67
-rw-r--r--benchmark/ac/EqProof.agda22
-rw-r--r--benchmark/ac/Example.agda49
-rw-r--r--benchmark/ac/Fin.agda63
-rw-r--r--benchmark/ac/List.agda44
-rw-r--r--benchmark/ac/Logic.agda8
-rw-r--r--benchmark/ac/Makefile20
-rw-r--r--benchmark/ac/Nat.agda36
-rw-r--r--benchmark/ac/Vec.agda42
-rw-r--r--benchmark/categories/Categories.agda66
-rw-r--r--benchmark/categories/Primitive.agda105
-rw-r--r--benchmark/cwf/Chain.agda24
-rw-r--r--benchmark/cwf/CwF.agda150
-rw-r--r--benchmark/cwf/Setoid.agda322
-rw-r--r--benchmark/emacs64
-rw-r--r--benchmark/logs/20071213-12.58-dhcp-246-168/ac135
-rw-r--r--benchmark/logs/20071213-12.58-dhcp-246-168/ac235
-rw-r--r--benchmark/logs/20071213-12.58-dhcp-246-168/ac335
-rw-r--r--benchmark/logs/20071213-12.58-dhcp-246-168/cat35
-rw-r--r--benchmark/logs/20071219-11.21-livia/ac150
-rw-r--r--benchmark/logs/20071219-11.21-livia/ac250
-rw-r--r--benchmark/logs/20071219-11.21-livia/ac350
-rw-r--r--benchmark/logs/20071219-11.21-livia/cat50
-rw-r--r--benchmark/logs/20080306-11.43-livia/ac150
-rw-r--r--benchmark/logs/20080306-11.43-livia/ac250
-rw-r--r--benchmark/logs/20080306-11.43-livia/ac350
-rw-r--r--benchmark/logs/20080306-11.43-livia/cat50
-rw-r--r--benchmark/logs/20080306-11.43-livia/syntax150
-rw-r--r--benchmark/logs/20080306-11.43-livia/syntax250
-rw-r--r--benchmark/logs/20080306-11.59-livia/README1
-rw-r--r--benchmark/logs/20080306-11.59-livia/ac150
-rw-r--r--benchmark/logs/20080306-11.59-livia/ac250
-rw-r--r--benchmark/logs/20080306-11.59-livia/ac350
-rw-r--r--benchmark/logs/20080306-11.59-livia/cat50
-rw-r--r--benchmark/logs/20080306-11.59-livia/syntax150
-rw-r--r--benchmark/logs/20080306-11.59-livia/syntax250
-rw-r--r--benchmark/logs/20080407-14.00-dhcp-243-41/ac134
-rw-r--r--benchmark/logs/20080407-14.00-dhcp-243-41/ac234
-rw-r--r--benchmark/logs/20080407-14.00-dhcp-243-41/ac334
-rw-r--r--benchmark/logs/20080407-14.00-dhcp-243-41/cat34
-rw-r--r--benchmark/logs/20080407-14.00-dhcp-243-41/cwf34
-rw-r--r--benchmark/logs/20080407-14.00-dhcp-243-41/syntax134
-rw-r--r--benchmark/logs/20080407-14.00-dhcp-243-41/syntax234
-rw-r--r--benchmark/logs/20080730-12.47-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20080730-12.47-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20080730-12.47-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20080730-12.47-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20080730-12.47-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20080730-12.47-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20080730-12.47-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/README2
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/README2
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20081127-09.18-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20081127-09.18-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20081127-09.18-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20081127-09.18-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20081127-09.18-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20081127-09.18-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20081127-09.18-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/README1
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20081201-12.53-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20081201-12.53-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20081201-12.53-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20081201-12.53-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20081201-12.53-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20081201-12.53-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20081201-12.53-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/README1
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/ac134
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/ac234
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/ac334
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/cat34
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/cwf34
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/monad34
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/syntax134
-rw-r--r--benchmark/logs/20081201-13.09-ulf-norells-macbook-pro/syntax234
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/ac133
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/ac233
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/ac333
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/cat33
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/cwf33
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/monad33
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/syntax133
-rw-r--r--benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/syntax233
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/ac133
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/ac233
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/ac333
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/cat33
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/cwf33
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/monad22
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/syntax133
-rw-r--r--benchmark/logs/20100113-19.32-dhcp-20-76/syntax233
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/ac133
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/ac233
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/ac333
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/cat33
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/cwf33
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/functor33
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/latemeta33
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/monad33
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/polyfunctor33
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/syntax133
-rw-r--r--benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/syntax233
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/ac133
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/ac233
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/ac333
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/cat33
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/cwf33
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/functor33
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/latemeta33
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/monad33
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/polyfunctor33
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/syntax133
-rw-r--r--benchmark/logs/20110701-09.48-dhcp-183029/syntax233
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/ac151
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/ac253
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/ac333
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/cat35
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/cwf41
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/functor35
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/latemeta35
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/monad36
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/polyfunctor36
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/syntax168
-rw-r--r--benchmark/logs/20110706-10.42-dhcp-186038/syntax233
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/ac151
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/ac253
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/ac333
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/cat35
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/cwf41
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/functor35
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/latemeta35
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/monad36
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/monadpostulate36
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/polyfunctor36
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/syntax168
-rw-r--r--benchmark/logs/20110706-16.14-dhcp-186038/syntax233
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/ac151
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/ac253
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/ac333
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/cat35
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/cwf41
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/functor35
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/latemeta35
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/monad36
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/monadpostulate36
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/polyfunctor36
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/prim35
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/syntax168
-rw-r--r--benchmark/logs/20110822-09.36-dhcp-190251/syntax233
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/ac151
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/ac253
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/ac333
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/cat35
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/cwf41
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/functor35
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/latemeta35
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/monad36
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/monadpostulate36
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/polyfunctor36
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/prim35
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/syntax168
-rw-r--r--benchmark/logs/20110822-13.57-dhcp-190251/syntax233
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/ac151
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/ac253
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/ac333
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/cat35
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/cwf41
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/functor35
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/latemeta35
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/monad36
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/monadpostulate36
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/polyfunctor36
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/prim35
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/syntax168
-rw-r--r--benchmark/logs/20110823-07.51-ulf-norells-macbook-pro/syntax233
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/ac151
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/ac253
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/ac333
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/cat35
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/cwf41
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/functor35
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/latemeta35
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/monad36
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/monadpostulate36
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/polyfunctor36
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/prim35
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/syntax168
-rw-r--r--benchmark/logs/20110823-08.00-ulf-norells-macbook-pro/syntax233
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/ac151
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/ac253
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/ac333
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/cat35
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/cwf41
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/functor35
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/latemeta35
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/monad36
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/monadpostulate36
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/polyfunctor36
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/prim35
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/syntax168
-rw-r--r--benchmark/logs/20110824-18.56-ulf-norells-macbook-pro/syntax233
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/ac151
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/ac253
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/ac333
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/cat35
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/cwf41
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/functor35
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/latemeta35
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/monad36
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/monadpostulate36
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/polyfunctor36
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/prim35
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/syntax168
-rw-r--r--benchmark/logs/20110825-14.57-ulf-norells-macbook-pro/syntax233
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/ac151
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/ac253
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/ac333
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/cat35
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/cwf41
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/functor35
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/latemeta35
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/monad36
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/monadpostulate36
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/polyfunctor36
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/prim35
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/syntax168
-rw-r--r--benchmark/logs/20110830-17.10-dhcp-178109/syntax233
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/ac151
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/ac253
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/ac333
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/cat35
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/cwf41
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/functor35
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/latemeta35
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/monad36
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/monadpostulate36
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/patternmatch35
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/polyfunctor36
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/prim35
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/syntax168
-rw-r--r--benchmark/logs/20110830-18.20-dhcp-178109/syntax233
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/syntax168
-rw-r--r--benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/syntax168
-rw-r--r--benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/syntax168
-rw-r--r--benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/syntax168
-rw-r--r--benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/syntax168
-rw-r--r--benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/syntax166
-rw-r--r--benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/ac152
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/ac254
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/functor36
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/syntax168
-rw-r--r--benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/syntax166
-rw-r--r--benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/syntax166
-rw-r--r--benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/syntax166
-rw-r--r--benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/ac151
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/ac253
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/cat35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/cwf41
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/data35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/functor35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/latemeta35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/monad36
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/monadpostulate36
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/nested35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/patternmatch35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/polyfunctor36
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/prim35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/record35
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/syntax166
-rw-r--r--benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/ac161
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/ac264
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/cat36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/cwf46
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/data36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/functor36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/latemeta36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/nested36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/patternmatch36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/prim36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/record36
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/syntax186
-rw-r--r--benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/ac161
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/ac264
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/cat36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/cwf46
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/data36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/functor36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/latemeta36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/nested36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/patternmatch36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/prim36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/record36
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/syntax186
-rw-r--r--benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/monad38
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/ac167
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/ac271
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/ac333
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/any38
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/cat37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/cwf47
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/data37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/functor37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/latemeta37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/monad43
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/monadpostulate38
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/nested37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/patternmatch37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/polyfunctor38
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/prim37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/record37
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/syntax192
-rw-r--r--benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/syntax233
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/ac168
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/ac272
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/ac334
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/any39
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/cat38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/cwf48
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/data38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/functor38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/latemeta38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/monad44
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/monadpostulate39
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/nested38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/patternmatch38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/polyfunctor39
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/prim38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/record38
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/syntax193
-rw-r--r--benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/syntax234
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/ac168
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/ac272
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/ac334
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/any39
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/cat38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/cwf48
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/data38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/functor38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/latemeta38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/monad44
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/monadpostulate39
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/nested38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/patternmatch38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/polyfunctor39
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/prim38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/record38
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/syntax193
-rw-r--r--benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/syntax234
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/ac168
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/ac272
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/ac334
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/any39
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/cat38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/cwf48
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/data38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/functor38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/latemeta38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/monad44
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/monadpostulate39
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/nested38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/patternmatch38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/polyfunctor39
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/prim38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/record38
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/syntax193
-rw-r--r--benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/syntax234
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/ac168
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/ac272
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/ac334
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/any39
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/cat38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/cwf48
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/data38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/functor38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/latemeta38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/monad44
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/monadpostulate39
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/nested38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/patternmatch38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/polyfunctor39
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/prim38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/record38
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/syntax193
-rw-r--r--benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/syntax234
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/ac168
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/ac272
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/ac334
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/any39
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/cat38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/cwf48
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/data38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/functor38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/latemeta38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/monad44
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/monadpostulate39
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/nested38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/patternmatch38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/polyfunctor39
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/prim38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/record38
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/syntax193
-rw-r--r--benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/syntax234
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/ac184
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/ac290
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/ac334
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/any42
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/cat40
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/cwf55
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/data41
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/functor40
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/latemeta40
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/monad48
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/monadpostulate42
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/nested41
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/patternmatch40
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/polyfunctor41
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/prim41
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/record41
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/syntax1120
-rw-r--r--benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/syntax234
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/ac184
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/ac290
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/ac334
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/any41
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/cat40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/cwf54
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/data40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/functor40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/latemeta40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/monad48
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/monadpostulate41
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/nested40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/patternmatch40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/polyfunctor41
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/prim40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/record40
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/syntax1119
-rw-r--r--benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/syntax234
-rw-r--r--benchmark/misc/Coverage.agda22
-rw-r--r--benchmark/misc/Functor.agda64
-rw-r--r--benchmark/misc/FunctorComposition.agda27
-rw-r--r--benchmark/misc/LateMetaVariableInstantiation.agda39
-rw-r--r--benchmark/misc/UniversePolymorphicFunctor.agda88
-rw-r--r--benchmark/monad/IndexedMap.agda12
-rw-r--r--benchmark/monad/Monad.agda226
-rw-r--r--benchmark/monad/MonadPostulates.agda229
-rw-r--r--benchmark/notes86
-rw-r--r--benchmark/proj/Data.agda57
-rw-r--r--benchmark/proj/Nested.agda59
-rw-r--r--benchmark/proj/Record.agda65
-rw-r--r--benchmark/std-lib/Any.agda622
-rw-r--r--benchmark/tests.mk50
-rw-r--r--configure.ac50
-rw-r--r--dist/build/Agda/Syntax/Parser/Lexer.hs446
-rw-r--r--dist/build/Agda/Syntax/Parser/Parser.hs5300
-rw-r--r--doc/HCAR/December-2007.tex33
-rw-r--r--doc/HCAR/May-2008.tex41
-rw-r--r--doc/HCAR/May-2009.tex46
-rw-r--r--doc/HCAR/May-2010.tex37
-rw-r--r--doc/HCAR/May-2011.tex36
-rw-r--r--doc/HCAR/May-2012.tex41
-rw-r--r--doc/HCAR/November-2008.tex51
-rw-r--r--doc/HCAR/November-2009.tex38
-rw-r--r--doc/HCAR/November-2010.tex38
-rw-r--r--doc/HCAR/November-2011.tex41
-rw-r--r--doc/HCAR/November-2012.tex38
-rw-r--r--doc/haddock/.cvsignore4
-rw-r--r--doc/haddock/Makefile148
-rw-r--r--doc/haddock/prologue1
-rw-r--r--doc/pfe/.cvsignore1
-rw-r--r--doc/pfe/fake/Data/Generics.hs20
-rw-r--r--doc/pfe/fake/Data/Map.hs2
-rw-r--r--doc/pfe/fake/Syntax/Parser/.cvsignore1
-rw-r--r--doc/pfe/pfe.txt57
-rw-r--r--doc/release-notes/2-3-2-2.txt10
-rw-r--r--examples/.cvsignore4
-rw-r--r--examples/AIM4/bag/.cvsignore4
-rw-r--r--examples/AIM4/bag/Bag.agda270
-rw-r--r--examples/AIM4/bag/Datoid.agda47
-rw-r--r--examples/AIM4/bag/Eq.agda21
-rw-r--r--examples/AIM4/bag/Equiv.agda116
-rw-r--r--examples/AIM4/bag/List.agda95
-rw-r--r--examples/AIM4/bag/Nat.agda53
-rw-r--r--examples/AIM4/bag/ParserC.agda95
-rw-r--r--examples/AIM4/bag/Pos.agda56
-rw-r--r--examples/AIM4/bag/Prelude.agda95
-rw-r--r--examples/AIM5/Hedberg/SET.agda601
-rw-r--r--examples/AIM5/PolyDep/.cvsignore1
-rw-r--r--examples/AIM5/PolyDep/EqBase.agda121
-rw-r--r--examples/AIM5/PolyDep/Homogenous/.cvsignore1
-rw-r--r--examples/AIM5/PolyDep/Homogenous/Base.agda140
-rw-r--r--examples/AIM5/PolyDep/Homogenous/Equality.agda41
-rw-r--r--examples/AIM5/PolyDep/Homogenous/Nat.agda34
-rw-r--r--examples/AIM5/PolyDep/Homogenous/Reflexivity.agda53
-rw-r--r--examples/AIM5/PolyDep/Main.agda12
-rw-r--r--examples/AIM5/PolyDep/PolyDepPrelude.agda160
-rw-r--r--examples/AIM5/PolyDep/Reflexivity.agda13
-rw-r--r--examples/AIM5/PolyDep/TYPE.agda8
-rw-r--r--examples/AIM5/PolyDep/Tools.agda299
-rw-r--r--examples/AIM5/PolyDep/log.txt16
-rw-r--r--examples/AIM5/yoshiki/.cvsignore4
-rw-r--r--examples/AIM5/yoshiki/SET.agda497
-rw-r--r--examples/AIM6/HelloAgda/Basics.agda96
-rw-r--r--examples/AIM6/HelloAgda/Bool.agda10
-rw-r--r--examples/AIM6/HelloAgda/Datatypes.agda108
-rw-r--r--examples/AIM6/HelloAgda/Everything.agda10
-rw-r--r--examples/AIM6/HelloAgda/Families.agda119
-rw-r--r--examples/AIM6/HelloAgda/Modules.agda173
-rw-r--r--examples/AIM6/HelloAgda/Naturals.agda23
-rw-r--r--examples/AIM6/HelloAgda/Records.agda127
-rw-r--r--examples/AIM6/HelloAgda/With.agda84
-rw-r--r--examples/AIM6/HelloAgda/outline29
-rw-r--r--examples/AIM6/Path/All.agda14
-rw-r--r--examples/AIM6/Path/Elem.agda8
-rw-r--r--examples/AIM6/Path/Examples.agda48
-rw-r--r--examples/AIM6/Path/Fin.agda16
-rw-r--r--examples/AIM6/Path/Lambda.agda117
-rw-r--r--examples/AIM6/Path/List.agda16
-rw-r--r--examples/AIM6/Path/MapTm.agda39
-rw-r--r--examples/AIM6/Path/Modal.agda65
-rw-r--r--examples/AIM6/Path/Nat.agda31
-rw-r--r--examples/AIM6/Path/Prelude.agda88
-rw-r--r--examples/AIM6/Path/Span.agda57
-rw-r--r--examples/AIM6/Path/Star.agda74
-rw-r--r--examples/AIM6/Path/Vec.agda45
-rw-r--r--examples/AIM6/RegExp/talk/BoolMatcher.agda46
-rw-r--r--examples/AIM6/RegExp/talk/Eq.agda43
-rw-r--r--examples/AIM6/RegExp/talk/Everything.agda8
-rw-r--r--examples/AIM6/RegExp/talk/Prelude.agda67
-rw-r--r--examples/AIM6/RegExp/talk/RegExps.agda73
-rw-r--r--examples/AIM6/RegExp/talk/Setoids.agda18
-rw-r--r--examples/AIM6/RegExp/talk/SimpleMatcher.agda62
-rw-r--r--examples/AIM6/RegExp/talk/TALK68
-rw-r--r--examples/Binary.agda53
-rw-r--r--examples/ISWIM.agda156
-rw-r--r--examples/Introduction/.cvsignore3
-rw-r--r--examples/Introduction/All.agda14
-rw-r--r--examples/Introduction/Basics.agda126
-rw-r--r--examples/Introduction/Built-in.agda162
-rw-r--r--examples/Introduction/Data/.cvsignore2
-rw-r--r--examples/Introduction/Data/ByRecursion.agda35
-rw-r--r--examples/Introduction/Data/Empty.agda41
-rw-r--r--examples/Introduction/Data/Parameterised.agda45
-rw-r--r--examples/Introduction/Data/Vec.agda35
-rw-r--r--examples/Introduction/Implicit.agda110
-rw-r--r--examples/Introduction/Modules.agda123
-rw-r--r--examples/Introduction/Modules/.cvsignore3
-rw-r--r--examples/Introduction/Modules/Parameterised.agda64
-rw-r--r--examples/Introduction/Operators.agda65
-rw-r--r--examples/Introduction/Unicode.agda36
-rw-r--r--examples/Introduction/Universes.agda12
-rw-r--r--examples/Lookup.agda49
-rw-r--r--examples/Makefile190
-rw-r--r--examples/Miller/Pat.agda33
-rw-r--r--examples/Monad.agda94
-rw-r--r--examples/ParenDepTac.agda235
-rw-r--r--examples/Setoid.agda317
-rw-r--r--examples/SimpleTypes.agda173
-rw-r--r--examples/SummerSchool07/Lecture/Basics.agda90
-rw-r--r--examples/SummerSchool07/Lecture/Bool.agda10
-rw-r--r--examples/SummerSchool07/Lecture/CurryHoward.agda49
-rw-r--r--examples/SummerSchool07/Lecture/Datatypes.agda100
-rw-r--r--examples/SummerSchool07/Lecture/Families.agda112
-rw-r--r--examples/SummerSchool07/Lecture/Filter.agda52
-rw-r--r--examples/SummerSchool07/Lecture/Modules.agda145
-rw-r--r--examples/SummerSchool07/Lecture/Nat.agda24
-rw-r--r--examples/SummerSchool07/Lecture/Parity.agda37
-rw-r--r--examples/SummerSchool07/Lecture/Records.agda128
-rw-r--r--examples/SummerSchool07/Solutions/Problem1.agda48
-rw-r--r--examples/SummerSchool07/Solutions/Problem2.agda35
-rw-r--r--examples/SummerSchool07/Solutions/Problem3.agda37
-rw-r--r--examples/SummerSchool07/Solutions/Problem4.agda157
-rw-r--r--examples/TT.agda500
-rw-r--r--examples/Termination/Acc.agda51
-rw-r--r--examples/Termination/Common/Coinduction.agda14
-rw-r--r--examples/Termination/Common/Level.agda15
-rw-r--r--examples/Termination/Example.agda320
-rw-r--r--examples/Termination/List.agda147
-rw-r--r--examples/Termination/Mutual.agda21
-rw-r--r--examples/Termination/Nat.agda91
-rw-r--r--examples/Termination/Ord.agda15
-rw-r--r--examples/Termination/README1
-rw-r--r--examples/Termination/Sized/DeBruijn.agda240
-rw-r--r--examples/Termination/Sized/DeBruijnExSubstSized.agda98
-rw-r--r--examples/Termination/Sized/SizedNat.agda44
-rw-r--r--examples/Termination/Sized/SizedNatAnnotated.agda21
-rw-r--r--examples/Termination/Stream.agda57
-rw-r--r--examples/Termination/StreamEating.agda44
-rw-r--r--examples/Termination/StreamProc.agda70
-rw-r--r--examples/Termination/StructuralOrder.agda36
-rw-r--r--examples/Termination/TerminationTwoConstructors.agda21
-rw-r--r--examples/Termination/Tuple.agda36
-rw-r--r--examples/Termination/Where.agda23
-rw-r--r--examples/Termination/comb.agda88
-rw-r--r--examples/Termination/simplified-comb.agda21
-rw-r--r--examples/Vec.agda167
-rw-r--r--examples/arith/DivMod.agda101
-rw-r--r--examples/compiler/Not-named-according-to-the-Haskell-lexical-syntax.agda18
-rw-r--r--examples/compiler/main.agda12
-rw-r--r--examples/instance-arguments/01-arguments.agda32
-rw-r--r--examples/instance-arguments/02-classes-indep.agda61
-rw-r--r--examples/instance-arguments/03-classes.agda53
-rw-r--r--examples/instance-arguments/04-equality.agda95
-rw-r--r--examples/instance-arguments/05-equality-std1.agda19
-rw-r--r--examples/instance-arguments/05-equality-std2.agda15
-rw-r--r--examples/instance-arguments/06-listEquality.agda51
-rw-r--r--examples/instance-arguments/07-subclasses.agda134
-rw-r--r--examples/instance-arguments/08-higherOrder.agda12
-rw-r--r--examples/instance-arguments/09-higherOrderClasses.agda19
-rw-r--r--examples/instance-arguments/10-localInstances.agda32
-rw-r--r--examples/instance-arguments/11-monads.agda69
-rw-r--r--examples/instance-arguments/12-constraintFamilies.agda37
-rw-r--r--examples/instance-arguments/13-implicitProofObligations.agda45
-rw-r--r--examples/instance-arguments/14-implicitConfigurations.agda54
-rw-r--r--examples/lib/.cvsignore4
-rw-r--r--examples/lib/Data/.cvsignore4
-rw-r--r--examples/lib/Data/Bits.agda47
-rw-r--r--examples/lib/Data/Bool.agda58
-rw-r--r--examples/lib/Data/Char.agda7
-rw-r--r--examples/lib/Data/Fin.agda93
-rw-r--r--examples/lib/Data/Integer.agda106
-rw-r--r--examples/lib/Data/Interval.agda12
-rw-r--r--examples/lib/Data/List.agda66
-rw-r--r--examples/lib/Data/Map.agda48
-rw-r--r--examples/lib/Data/Maybe.agda11
-rw-r--r--examples/lib/Data/Nat.agda103
-rw-r--r--examples/lib/Data/Nat/.cvsignore4
-rw-r--r--examples/lib/Data/Nat/Properties.agda127
-rw-r--r--examples/lib/Data/Permutation.agda133
-rw-r--r--examples/lib/Data/PigeonHole.agda63
-rw-r--r--examples/lib/Data/Rational.agda102
-rw-r--r--examples/lib/Data/Real/.cvsignore4
-rw-r--r--examples/lib/Data/Real/Base.agda52
-rw-r--r--examples/lib/Data/Real/CReal.agda220
-rw-r--r--examples/lib/Data/Real/Complete.agda54
-rw-r--r--examples/lib/Data/Real/Gauge.agda8
-rw-r--r--examples/lib/Data/Show.agda41
-rw-r--r--examples/lib/Data/String.agda24
-rw-r--r--examples/lib/Data/Tuple.agda12
-rw-r--r--examples/lib/Data/Vec.agda105
-rw-r--r--examples/lib/Logic/.cvsignore4
-rw-r--r--examples/lib/Logic/Base.agda41
-rw-r--r--examples/lib/Logic/ChainReasoning.agda84
-rw-r--r--examples/lib/Logic/Congruence.agda52
-rw-r--r--examples/lib/Logic/Equivalence.agda13
-rw-r--r--examples/lib/Logic/Identity.agda40
-rw-r--r--examples/lib/Logic/Leibniz.agda19
-rw-r--r--examples/lib/Logic/Operations.agda45
-rw-r--r--examples/lib/Logic/Relations.agda42
-rw-r--r--examples/lib/Logic/Structure/.cvsignore4
-rw-r--r--examples/lib/Logic/Structure/Applicative.agda24
-rw-r--r--examples/lib/Logic/Structure/Monoid.agda45
-rw-r--r--examples/lib/Prelude.agda27
-rw-r--r--examples/lib/Test.agda37
-rw-r--r--examples/malformed/Empty.agda1
-rw-r--r--examples/order/.cvsignore4
-rw-r--r--examples/order/DecidableOrder.agda19
-rw-r--r--examples/order/MinMax.agda150
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/Category.agda49
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/Functor.agda15
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/Pullback.agda27
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/Setoid.agda71
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/Slice.agda91
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/Unique.agda38
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/.cvsignore0
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Bits.agda46
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Bool.agda58
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Char.agda7
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Fin.agda93
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Integer.agda105
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Interval.agda12
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/List.agda66
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Map.agda45
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Maybe.agda8
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Nat.agda102
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Nat/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Nat/Properties.agda127
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Permutation.agda130
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/PigeonHole.agda63
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Rational.agda101
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/Base.agda52
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/CReal.agda219
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/Complete.agda54
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/Gauge.agda8
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Show.agda40
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/String.agda24
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Tuple.agda12
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Vec.agda102
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Base.agda41
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/ChainReasoning.agda84
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Congruence.agda52
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Equivalence.agda13
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Identity.agda40
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Leibniz.agda19
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Operations.agda45
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Relations.agda42
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Structure/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Structure/Applicative.agda24
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Structure/Monoid.agda45
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Prelude.agda27
-rw-r--r--examples/outdated-and-incorrect/AIM6/Cat/lib/Test.agda33
-rw-r--r--examples/outdated-and-incorrect/Alonzo/AlonzoPrelude.agda79
-rw-r--r--examples/outdated-and-incorrect/Alonzo/BadPrintf.agda85
-rw-r--r--examples/outdated-and-incorrect/Alonzo/BadPrintf2.agda82
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Bool.agda10
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Bool.hs19
-rw-r--r--examples/outdated-and-incorrect/Alonzo/ListTest.agda14
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Makefile35
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Point.agda14
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Point.hs20
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeAll.agda8
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeBool.agda48
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeInt.agda25
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeList.agda65
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeNat.agda92
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeNatType.agda9
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeNatType.hs13
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeShow.agda62
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PreludeString.agda34
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Primitive.agda2
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PrintFloat.agda81
-rw-r--r--examples/outdated-and-incorrect/Alonzo/PrintNat.agda6
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Printf.agda83
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Proj.agda20
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Q.agda33
-rw-r--r--examples/outdated-and-incorrect/Alonzo/README38
-rw-r--r--examples/outdated-and-incorrect/Alonzo/RTD.hs10
-rw-r--r--examples/outdated-and-incorrect/Alonzo/RTN.agda9
-rw-r--r--examples/outdated-and-incorrect/Alonzo/RTN.hs13
-rw-r--r--examples/outdated-and-incorrect/Alonzo/RTP.agda42
-rw-r--r--examples/outdated-and-incorrect/Alonzo/RTP.hs91
-rw-r--r--examples/outdated-and-incorrect/Alonzo/RTP.hs.sav49
-rw-r--r--examples/outdated-and-incorrect/Alonzo/RTS.hs9
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Records.agda128
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Records.hs122
-rw-r--r--examples/outdated-and-incorrect/Alonzo/TestInt.agda7
-rw-r--r--examples/outdated-and-incorrect/Alonzo/TestNat.agda24
-rw-r--r--examples/outdated-and-incorrect/Alonzo/TestVec.agda20
-rw-r--r--examples/outdated-and-incorrect/Alonzo/TestWith.agda88
-rw-r--r--examples/outdated-and-incorrect/Alonzo/Vec.agda168
-rw-r--r--examples/outdated-and-incorrect/Alonzo/almake4
-rw-r--r--examples/outdated-and-incorrect/DTP08/conor/SomeBasicStuff.agda55
-rw-r--r--examples/outdated-and-incorrect/DTP08/conor/Talk.agda169
-rw-r--r--examples/outdated-and-incorrect/DTP08/ulf/Talk.agda85
-rw-r--r--examples/outdated-and-incorrect/FunctionsInIndices.agda44
-rw-r--r--examples/outdated-and-incorrect/IORef.agda215
-rw-r--r--examples/outdated-and-incorrect/NBE.agda397
-rw-r--r--examples/outdated-and-incorrect/NestedDataTypes/DeBruijn.agda105
-rw-r--r--examples/outdated-and-incorrect/NestedDataTypes/DeBruijnExSubst.agda90
-rw-r--r--examples/outdated-and-incorrect/NestedDataTypes/DeBruijnExSubstSized.agda83
-rw-r--r--examples/outdated-and-incorrect/OTT/ObsEq.agda323
-rw-r--r--examples/outdated-and-incorrect/OTT/ObsEq2.agda295
-rw-r--r--examples/outdated-and-incorrect/ProofRep.agda42
-rw-r--r--examples/outdated-and-incorrect/README3
-rw-r--r--examples/outdated-and-incorrect/Screen.agda69
-rw-r--r--examples/outdated-and-incorrect/StackLanguage.agda39
-rw-r--r--examples/outdated-and-incorrect/Subset.agda35
-rw-r--r--examples/outdated-and-incorrect/Warshall.agda120
-rw-r--r--examples/outdated-and-incorrect/cat/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/cat/Adjoint.agda31
-rw-r--r--examples/outdated-and-incorrect/cat/Base.agda11
-rw-r--r--examples/outdated-and-incorrect/cat/Category.agda132
-rw-r--r--examples/outdated-and-incorrect/cat/Dual.agda35
-rw-r--r--examples/outdated-and-incorrect/cat/Example.agda100
-rw-r--r--examples/outdated-and-incorrect/cat/Functor.agda99
-rw-r--r--examples/outdated-and-incorrect/cat/Iso.agda12
-rw-r--r--examples/outdated-and-incorrect/cat/Product.agda42
-rw-r--r--examples/outdated-and-incorrect/cat/Terminal.agda40
-rw-r--r--examples/outdated-and-incorrect/cat/Unique.agda38
-rw-r--r--examples/outdated-and-incorrect/cbs/Basics.agda84
-rw-r--r--examples/outdated-and-incorrect/cbs/Graph.agda19
-rw-r--r--examples/outdated-and-incorrect/cbs/Hear.agda48
-rw-r--r--examples/outdated-and-incorrect/cbs/Interp.agda54
-rw-r--r--examples/outdated-and-incorrect/cbs/Mission.agda89
-rw-r--r--examples/outdated-and-incorrect/cbs/Path.agda122
-rw-r--r--examples/outdated-and-incorrect/cbs/Proc.agda174
-rw-r--r--examples/outdated-and-incorrect/cbs/Proof.agda132
-rw-r--r--examples/outdated-and-incorrect/cbs/Silence.agda48
-rw-r--r--examples/outdated-and-incorrect/cbs/Star.agda6
-rw-r--r--examples/outdated-and-incorrect/clowns/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/clowns/ChainRule.agda73
-rw-r--r--examples/outdated-and-incorrect/clowns/Clowns.agda66
-rw-r--r--examples/outdated-and-incorrect/clowns/Derivative.agda24
-rw-r--r--examples/outdated-and-incorrect/clowns/Dissect.agda115
-rw-r--r--examples/outdated-and-incorrect/clowns/Equality.agda28
-rw-r--r--examples/outdated-and-incorrect/clowns/Functor.agda61
-rw-r--r--examples/outdated-and-incorrect/clowns/Isomorphism.agda49
-rw-r--r--examples/outdated-and-incorrect/clowns/Sets.agda66
-rw-r--r--examples/outdated-and-incorrect/clowns/Zipper.agda21
-rw-r--r--examples/outdated-and-incorrect/fileIO/Base.agda37
-rw-r--r--examples/outdated-and-incorrect/fileIO/IO.agda22
-rw-r--r--examples/outdated-and-incorrect/fileIO/IO/File.agda115
-rw-r--r--examples/outdated-and-incorrect/fileIO/Main.agda33
-rw-r--r--examples/outdated-and-incorrect/fileIO/Makefile7
-rw-r--r--examples/outdated-and-incorrect/iird/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/iird/DefinitionalEquality.agda72
-rw-r--r--examples/outdated-and-incorrect/iird/Dummy.agda2
-rw-r--r--examples/outdated-and-incorrect/iird/Examples.agda46
-rw-r--r--examples/outdated-and-incorrect/iird/IID-New-Proof-Setup.agda26
-rw-r--r--examples/outdated-and-incorrect/iird/IID-Proof-Setup.agda130
-rw-r--r--examples/outdated-and-incorrect/iird/IID-Proof-Test.agda63
-rw-r--r--examples/outdated-and-incorrect/iird/IID-Proof.agda136
-rw-r--r--examples/outdated-and-incorrect/iird/IID.agda90
-rw-r--r--examples/outdated-and-incorrect/iird/IIDg.agda50
-rw-r--r--examples/outdated-and-incorrect/iird/IIDr.agda28
-rw-r--r--examples/outdated-and-incorrect/iird/IIRD.agda133
-rw-r--r--examples/outdated-and-incorrect/iird/IIRDg.agda127
-rw-r--r--examples/outdated-and-incorrect/iird/IIRDr.agda29
-rw-r--r--examples/outdated-and-incorrect/iird/Identity.agda46
-rw-r--r--examples/outdated-and-incorrect/iird/LF.agda54
-rw-r--r--examples/outdated-and-incorrect/iird/Logic/ChainReasoning.agda84
-rw-r--r--examples/outdated-and-incorrect/iird/Main.agda5
-rw-r--r--examples/outdated-and-incorrect/iird/Proof.agda130
-rw-r--r--examples/outdated-and-incorrect/iird/Proof/.cvsignore4
-rw-r--r--examples/outdated-and-incorrect/iird/Proof/Setup.agda153
-rw-r--r--examples/outdated-and-incorrect/iird/Test.agda24
-rw-r--r--examples/outdated-and-incorrect/iird/new/IID.agda149
-rw-r--r--examples/outdated-and-incorrect/lattice/Chain.agda21
-rw-r--r--examples/outdated-and-incorrect/lattice/Lattice.agda96
-rw-r--r--examples/outdated-and-incorrect/lattice/PartialOrder.agda59
-rw-r--r--examples/outdated-and-incorrect/lattice/Prelude.agda29
-rw-r--r--examples/outdated-and-incorrect/lattice/SemiLattice.agda99
-rw-r--r--examples/outdated-and-incorrect/syntax/ModuleA.agda16
-rw-r--r--examples/outdated-and-incorrect/syntax/ModuleB.agda35
-rw-r--r--examples/outdated-and-incorrect/syntax/Syntax.agda427
-rw-r--r--examples/outdated-and-incorrect/tactics/bool/All.agda46
-rw-r--r--examples/outdated-and-incorrect/tactics/bool/Bool.agda82
-rw-r--r--examples/outdated-and-incorrect/tactics/bool/Vec.agda21
-rw-r--r--examples/outdated-and-incorrect/tait/Chain.agda24
-rw-r--r--examples/outdated-and-incorrect/tait/Lambda.agda53
-rw-r--r--examples/outdated-and-incorrect/tait/Prelude.agda106
-rw-r--r--examples/outdated-and-incorrect/tait/Proof.agda101
-rw-r--r--examples/outdated-and-incorrect/tait/Reduction.agda29
-rw-r--r--examples/outdated-and-incorrect/tait/Subst.agda188
-rw-r--r--examples/outdated-and-incorrect/tait/Trans.agda44
-rw-r--r--examples/outdated-and-incorrect/univ/.cvsignore2
-rw-r--r--examples/outdated-and-incorrect/univ/Base.agda31
-rw-r--r--examples/outdated-and-incorrect/univ/Example.agda23
-rw-r--r--examples/outdated-and-incorrect/univ/Main.agda8
-rw-r--r--examples/outdated-and-incorrect/univ/Nat.agda33
-rw-r--r--examples/outdated-and-incorrect/univ/bugs-in-paper3
-rw-r--r--examples/outdated-and-incorrect/univ/cwf.agda288
-rw-r--r--examples/outdated-and-incorrect/univ/help.agda60
-rw-r--r--examples/outdated-and-incorrect/univ/proofs.agda125
-rw-r--r--examples/outdated-and-incorrect/univ/tmp.agda31
-rw-r--r--examples/outdated-and-incorrect/univ/univ.agda379
-rw-r--r--examples/relocatable/originals/A.agda3
-rw-r--r--examples/relocatable/originals/B.agda6
-rw-r--r--examples/relocatable/originals/C.agda6
-rw-r--r--examples/simple-lib/Lib/Bool.agda51
-rw-r--r--examples/simple-lib/Lib/Eq.agda50
-rw-r--r--examples/simple-lib/Lib/Fin.agda80
-rw-r--r--examples/simple-lib/Lib/IO.agda42
-rw-r--r--examples/simple-lib/Lib/Id.agda12
-rw-r--r--examples/simple-lib/Lib/List.agda83
-rw-r--r--examples/simple-lib/Lib/Logic.agda19
-rw-r--r--examples/simple-lib/Lib/Maybe.agda9
-rw-r--r--examples/simple-lib/Lib/Monad.agda154
-rw-r--r--examples/simple-lib/Lib/Nat.agda53
-rw-r--r--examples/simple-lib/Lib/Prelude.agda35
-rw-r--r--examples/simple-lib/Lib/Vec.agda40
-rw-r--r--examples/simple-lib/TestLib.agda16
-rw-r--r--examples/sinatra/Example.agda54
-rw-r--r--examples/sinatra/Prelude.agda28
-rw-r--r--examples/sinatra/Typed.agda119
-rw-r--r--examples/syntax/.cvsignore2
-rw-r--r--examples/syntax/Literate.lagda31
-rw-r--r--examples/syntax/highlighting/.cvsignore4
-rw-r--r--examples/syntax/highlighting/Test.agda100
-rw-r--r--examples/syntax/highlighting/Test2.agda12
-rw-r--r--examples/syntax/highlighting/Test3.lagda98
-rw-r--r--examples/tactics/ac/.cvsignore4
-rw-r--r--examples/tactics/ac/AC.agda261
-rw-r--r--examples/tactics/ac/Bool.agda63
-rw-r--r--examples/tactics/ac/EqProof.agda22
-rw-r--r--examples/tactics/ac/Fin.agda63
-rw-r--r--examples/tactics/ac/List.agda44
-rw-r--r--examples/tactics/ac/Logic.agda8
-rw-r--r--examples/tactics/ac/Nat.agda29
-rw-r--r--examples/tactics/ac/Vec.agda43
-rw-r--r--examples/vfl/Typechecker.agda137
-rw-r--r--install-sh251
-rw-r--r--macros/.cvsignore2
-rw-r--r--macros/fptools.m429
-rw-r--r--macros/haskell.m428
-rw-r--r--macros/utils.m4116
-rw-r--r--mk/.cvsignore3
-rw-r--r--mk/config.mk.in55
-rw-r--r--mk/paths.mk19
-rw-r--r--mk/rules.mk18
-rw-r--r--notes/.cvsignore1
-rw-r--r--notes/builtin125
-rw-r--r--notes/classes204
-rw-r--r--notes/design/.cvsignore1
-rw-r--r--notes/design/fixities159
-rw-r--r--notes/design/meeting_05090150
-rw-r--r--notes/design/meeting_05090235
-rw-r--r--notes/design/meeting_050905103
-rw-r--r--notes/design/meeting_050906159
-rw-r--r--notes/design/meeting_050907256
-rw-r--r--notes/design/mutual32
-rw-r--r--notes/design/report204
-rw-r--r--notes/fixity-declarations387
-rw-r--r--notes/inductive-families197
-rw-r--r--notes/kit20
-rw-r--r--notes/mixfix14
-rw-r--r--notes/named-implicit52
-rw-r--r--notes/papers/.cvsignore2
-rw-r--r--notes/papers/iird/.cvsignore1
-rw-r--r--notes/papers/iird/Makefile33
-rw-r--r--notes/papers/iird/iird.bib10
-rw-r--r--notes/papers/iird/lhs2TeX.fmt372
-rw-r--r--notes/papers/iird/lhs2TeX.sty120
-rw-r--r--notes/papers/iird/llncs.cls1190
-rw-r--r--notes/papers/iird/macros.tex31
-rw-r--r--notes/papers/iird/paper.lhs1094
-rw-r--r--notes/papers/iird/poly.fmt380
-rw-r--r--notes/papers/iird/polycode.fmt182
-rw-r--r--notes/papers/implicit/.cvsignore5
-rw-r--r--notes/papers/implicit/Makefile33
-rw-r--r--notes/papers/implicit/abstract.tex20
-rw-r--r--notes/papers/implicit/acknowledgement.tex9
-rw-r--r--notes/papers/implicit/concl.tex22
-rw-r--r--notes/papers/implicit/conclusions.tex0
-rw-r--r--notes/papers/implicit/core.tex119
-rw-r--r--notes/papers/implicit/examples.lhs133
-rw-r--r--notes/papers/implicit/examples/.cvsignore2
-rw-r--r--notes/papers/implicit/examples/Crash.agda22
-rw-r--r--notes/papers/implicit/examples/Crash.epi42
-rw-r--r--notes/papers/implicit/examples/Dangerous-Agda1.agda34
-rw-r--r--notes/papers/implicit/examples/Dangerous-Agda2.agda42
-rw-r--r--notes/papers/implicit/examples/Dangerous-AgdaLight.agda39
-rw-r--r--notes/papers/implicit/examples/Example.agda41
-rw-r--r--notes/papers/implicit/examples/IllTyped.agda27
-rw-r--r--notes/papers/implicit/examples/Loop.agda37
-rw-r--r--notes/papers/implicit/examples/Scope.agda24
-rw-r--r--notes/papers/implicit/examples/Simple.agda12
-rw-r--r--notes/papers/implicit/exintro.lhs50
-rw-r--r--notes/papers/implicit/implicit.tex61
-rw-r--r--notes/papers/implicit/introduction.tex83
-rw-r--r--notes/papers/implicit/lhs2TeXpreamble.lhs3
-rw-r--r--notes/papers/implicit/llncs.cls1190
-rw-r--r--notes/papers/implicit/macros.tex146
-rw-r--r--notes/papers/implicit/notes139
-rw-r--r--notes/papers/implicit/proof.sty278
-rw-r--r--notes/papers/implicit/proof.tex497
-rw-r--r--notes/papers/implicit/rebuttal61
-rw-r--r--notes/papers/implicit/relatedwork.tex0
-rw-r--r--notes/papers/implicit/rules.tex546
-rw-r--r--notes/papers/modules/notes25
-rw-r--r--notes/records64
-rw-r--r--notes/releases86
-rw-r--r--notes/review/patrik/log.txt26
-rw-r--r--notes/scope169
-rw-r--r--notes/separate-typechecking88
-rw-r--r--notes/talks/.cvsignore1
-rw-r--r--notes/talks/MetaVars/.cvsignore3
-rw-r--r--notes/talks/MetaVars/Crash.agda22
-rw-r--r--notes/talks/MetaVars/Examples.agda33
-rw-r--r--notes/talks/MetaVars/Makefile5
-rw-r--r--notes/talks/MetaVars/Plus.agda25
-rw-r--r--notes/talks/MetaVars/danger_do_not_open_until.eps6912
-rw-r--r--notes/talks/MetaVars/danger_do_not_open_until.jpgbin0 -> 59209 bytes
-rw-r--r--notes/talks/MetaVars/proof.sty278
-rw-r--r--notes/talks/MetaVars/talk.tex275
-rw-r--r--notes/talks/Modules/.cvsignore4
-rw-r--r--notes/talks/Modules/Makefile16
-rw-r--r--notes/talks/Modules/notes106
-rw-r--r--notes/talks/Modules/proof.sty278
-rw-r--r--notes/talks/Modules/talk.tex553
-rw-r--r--notes/talks/Types07/.cvsignore3
-rw-r--r--notes/talks/Types07/Bad.agda25
-rw-r--r--notes/talks/Types07/Makefile5
-rw-r--r--notes/talks/Types07/proof.sty278
-rw-r--r--notes/talks/Types07/talk.tex348
-rw-r--r--notes/talks/video060320/core.tex381
-rw-r--r--notes/talks/video060510/.cvsignore1
-rw-r--r--notes/talks/video060510/Makefile5
-rw-r--r--notes/talks/video060510/abstract20
-rw-r--r--notes/talks/video060510/proof.sty278
-rw-r--r--notes/talks/video060510/remarks135
-rw-r--r--notes/talks/video060510/talk.tex539
-rw-r--r--notes/thinkingAloud377
-rw-r--r--notes/typechecking/.cvsignore2
-rw-r--r--notes/typechecking/Makefile13
-rw-r--r--notes/typechecking/agda.tex381
-rw-r--r--notes/typechecking/algorithm.tex409
-rw-r--r--notes/typechecking/algorithmJ.tex332
-rw-r--r--notes/typechecking/core.tex936
-rw-r--r--notes/typechecking/definition180
-rw-r--r--notes/typechecking/proof.sty278
-rw-r--r--notes/with24
-rw-r--r--src/compat/Control/Applicative.hs222
-rw-r--r--src/compat/Control/Monad/Instances.hs24
-rw-r--r--src/compat/Data/ByteString/Lazy.hs19
-rw-r--r--src/compat/Data/Foldable.hs312
-rw-r--r--src/compat/Data/Monoid/New.hs58
-rw-r--r--src/compat/Data/Traversable.hs147
-rw-r--r--src/compat/README11
-rw-r--r--src/core/.cvsignore2
-rw-r--r--src/core/Check.hs50
-rw-r--r--src/core/Check.lhs138
-rw-r--r--src/core/Cont.hs33
-rw-r--r--src/core/Cont.lhs66
-rw-r--r--src/core/Conv.hs41
-rw-r--r--src/core/Conv.lhs132
-rw-r--r--src/core/Core.cf63
-rw-r--r--src/core/Decl.hs34
-rw-r--r--src/core/Decl.lhs76
-rw-r--r--src/core/Exp.hs45
-rw-r--r--src/core/Exp.lhs86
-rw-r--r--src/core/Main.hs17
-rw-r--r--src/core/Makefile94
-rw-r--r--src/core/README51
-rw-r--r--src/core/Thierry/Check.hs54
-rw-r--r--src/core/Thierry/Cont.hs31
-rw-r--r--src/core/Thierry/Conv.hs54
-rw-r--r--src/core/Thierry/Core.cf58
-rw-r--r--src/core/Thierry/Decl1.hs107
-rw-r--r--src/core/Thierry/Exp1.hs48
-rw-r--r--src/core/Thierry/Main.hs34
-rw-r--r--src/core/Thierry/Makefile97
-rw-r--r--src/core/Thierry/Val.hs55
-rw-r--r--src/core/Thierry/test34
-rw-r--r--src/core/Thierry/test13
-rw-r--r--src/core/Thierry/test29
-rw-r--r--src/core/Thierry/test39
-rw-r--r--src/core/Thierry/test44
-rw-r--r--src/core/Thierry/test533
-rw-r--r--src/core/Val.hs49
-rw-r--r--src/core/Val.lhs92
-rw-r--r--src/core/instructions-for-lhs6
-rw-r--r--src/core/main.lhs23
-rw-r--r--src/core/overview.tex52
-rw-r--r--src/data/emacs-mode/agda2-mode.el2
-rw-r--r--src/fix-agda-whitespace/FixWhitespace.hs104
-rw-r--r--src/fix-agda-whitespace/fix-agda-whitespace.cabal12
-rw-r--r--src/full/.cvsignore2
-rw-r--r--src/full/Agda/Compiler/MAlonzo/Compiler.hs6
-rw-r--r--src/full/Agda/Interaction/.cvsignore2
-rw-r--r--src/full/Agda/Interaction/CommandLine/.cvsignore2
-rw-r--r--src/full/Agda/Interaction/GhcTop.hs5
-rw-r--r--src/full/Agda/Interaction/Highlighting/.cvsignore2
-rw-r--r--src/full/Agda/Syntax/.cvsignore1
-rw-r--r--src/full/Agda/Syntax/Abstract/.cvsignore2
-rw-r--r--src/full/Agda/Syntax/Concrete/.cvsignore1
-rw-r--r--src/full/Agda/Syntax/Parser/.cvsignore1
-rw-r--r--src/full/Agda/Syntax/Translation/.cvsignore1
-rw-r--r--src/full/Agda/Termination/FoetusTermination.hs256
-rw-r--r--src/full/Agda/TypeChecking/.cvsignore1
-rw-r--r--src/full/Agda/TypeChecking/Monad/.cvsignore1
-rw-r--r--src/full/Agda/TypeChecking/Patterns/.cvsignore1
-rw-r--r--src/full/Agda/Utils/.cvsignore2
-rw-r--r--src/full/Agda/Utils/Monad/.cvsignore2
-rw-r--r--src/full/Agda/Utils/NubList.hs49
-rw-r--r--src/full/Agda/Utils/Update.hs156
-rw-r--r--src/full/Makefile125
-rw-r--r--src/hTags/Main.hs180
-rw-r--r--src/hTags/Makefile15
-rw-r--r--src/hTags/Setup.hs4
-rw-r--r--src/hTags/Tags.hs284
-rw-r--r--src/hTags/hTags.cabal20
-rw-r--r--src/main/.cvsignore1
-rw-r--r--src/main/Makefile34
-rw-r--r--src/main/Setup.hs4
-rw-r--r--src/pkg/Interface/Command.hs15
-rw-r--r--src/pkg/Interface/Command/Describe.hs0
-rw-r--r--src/pkg/Interface/Command/Dump.hs29
-rw-r--r--src/pkg/Interface/Command/Field.hs0
-rw-r--r--src/pkg/Interface/Command/List.hs86
-rw-r--r--src/pkg/Interface/Command/Register.hs80
-rw-r--r--src/pkg/Interface/Command/Unregister.hs12
-rw-r--r--src/pkg/Interface/Command/Visibility.hs37
-rw-r--r--src/pkg/Interface/Exit.hs43
-rw-r--r--src/pkg/Interface/Options.hs33
-rw-r--r--src/pkg/Interface/Usage.hs53
-rw-r--r--src/pkg/Interface/Version.hs10
-rw-r--r--src/pkg/Main.hs133
-rw-r--r--src/pkg/TODO1
-rw-r--r--src/pkg/Utils.hs36
-rw-r--r--src/prototyping/eval/.cvsignore3
-rw-r--r--src/prototyping/eval/Data/Trie.hs85
-rw-r--r--src/prototyping/eval/DeBruijnCBN.hs111
-rw-r--r--src/prototyping/eval/DeBruijnCBN2.hs125
-rw-r--r--src/prototyping/eval/DeBruijnCBN3.hs119
-rw-r--r--src/prototyping/eval/DeBruijnCBN4.hs165
-rw-r--r--src/prototyping/eval/DeBruijnCBN5.hs170
-rw-r--r--src/prototyping/eval/DeBruijnCBN6.hs175
-rw-r--r--src/prototyping/eval/DeBruijnCBN7.hs222
-rw-r--r--src/prototyping/eval/DeBruijnLazy1.hs270
-rw-r--r--src/prototyping/eval/DeBruijnLazy2.hs271
-rw-r--r--src/prototyping/eval/DeBruijnLazy3.hs273
-rw-r--r--src/prototyping/eval/DeBruijnLazy4.hs301
-rw-r--r--src/prototyping/eval/DeBruijnLazy5.hs309
-rw-r--r--src/prototyping/eval/DeBruijnLazy6.hs311
-rw-r--r--src/prototyping/eval/DeBruijnLazy7.hs305
-rw-r--r--src/prototyping/eval/Lam.cf34
-rw-r--r--src/prototyping/eval/Main.hs75
-rw-r--r--src/prototyping/eval/Makefile39
-rw-r--r--src/prototyping/eval/Parse.hs142
-rw-r--r--src/prototyping/eval/Pointer.hs49
-rw-r--r--src/prototyping/eval/PointerST.hs33
-rw-r--r--src/prototyping/eval/Pretty.hs75
-rw-r--r--src/prototyping/eval/Syntax.hs41
-rw-r--r--src/prototyping/eval/Utils.hs6
-rw-r--r--src/prototyping/eval/church.lam74
-rw-r--r--src/prototyping/eval/nat.lam73
-rw-r--r--src/prototyping/eval/notes18
-rw-r--r--src/prototyping/mixfix/.cvsignore1
-rw-r--r--src/prototyping/mixfix/Expression.hs66
-rw-r--r--src/prototyping/mixfix/ExpressionParser.hs235
-rw-r--r--src/prototyping/mixfix/IndexedMap.hs79
-rw-r--r--src/prototyping/mixfix/IndexedOrd.hs71
-rw-r--r--src/prototyping/mixfix/Memoised.hs113
-rw-r--r--src/prototyping/mixfix/MemoisedCPS.hs141
-rw-r--r--src/prototyping/mixfix/Name.hs162
-rw-r--r--src/prototyping/mixfix/Parser.hs63
-rw-r--r--src/prototyping/mixfix/PrecedenceGraph.hs366
-rw-r--r--src/prototyping/mixfix/Test.hs342
-rw-r--r--src/prototyping/mixfix/Token.hs298
-rw-r--r--src/prototyping/mixfix/Utilities.hs304
-rw-r--r--src/prototyping/mixfix/benchmarks/AmbExTrie.hs64
-rw-r--r--src/prototyping/mixfix/benchmarks/AmbExTrie2.hs86
-rw-r--r--src/prototyping/mixfix/benchmarks/AmbTrie.hs50
-rw-r--r--src/prototyping/mixfix/benchmarks/ContTrans.hs39
-rw-r--r--src/prototyping/mixfix/benchmarks/Incremental.hs27
-rw-r--r--src/prototyping/mixfix/benchmarks/Memoised.hs80
-rw-r--r--src/prototyping/mixfix/benchmarks/MemoisedCPS.hs129
-rw-r--r--src/prototyping/mixfix/benchmarks/Parser.hs51
-rw-r--r--src/prototyping/mixfix/benchmarks/PrecedenceGraph.hs322
-rw-r--r--src/prototyping/mixfix/benchmarks/ReadP.hs477
-rw-r--r--src/prototyping/mixfix/benchmarks/ReadPWrapper.hs35
-rw-r--r--src/prototyping/mixfix/benchmarks/SlowParser.hs50
-rw-r--r--src/prototyping/mixfix/benchmarks/StackContTrans.hs35
-rw-r--r--src/prototyping/mixfix/benchmarks/Standard.hs37
-rw-r--r--src/prototyping/mixfix/benchmarks/Test.hs245
-rw-r--r--src/prototyping/mixfix/benchmarks/mixfix-benchmarks.cabal16
-rw-r--r--src/prototyping/mixfix/old/Makefile15
-rw-r--r--src/prototyping/mixfix/old/MixFix.hs296
-rw-r--r--src/prototyping/mixfix/old/MixFix2.hs297
-rw-r--r--src/prototyping/mixfix/old/ReadP.hs477
-rw-r--r--src/prototyping/modules/Modules.hs553
-rw-r--r--src/prototyping/modules/ModulesAttempt1.hs159
-rw-r--r--src/prototyping/modules/ModulesAttempt2.hs354
-rw-r--r--src/prototyping/modules/flat/.cvsignore1
-rw-r--r--src/prototyping/modules/flat/Abstract.hs88
-rw-r--r--src/prototyping/modules/flat/Debug.hs8
-rw-r--r--src/prototyping/modules/flat/Internal.hs63
-rw-r--r--src/prototyping/modules/flat/Main.hs58
-rw-r--r--src/prototyping/modules/flat/Makefile20
-rw-r--r--src/prototyping/modules/flat/Pretty.hs14
-rw-r--r--src/prototyping/modules/flat/Scope.hs458
-rw-r--r--src/prototyping/modules/flat/Syntax.cf60
-rw-r--r--src/prototyping/modules/flat/Test.agda22
-rw-r--r--src/prototyping/modules/flat/TypeCheck.hs259
-rw-r--r--src/prototyping/modules/flat/Utils.hs10
-rw-r--r--src/prototyping/modules/flat/test.mod126
-rw-r--r--src/prototyping/nameless/Lam.cf31
-rw-r--r--src/prototyping/nameless/Main.hs40
-rw-r--r--src/prototyping/nameless/Makefile22
-rw-r--r--src/prototyping/nameless/Name.hs17
-rw-r--r--src/prototyping/nameless/Stack.hs28
-rw-r--r--src/prototyping/nameless/Syntax.hs104
-rw-r--r--src/prototyping/nameless/TypeChecker.hs223
-rw-r--r--src/prototyping/nameless/test.lam36
-rw-r--r--src/prototyping/subst/Subst.agda129
-rw-r--r--src/prototyping/termrep/Main.hs64
-rw-r--r--src/prototyping/termrep/Makefile16
-rw-r--r--src/prototyping/termrep/Syntax.cf31
-rw-r--r--src/prototyping/termrep/Syntax/Abstract.hs39
-rw-r--r--src/prototyping/termrep/Syntax/Desugar.hs196
-rw-r--r--src/prototyping/termrep/Syntax/Pretty.hs49
-rw-r--r--src/prototyping/termrep/Terms/Interface.hs4
-rw-r--r--src/prototyping/termrep/Terms/None.hs37
-rw-r--r--src/prototyping/termrep/Types/Check.hs68
-rw-r--r--src/prototyping/termrep/Types/Equality.hs8
-rw-r--r--src/prototyping/termrep/Types/Metas.hs8
-rw-r--r--src/prototyping/termrep/Types/Monad.hs77
-rw-r--r--src/prototyping/termrep/happy.out876
-rw-r--r--src/prototyping/termrep/lambdapi/LambdaPi.hs1072
-rw-r--r--src/prototyping/termrep/lambdapi/cat.lp1
-rw-r--r--src/prototyping/termrep/lambdapi/prelude.lp319
-rw-r--r--src/prototyping/termrep/test.pi45
-rw-r--r--src/prototyping/terms/Check.hs33
-rw-r--r--src/prototyping/terms/Eval.hs52
-rw-r--r--src/prototyping/terms/Main.hs32
-rw-r--r--src/prototyping/terms/Makefile21
-rw-r--r--src/prototyping/terms/Monad.hs86
-rw-r--r--src/prototyping/terms/Name.hs10
-rw-r--r--src/prototyping/terms/Pretty.hs14
-rw-r--r--src/prototyping/terms/Syntax.cf14
-rw-r--r--src/prototyping/terms/Term.hs43
-rw-r--r--src/prototyping/terms/example.lam15
-rw-r--r--src/prototyping/trace/.cvsignore1
-rw-r--r--src/prototyping/trace/Lambda.cf10
-rw-r--r--src/prototyping/trace/Main.hs24
-rw-r--r--src/prototyping/trace/Makefile66
-rw-r--r--src/prototyping/trace/TypeChecker.hs232
-rw-r--r--src/prototyping/trace/tests.lam7
-rw-r--r--src/rts/Makefile10
-rw-r--r--src/rts/RTN.agda9
-rw-r--r--src/rts/RTN.hs13
-rw-r--r--src/rts/RTP.agda42
-rw-r--r--src/rts/RTP.hs116
-rw-r--r--src/rts/RTS.hs9
-rw-r--r--src/rts/Setup.hs4
-rw-r--r--src/rts/agda-rts.cabal13
-rw-r--r--src/transl/.cvsignore2
-rw-r--r--src/transl/INSTALL17
-rw-r--r--src/transl/Main.hs71
-rw-r--r--src/transl/README89
-rw-r--r--src/transl/Setup.hs2
-rw-r--r--src/transl/Translator.hs692
-rw-r--r--src/transl/agda/.cvsignore2
-rw-r--r--src/transl/agda/AgdaPretty.hs100
-rw-r--r--src/transl/agda/AgdaScans.hs37
-rw-r--r--src/transl/agda/AgdaTrace.hs4
-rw-r--r--src/transl/agda/AltIntMap.hs26
-rw-r--r--src/transl/agda/BinParse.hs42
-rw-r--r--src/transl/agda/CITrans.hs112
-rw-r--r--src/transl/agda/CParser.hs566
-rw-r--r--src/transl/agda/CPrinter.hs522
-rw-r--r--src/transl/agda/CSyntax.hs475
-rw-r--r--src/transl/agda/Error.hs317
-rw-r--r--src/transl/agda/FString.hs126
-rw-r--r--src/transl/agda/Hash.hs117
-rw-r--r--src/transl/agda/ISynEnv.hs154
-rw-r--r--src/transl/agda/ISynType.hs528
-rw-r--r--src/transl/agda/ISyntax.hs474
-rw-r--r--src/transl/agda/Id.hs265
-rw-r--r--src/transl/agda/Lex.hs399
-rw-r--r--src/transl/agda/Literal.hs26
-rw-r--r--src/transl/agda/MetaVars.hs24
-rw-r--r--src/transl/agda/MiscId.hs67
-rw-r--r--src/transl/agda/Monads.hs137
-rw-r--r--src/transl/agda/NewCParser.hs7
-rw-r--r--src/transl/agda/OldCParser.hs7
-rw-r--r--src/transl/agda/PPrint.hs97
-rw-r--r--src/transl/agda/Parse.hs260
-rw-r--r--src/transl/agda/PluginType.hs32
-rw-r--r--src/transl/agda/Position.hs50
-rw-r--r--src/transl/agda/PreStrings.hs50
-rw-r--r--src/transl/agda/Util.hs165
-rw-r--r--src/transl/agda/Utilities.hs149
-rw-r--r--src/transl/agda/config.h5
-rw-r--r--src/transl/agda1to2.cabal21
-rw-r--r--test/.cvsignore1
-rw-r--r--test/Common/Char.agda7
-rw-r--r--test/Common/Coinduction.agda19
-rw-r--r--test/Common/Equality.agda17
-rw-r--r--test/Common/FFI.hs11
-rw-r--r--test/Common/Irrelevance.agda14
-rw-r--r--test/Common/Issue481ParametrizedModule.agda7
-rw-r--r--test/Common/Level.agda32
-rw-r--r--test/Common/MAlonzo.agda23
-rw-r--r--test/Common/Prelude.agda75
-rw-r--r--test/Common/Product.agda28
-rw-r--r--test/Common/Reflect.agda106
-rw-r--r--test/Common/Size.agda16
-rw-r--r--test/bugs/.cvsignore2
-rw-r--r--test/bugs/FamilyPattern.agda14
-rw-r--r--test/bugs/ImpossiblePattern.agda6
-rw-r--r--test/bugs/Issue166NotSized.agda22
-rw-r--r--test/bugs/Issue325b.agda44
-rw-r--r--test/bugs/Lambda.agda18
-rw-r--r--test/bugs/Mutual.agda45
-rw-r--r--test/bugs/RecursiveRecord.agda16
-rw-r--r--test/bugs/SizedTypesLoopDueInadmissibility.agda56
-rw-r--r--test/bugs/SizedTypesMergeSort.agda45
-rw-r--r--test/bugs/SizedTypesScopeViolationInMeta.agda29
-rw-r--r--test/bugs/TerminationSubpattern.agda33
-rw-r--r--test/bugs/fixed/DotPattern.agda64
-rw-r--r--test/bugs/fixed/DroppingParameters.agda25
-rw-r--r--test/bugs/fixed/HiddenLambda.agda14
-rw-r--r--test/bugs/fixed/LostConstraint.agda38
-rw-r--r--test/bugs/fixed/lexerBug.agda1
-rw-r--r--test/bugs/univ.agda324
-rw-r--r--test/compiler/Main.agda25
-rw-r--r--test/core/core.agda8
-rw-r--r--test/epic/Makefile6
-rw-r--r--test/epic/Prelude/Bool.agda29
-rw-r--r--test/epic/Prelude/Bot.agda6
-rw-r--r--test/epic/Prelude/Char.agda22
-rw-r--r--test/epic/Prelude/Eq.agda16
-rw-r--r--test/epic/Prelude/FFI.agda19
-rw-r--r--test/epic/Prelude/File.agda163
-rw-r--r--test/epic/Prelude/File2.agda192
-rw-r--r--test/epic/Prelude/Fin.agda20
-rw-r--r--test/epic/Prelude/Float.agda12
-rw-r--r--test/epic/Prelude/IO.agda78
-rw-r--r--test/epic/Prelude/Level.agda12
-rw-r--r--test/epic/Prelude/List.agda74
-rw-r--r--test/epic/Prelude/Nat.agda45
-rw-r--r--test/epic/Prelude/Product.agda9
-rw-r--r--test/epic/Prelude/Stream.agda76
-rw-r--r--test/epic/Prelude/String.agda38
-rw-r--r--test/epic/Prelude/Unit.agda6
-rw-r--r--test/epic/Prelude/Vec.agda58
-rw-r--r--test/epic/RunTests.agda183
-rw-r--r--test/epic/tests/Arith.agda24
-rw-r--r--test/epic/tests/Arith.out1
-rw-r--r--test/epic/tests/Cat.agda250
-rw-r--r--test/epic/tests/Cat.out4
-rw-r--r--test/epic/tests/Coind.agda42
-rw-r--r--test/epic/tests/Coind.out3
-rw-r--r--test/epic/tests/Forcing.agda52
-rw-r--r--test/epic/tests/Forcing.out1
-rw-r--r--test/epic/tests/Forcing2.agda32
-rw-r--r--test/epic/tests/Forcing2.out1
-rw-r--r--test/epic/tests/Forcing3.agda55
-rw-r--r--test/epic/tests/Forcing3.out1
-rw-r--r--test/epic/tests/Forcing4.agda65
-rw-r--r--test/epic/tests/Forcing4.out2
-rw-r--r--test/epic/tests/Literals.agda29
-rw-r--r--test/epic/tests/Literals.out1
-rw-r--r--test/epic/tests/Mutual.agda41
-rw-r--r--test/epic/tests/Mutual.out2
-rw-r--r--test/epic/tests/PrintBool.agda37
-rw-r--r--test/epic/tests/PrintBool.out3
-rw-r--r--test/epic/tests/String.agda24
-rw-r--r--test/epic/tests/String.out3
-rw-r--r--test/fail/.cvsignore2
-rw-r--r--test/fail/A/B/M.agda1
-rw-r--r--test/fail/A/M.agda3
-rw-r--r--test/fail/AbsToConDecl.agda5
-rw-r--r--test/fail/AbsToConDecl.err8
-rw-r--r--test/fail/Abstract.agda28
-rw-r--r--test/fail/Abstract.err3
-rw-r--r--test/fail/AbstractBlockInLet.agda10
-rw-r--r--test/fail/AbstractBlockInLet.err8
-rw-r--r--test/fail/AbsurdPatternRequiresNoRHS.agda8
-rw-r--r--test/fail/AbsurdPatternRequiresNoRHS.err4
-rw-r--r--test/fail/AgdalightTelescopeSyntax.agda7
-rw-r--r--test/fail/AgdalightTelescopeSyntax.err3
-rw-r--r--test/fail/AmbiguousModule.agda9
-rw-r--r--test/fail/AmbiguousModule.err5
-rw-r--r--test/fail/AmbiguousName.agda14
-rw-r--r--test/fail/AmbiguousName.err5
-rw-r--r--test/fail/AmbiguousParseForApplication.agda11
-rw-r--r--test/fail/AmbiguousParseForApplication.err6
-rw-r--r--test/fail/AmbiguousParseForLHS.agda11
-rw-r--r--test/fail/AmbiguousParseForLHS.err7
-rw-r--r--test/fail/AmbiguousTopLevelModuleName.agda3
-rw-r--r--test/fail/AmbiguousTopLevelModuleName.err7
-rw-r--r--test/fail/BadInductionRecursion1.agda21
-rw-r--r--test/fail/BadInductionRecursion1.err4
-rw-r--r--test/fail/BadInductionRecursion2.agda21
-rw-r--r--test/fail/BadInductionRecursion2.err4
-rw-r--r--test/fail/BadInductionRecursion3.agda27
-rw-r--r--test/fail/BadInductionRecursion3.err5
-rw-r--r--test/fail/BadTermination.agda16
-rw-r--r--test/fail/BadTermination.err6
-rw-r--r--test/fail/BoundedSizeNoMatch.agda20
-rw-r--r--test/fail/BoundedSizeNoMatch.err6
-rw-r--r--test/fail/BrokenInferenceDueToNonvariantPolarity.agda56
-rw-r--r--test/fail/BrokenInferenceDueToNonvariantPolarity.err4
-rw-r--r--test/fail/BuiltinConstructorsNeededForLiterals.agda17
-rw-r--r--test/fail/BuiltinConstructorsNeededForLiterals.err4
-rw-r--r--test/fail/BuiltinInParameterisedModule.agda7
-rw-r--r--test/fail/BuiltinInParameterisedModule.err4
-rw-r--r--test/fail/BuiltinMustBeConstructor.agda12
-rw-r--r--test/fail/BuiltinMustBeConstructor.err3
-rw-r--r--test/fail/CantOpenConstructorsFromRecordModule.agda14
-rw-r--r--test/fail/CantOpenConstructorsFromRecordModule.err5
-rw-r--r--test/fail/CheckSizeMetaBounds.agda41
-rw-r--r--test/fail/CheckSizeMetaBounds.err5
-rw-r--r--test/fail/ClashingDefinition.agda9
-rw-r--r--test/fail/ClashingDefinition.err5
-rw-r--r--test/fail/ClashingImport.agda9
-rw-r--r--test/fail/ClashingImport.err5
-rw-r--r--test/fail/ClashingModule.agda7
-rw-r--r--test/fail/ClashingModule.err5
-rw-r--r--test/fail/ClashingModuleImport.agda3
-rw-r--r--test/fail/ClashingModuleImport.err5
-rw-r--r--test/fail/Codata.agda3
-rw-r--r--test/fail/Codata.err3
-rw-r--r--test/fail/CoinductiveBuiltinList.agda0
-rw-r--r--test/fail/CoinductiveBuiltinList.err0
-rw-r--r--test/fail/CoinductiveBuiltinNatural.agda11
-rw-r--r--test/fail/CoinductiveBuiltinNatural.err3
-rw-r--r--test/fail/CoinductiveConstructorsAndLet.agda13
-rw-r--r--test/fail/CoinductiveConstructorsAndLet.err4
-rw-r--r--test/fail/CoinductiveUnitRecord.agda26
-rw-r--r--test/fail/CoinductiveUnitRecord.err8
-rw-r--r--test/fail/ColistMutual.agda53
-rw-r--r--test/fail/ColistMutual.err8
-rw-r--r--test/fail/CompiledMustBePostulate.agda11
-rw-r--r--test/fail/CompiledMustBePostulate.err3
-rw-r--r--test/fail/CompiledMustHaveHaskellType.agda12
-rw-r--r--test/fail/CompiledMustHaveHaskellType.err3
-rw-r--r--test/fail/ComplexIMPORT.agda3
-rw-r--r--test/fail/ComplexIMPORT.err3
-rw-r--r--test/fail/ConstructorHeadedDivergenceIn2-2-10.agda48
-rw-r--r--test/fail/ConstructorHeadedDivergenceIn2-2-10.err4
-rw-r--r--test/fail/CopatternCheckingNYI.agda20
-rw-r--r--test/fail/CopatternCheckingNYI.err6
-rw-r--r--test/fail/CopatternNonterminating.agda57
-rw-r--r--test/fail/CopatternNonterminating.err8
-rw-r--r--test/fail/CopatternWithoutFieldName.agda15
-rw-r--r--test/fail/CopatternWithoutFieldName.err4
-rw-r--r--test/fail/CorrectPrintingOfVariablesInSortCheckingForData.agda19
-rw-r--r--test/fail/CorrectPrintingOfVariablesInSortCheckingForData.err3
-rw-r--r--test/fail/Crash.agda22
-rw-r--r--test/fail/Crash.err3
-rw-r--r--test/fail/CyclicModuleDependency.agda4
-rw-r--r--test/fail/CyclicModuleDependency.err6
-rw-r--r--test/fail/DataParameterPolarity.agda28
-rw-r--r--test/fail/DataParameterPolarity.err3
-rw-r--r--test/fail/DataRecordCoinductive.agda38
-rw-r--r--test/fail/DataRecordCoinductive.err6
-rw-r--r--test/fail/DifferentArities.agda11
-rw-r--r--test/fail/DifferentArities.err3
-rw-r--r--test/fail/DoNotFireLiteralCatchAllForNeutrals.agda20
-rw-r--r--test/fail/DoNotFireLiteralCatchAllForNeutrals.err3
-rw-r--r--test/fail/DontPrune.agda23
-rw-r--r--test/fail/DontPrune.err5
-rw-r--r--test/fail/DuplicateBuiltinBinding.agda7
-rw-r--r--test/fail/DuplicateBuiltinBinding.err4
-rw-r--r--test/fail/DuplicateConstructors.agda9
-rw-r--r--test/fail/DuplicateConstructors.err6
-rw-r--r--test/fail/DuplicateFields.agda11
-rw-r--r--test/fail/DuplicateFields.err4
-rw-r--r--test/fail/EmptyInductiveRecord.agda29
-rw-r--r--test/fail/EmptyInductiveRecord.err8
-rw-r--r--test/fail/ExistentialsProjections.agda24
-rw-r--r--test/fail/ExistentialsProjections.err3
-rw-r--r--test/fail/FakeProjectionsDoNotPreserveGuardedness.agda34
-rw-r--r--test/fail/FakeProjectionsDoNotPreserveGuardedness.err10
-rw-r--r--test/fail/FileNotFound.agda3
-rw-r--r--test/fail/FileNotFound.err9
-rw-r--r--test/fail/FixityOutOfScopeInRecord.agda5
-rw-r--r--test/fail/FixityOutOfScopeInRecord.err2
-rw-r--r--test/fail/FrozenMVar.agda18
-rw-r--r--test/fail/FrozenMVar.err4
-rw-r--r--test/fail/FrozenMVar2.agda48
-rw-r--r--test/fail/FrozenMVar2.err3
-rw-r--r--test/fail/IllegalUseOfIrrelevantDeclaration.agda18
-rw-r--r--test/fail/IllegalUseOfIrrelevantDeclaration.err5
-rw-r--r--test/fail/IlltypedPattern.agda10
-rw-r--r--test/fail/IlltypedPattern.err3
-rw-r--r--test/fail/ImplicitRecordFields.agda31
-rw-r--r--test/fail/ImplicitRecordFields.err3
-rw-r--r--test/fail/ImportInMutual.agda10
-rw-r--r--test/fail/ImportInMutual.err2
-rw-r--r--test/fail/Imports/.cvsignore1
-rw-r--r--test/fail/Imports/A.agda5
-rw-r--r--test/fail/Imports/Ambiguous.agda0
-rw-r--r--test/fail/Imports/Ambiguous.lagda0
-rw-r--r--test/fail/Imports/B.agda5
-rw-r--r--test/fail/Imports/Bool.agda5
-rw-r--r--test/fail/Imports/Coinduction.agda16
-rw-r--r--test/fail/Imports/Level.agda19
-rw-r--r--test/fail/Imports/NonTerminating.agda4
-rw-r--r--test/fail/Imports/ShouldBePi.agda5
-rw-r--r--test/fail/Imports/Test.agda7
-rw-r--r--test/fail/Imports/Unsolved.agda6
-rw-r--r--test/fail/Impossible.agda5
-rw-r--r--test/fail/Impossible.err2
-rw-r--r--test/fail/IncompletePatternMatching.agda19
-rw-r--r--test/fail/IncompletePatternMatching.err5
-rw-r--r--test/fail/IndentedCheckingMessages.agda6
-rw-r--r--test/fail/IndentedCheckingMessages.err12
-rw-r--r--test/fail/IndentedCheckingMessages.flags1
-rw-r--r--test/fail/InductiveAndCoinductiveConstructors.err7
-rw-r--r--test/fail/InferRecordTypes-1.agda5
-rw-r--r--test/fail/InferRecordTypes-1.err3
-rw-r--r--test/fail/InferRecordTypes-2.agda10
-rw-r--r--test/fail/InferRecordTypes-2.err3
-rw-r--r--test/fail/InferRecordTypes-3.agda17
-rw-r--r--test/fail/InferRecordTypes-3.err4
-rw-r--r--test/fail/InferRecordTypes-4.agda17
-rw-r--r--test/fail/InferRecordTypes-4.err4
-rw-r--r--test/fail/Inference-of-implicit-function-space.agda18
-rw-r--r--test/fail/Inference-of-implicit-function-space.err4
-rw-r--r--test/fail/InjectiveTypeConstructors.agda10
-rw-r--r--test/fail/InjectiveTypeConstructors.err3
-rw-r--r--test/fail/InstanceArgumentsAmbiguous.agda8
-rw-r--r--test/fail/InstanceArgumentsAmbiguous.err3
-rw-r--r--test/fail/InstanceArgumentsBraceSpaces.agda5
-rw-r--r--test/fail/InstanceArgumentsBraceSpaces.err3
-rw-r--r--test/fail/InstanceArgumentsModNotParameterised.agda14
-rw-r--r--test/fail/InstanceArgumentsModNotParameterised.err4
-rw-r--r--test/fail/InstanceArgumentsNotFound.agda7
-rw-r--r--test/fail/InstanceArgumentsNotFound.err3
-rw-r--r--test/fail/Interaction-and-input-file.agda1
-rw-r--r--test/fail/Interaction-and-input-file.err48
-rw-r--r--test/fail/Interaction-and-input-file.flags1
-rw-r--r--test/fail/IrrelevantData.agda10
-rw-r--r--test/fail/IrrelevantData.err3
-rw-r--r--test/fail/IrrelevantFamilyIndex.agda40
-rw-r--r--test/fail/IrrelevantFamilyIndex.err3
-rw-r--r--test/fail/IrrelevantFin.agda14
-rw-r--r--test/fail/IrrelevantFin.err3
-rw-r--r--test/fail/IrrelevantIndexNotInconsistent.agda29
-rw-r--r--test/fail/IrrelevantIndexNotInconsistent.err3
-rw-r--r--test/fail/IrrelevantLambda.agda9
-rw-r--r--test/fail/IrrelevantLambda.err3
-rw-r--r--test/fail/IrrelevantLevelHurkens.agda83
-rw-r--r--test/fail/IrrelevantLevelHurkens.err3
-rw-r--r--test/fail/IrrelevantLevelToSet.agda9
-rw-r--r--test/fail/IrrelevantLevelToSet.err3
-rw-r--r--test/fail/IrrelevantMatchRefl.agda60
-rw-r--r--test/fail/IrrelevantMatchRefl.err3
-rw-r--r--test/fail/IrrelevantModuleParameter.agda5
-rw-r--r--test/fail/IrrelevantModuleParameter.err3
-rw-r--r--test/fail/IrrelevantModuleParameter1.agda6
-rw-r--r--test/fail/IrrelevantModuleParameter1.err3
-rw-r--r--test/fail/IrrelevantProjections.agda12
-rw-r--r--test/fail/IrrelevantProjections.err4
-rw-r--r--test/fail/IrrelevantRecordField.agda11
-rw-r--r--test/fail/IrrelevantRecordField.err3
-rw-r--r--test/fail/IrrelevantRecordMatching.agda13
-rw-r--r--test/fail/IrrelevantRecordMatching.err3
-rw-r--r--test/fail/IrrelevantTelescope.agda7
-rw-r--r--test/fail/IrrelevantTelescope.err3
-rw-r--r--test/fail/IrrelevantTelescopeRecord.agda8
-rw-r--r--test/fail/IrrelevantTelescopeRecord.err3
-rw-r--r--test/fail/IrrelevantVar.agda8
-rw-r--r--test/fail/IrrelevantVar.err3
-rw-r--r--test/fail/Issue113.agda14
-rw-r--r--test/fail/Issue113.err3
-rw-r--r--test/fail/Issue118Comment9.agda45
-rw-r--r--test/fail/Issue118Comment9.err6
-rw-r--r--test/fail/Issue121.agda17
-rw-r--r--test/fail/Issue121.err4
-rw-r--r--test/fail/Issue127.agda20
-rw-r--r--test/fail/Issue127.err3
-rw-r--r--test/fail/Issue138.err2
-rw-r--r--test/fail/Issue154.agda9
-rw-r--r--test/fail/Issue154.err5
-rw-r--r--test/fail/Issue160.agda16
-rw-r--r--test/fail/Issue160.err3
-rw-r--r--test/fail/Issue183.agda23
-rw-r--r--test/fail/Issue183.err3
-rw-r--r--test/fail/Issue202.agda16
-rw-r--r--test/fail/Issue202.err4
-rw-r--r--test/fail/Issue203.agda9
-rw-r--r--test/fail/Issue203.err4
-rw-r--r--test/fail/Issue203b.agda14
-rw-r--r--test/fail/Issue203b.err4
-rw-r--r--test/fail/Issue205.agda12
-rw-r--r--test/fail/Issue205.err3
-rw-r--r--test/fail/Issue206.agda18
-rw-r--r--test/fail/Issue206.err4
-rw-r--r--test/fail/Issue215.agda6
-rw-r--r--test/fail/Issue215.err4
-rw-r--r--test/fail/Issue216.agda16
-rw-r--r--test/fail/Issue216.err3
-rw-r--r--test/fail/Issue217.agda6
-rw-r--r--test/fail/Issue217.err5
-rw-r--r--test/fail/Issue228.agda36
-rw-r--r--test/fail/Issue228.err3
-rw-r--r--test/fail/Issue249-2.agda13
-rw-r--r--test/fail/Issue249-2.err4
-rw-r--r--test/fail/Issue249.agda13
-rw-r--r--test/fail/Issue249.err4
-rw-r--r--test/fail/Issue256.agda18
-rw-r--r--test/fail/Issue256.err6
-rw-r--r--test/fail/Issue260a.agda5
-rw-r--r--test/fail/Issue260a.err5
-rw-r--r--test/fail/Issue260b.agda5
-rw-r--r--test/fail/Issue260b.err5
-rw-r--r--test/fail/Issue260c.agda5
-rw-r--r--test/fail/Issue260c.err5
-rw-r--r--test/fail/Issue260d.agda5
-rw-r--r--test/fail/Issue260d.err5
-rw-r--r--test/fail/Issue274.agda13
-rw-r--r--test/fail/Issue274.err3
-rw-r--r--test/fail/Issue278.agda11
-rw-r--r--test/fail/Issue278.err3
-rw-r--r--test/fail/Issue279-2.agda20
-rw-r--r--test/fail/Issue279-2.err3
-rw-r--r--test/fail/Issue279.agda20
-rw-r--r--test/fail/Issue279.err3
-rw-r--r--test/fail/Issue280.agda9
-rw-r--r--test/fail/Issue280.err3
-rw-r--r--test/fail/Issue291a.agda15
-rw-r--r--test/fail/Issue291a.err3
-rw-r--r--test/fail/Issue291b.agda16
-rw-r--r--test/fail/Issue291b.err3
-rw-r--r--test/fail/Issue292.agda42
-rw-r--r--test/fail/Issue292.err4
-rw-r--r--test/fail/Issue292b.err4
-rw-r--r--test/fail/Issue292c.agda47
-rw-r--r--test/fail/Issue292c.err3
-rw-r--r--test/fail/Issue292d.agda33
-rw-r--r--test/fail/Issue292d.err8
-rw-r--r--test/fail/Issue295.agda29
-rw-r--r--test/fail/Issue295.err4
-rw-r--r--test/fail/Issue308a.agda9
-rw-r--r--test/fail/Issue308a.err4
-rw-r--r--test/fail/Issue308b.agda9
-rw-r--r--test/fail/Issue308b.err4
-rw-r--r--test/fail/Issue309a.agda9
-rw-r--r--test/fail/Issue309a.err4
-rw-r--r--test/fail/Issue309b.agda9
-rw-r--r--test/fail/Issue309b.err4
-rw-r--r--test/fail/Issue318.agda10
-rw-r--r--test/fail/Issue318.err5
-rw-r--r--test/fail/Issue328.agda8
-rw-r--r--test/fail/Issue328.err2
-rw-r--r--test/fail/Issue329.agda6
-rw-r--r--test/fail/Issue329.err2
-rw-r--r--test/fail/Issue329b.agda6
-rw-r--r--test/fail/Issue329b.err2
-rw-r--r--test/fail/Issue329c.agda6
-rw-r--r--test/fail/Issue329c.err2
-rw-r--r--test/fail/Issue332.agda10
-rw-r--r--test/fail/Issue332.err5
-rw-r--r--test/fail/Issue334.agda21
-rw-r--r--test/fail/Issue334.err6
-rw-r--r--test/fail/Issue347.agda35
-rw-r--r--test/fail/Issue347.err3
-rw-r--r--test/fail/Issue351a.agda15
-rw-r--r--test/fail/Issue351a.err3
-rw-r--r--test/fail/Issue357.agda20
-rw-r--r--test/fail/Issue357.err4
-rw-r--r--test/fail/Issue380.agda31
-rw-r--r--test/fail/Issue380.err5
-rw-r--r--test/fail/Issue381.agda13
-rw-r--r--test/fail/Issue381.err3
-rw-r--r--test/fail/Issue390.agda3
-rw-r--r--test/fail/Issue390.err3
-rw-r--r--test/fail/Issue390.flags1
-rw-r--r--test/fail/Issue392.agda30
-rw-r--r--test/fail/Issue392.err3
-rw-r--r--test/fail/Issue399.agda41
-rw-r--r--test/fail/Issue399.err9
-rw-r--r--test/fail/Issue402.agda16
-rw-r--r--test/fail/Issue402.err3
-rw-r--r--test/fail/Issue413.agda14
-rw-r--r--test/fail/Issue413.err8
-rw-r--r--test/fail/Issue418.agda21
-rw-r--r--test/fail/Issue418.err4
-rw-r--r--test/fail/Issue424.agda16
-rw-r--r--test/fail/Issue424.err2
-rw-r--r--test/fail/Issue427.agda18
-rw-r--r--test/fail/Issue427.err4
-rw-r--r--test/fail/Issue444.agda12
-rw-r--r--test/fail/Issue444.err6
-rw-r--r--test/fail/Issue452.agda42
-rw-r--r--test/fail/Issue452.err3
-rw-r--r--test/fail/Issue461.agda5
-rw-r--r--test/fail/Issue461.err5
-rw-r--r--test/fail/Issue464.agda35
-rw-r--r--test/fail/Issue464.err4
-rw-r--r--test/fail/Issue476a.agda6
-rw-r--r--test/fail/Issue476a.err3
-rw-r--r--test/fail/Issue476b.agda7
-rw-r--r--test/fail/Issue476b.err3
-rw-r--r--test/fail/Issue476c.agda12
-rw-r--r--test/fail/Issue476c.err4
-rw-r--r--test/fail/Issue476d.agda12
-rw-r--r--test/fail/Issue476d.err4
-rw-r--r--test/fail/Issue477.agda5
-rw-r--r--test/fail/Issue477.err2
-rw-r--r--test/fail/Issue477b.agda5
-rw-r--r--test/fail/Issue477b.err2
-rw-r--r--test/fail/Issue478.agda24
-rw-r--r--test/fail/Issue478.err3
-rw-r--r--test/fail/Issue478b.agda11
-rw-r--r--test/fail/Issue478b.err3
-rw-r--r--test/fail/Issue478c.agda13
-rw-r--r--test/fail/Issue478c.err3
-rw-r--r--test/fail/Issue481.agda10
-rw-r--r--test/fail/Issue481.err6
-rw-r--r--test/fail/Issue481InstantiatedImportOnly.agda4
-rw-r--r--test/fail/Issue481InstantiatedImportOnly.err6
-rw-r--r--test/fail/Issue481NonExistentModule.agda8
-rw-r--r--test/fail/Issue481NonExistentModule.err9
-rw-r--r--test/fail/Issue481a.agda10
-rw-r--r--test/fail/Issue481a.err4
-rw-r--r--test/fail/Issue483.agda29
-rw-r--r--test/fail/Issue483.err4
-rw-r--r--test/fail/Issue483a.agda28
-rw-r--r--test/fail/Issue483a.err4
-rw-r--r--test/fail/Issue483b.agda18
-rw-r--r--test/fail/Issue483b.err4
-rw-r--r--test/fail/Issue483c.agda24
-rw-r--r--test/fail/Issue483c.err4
-rw-r--r--test/fail/Issue484.agda10
-rw-r--r--test/fail/Issue484.err4
-rw-r--r--test/fail/Issue485.agda6
-rw-r--r--test/fail/Issue485.err3
-rw-r--r--test/fail/Issue503.agda45
-rw-r--r--test/fail/Issue503.err6
-rw-r--r--test/fail/Issue512.agda31
-rw-r--r--test/fail/Issue512.err5
-rw-r--r--test/fail/Issue526.agda24
-rw-r--r--test/fail/Issue526.err9
-rw-r--r--test/fail/Issue530.agda20
-rw-r--r--test/fail/Issue530.err4
-rw-r--r--test/fail/Issue543.agda44
-rw-r--r--test/fail/Issue543.err5
-rw-r--r--test/fail/Issue546.agda21
-rw-r--r--test/fail/Issue546.err3
-rw-r--r--test/fail/Issue549.agda8
-rw-r--r--test/fail/Issue549.err3
-rw-r--r--test/fail/Issue551.agda36
-rw-r--r--test/fail/Issue551.err3
-rw-r--r--test/fail/Issue551a.agda16
-rw-r--r--test/fail/Issue551a.err3
-rw-r--r--test/fail/Issue555.agda6
-rw-r--r--test/fail/Issue555.err2
-rw-r--r--test/fail/Issue555a.agda19
-rw-r--r--test/fail/Issue555a.err2
-rw-r--r--test/fail/Issue555b.agda20
-rw-r--r--test/fail/Issue555b.err2
-rw-r--r--test/fail/Issue555c.agda8
-rw-r--r--test/fail/Issue555c.err2
-rw-r--r--test/fail/Issue562.agda11
-rw-r--r--test/fail/Issue562.err5
-rw-r--r--test/fail/Issue580.agda5
-rw-r--r--test/fail/Issue580.err4
-rw-r--r--test/fail/Issue585-11.agda27
-rw-r--r--test/fail/Issue585-11.err4
-rw-r--r--test/fail/Issue585.agda62
-rw-r--r--test/fail/Issue585.err5
-rw-r--r--test/fail/Issue585t.agda31
-rw-r--r--test/fail/Issue585t.err4
-rw-r--r--test/fail/Issue586.agda5
-rw-r--r--test/fail/Issue586.err2
-rw-r--r--test/fail/Issue586.flags1
-rw-r--r--test/fail/Issue610-4.agda37
-rw-r--r--test/fail/Issue610-4.err3
-rw-r--r--test/fail/Issue610.agda36
-rw-r--r--test/fail/Issue610.err4
-rw-r--r--test/fail/Issue62.agda22
-rw-r--r--test/fail/Issue62.err3
-rw-r--r--test/fail/Issue628.agda27
-rw-r--r--test/fail/Issue628.err4
-rw-r--r--test/fail/Issue631.agda21
-rw-r--r--test/fail/Issue631.err3
-rw-r--r--test/fail/Issue636.agda19
-rw-r--r--test/fail/Issue636.err6
-rw-r--r--test/fail/Issue644.agda37
-rw-r--r--test/fail/Issue644.err3
-rw-r--r--test/fail/Issue659.agda53
-rw-r--r--test/fail/Issue659.err4
-rw-r--r--test/fail/Issue676.agda23
-rw-r--r--test/fail/Issue676.err4
-rw-r--r--test/fail/Issue689.agda10
-rw-r--r--test/fail/Issue689.err4
-rw-r--r--test/fail/Issue690.agda28
-rw-r--r--test/fail/Issue690.err4
-rw-r--r--test/fail/Issue690a.agda6
-rw-r--r--test/fail/Issue690a.err3
-rw-r--r--test/fail/Issue691.agda28
-rw-r--r--test/fail/Issue691.err4
-rw-r--r--test/fail/Issue705.agda8
-rw-r--r--test/fail/Issue705.err6
-rw-r--r--test/fail/Issue719.agda12
-rw-r--r--test/fail/Issue719.err5
-rw-r--r--test/fail/Issue721a.agda16
-rw-r--r--test/fail/Issue721a.err4
-rw-r--r--test/fail/Issue721b.agda17
-rw-r--r--test/fail/Issue721b.err3
-rw-r--r--test/fail/Issue721c.agda24
-rw-r--r--test/fail/Issue721c.err3
-rw-r--r--test/fail/Issue723.agda47
-rw-r--r--test/fail/Issue723.err6
-rw-r--r--test/fail/Issue735.agda24
-rw-r--r--test/fail/Issue735.err4
-rw-r--r--test/fail/Issue738.agda58
-rw-r--r--test/fail/Issue738.err8
-rw-r--r--test/fail/Issue87.agda13
-rw-r--r--test/fail/Issue87.err7
-rw-r--r--test/fail/JasonReedPruning.agda35
-rw-r--r--test/fail/JasonReedPruning.err3
-rw-r--r--test/fail/LetPair.agda18
-rw-r--r--test/fail/LetPair.err3
-rw-r--r--test/fail/LevelLiterals.agda13
-rw-r--r--test/fail/LevelLiterals.err3
-rw-r--r--test/fail/LevelUnification.agda14
-rw-r--r--test/fail/LevelUnification.err3
-rw-r--r--test/fail/LocalVsImportedModuleClash.agda4
-rw-r--r--test/fail/LocalVsImportedModuleClash.err6
-rw-r--r--test/fail/LostTypeError.agda23
-rw-r--r--test/fail/LostTypeError.err3
-rw-r--r--test/fail/LostTypeError2.agda25
-rw-r--r--test/fail/LostTypeError2.err3
-rw-r--r--test/fail/MagicWith.agda37
-rw-r--r--test/fail/MagicWith.err5
-rw-r--r--test/fail/Makefile165
-rw-r--r--test/fail/MalformedModuleNameInIMPORT.agda3
-rw-r--r--test/fail/MalformedModuleNameInIMPORT.err3
-rw-r--r--test/fail/MatchOnIrrelevantData1.agda21
-rw-r--r--test/fail/MatchOnIrrelevantData1.err3
-rw-r--r--test/fail/MetaAppUnderLambda.agda21
-rw-r--r--test/fail/MetaAppUnderLambda.err4
-rw-r--r--test/fail/MetaCannotDependOn.agda14
-rw-r--r--test/fail/MetaCannotDependOn.err6
-rw-r--r--test/fail/MetaOccursInItself.agda16
-rw-r--r--test/fail/MetaOccursInItself.err3
-rw-r--r--test/fail/MisformedTypeSignature.agda5
-rw-r--r--test/fail/MisformedTypeSignature.err3
-rw-r--r--test/fail/MissingDefinition.agda5
-rw-r--r--test/fail/MissingDefinition.err2
-rw-r--r--test/fail/MissingTypeSignature.agda10
-rw-r--r--test/fail/MissingTypeSignature.err4
-rw-r--r--test/fail/MissingTypeSignatureInMutual.agda11
-rw-r--r--test/fail/MissingTypeSignatureInMutual.err2
-rw-r--r--test/fail/MissingWithClauses.agda7
-rw-r--r--test/fail/MissingWithClauses.err2
-rw-r--r--test/fail/ModuleArityMismatch.agda8
-rw-r--r--test/fail/ModuleArityMismatch.err3
-rw-r--r--test/fail/ModuleDefinedInOtherFile.agda5
-rw-r--r--test/fail/ModuleDefinedInOtherFile.err8
-rw-r--r--test/fail/ModuleDoesntExport.agda7
-rw-r--r--test/fail/ModuleDoesntExport.err4
-rw-r--r--test/fail/ModuleInMutual.agda14
-rw-r--r--test/fail/ModuleInMutual.err2
-rw-r--r--test/fail/ModuleNameDoesntMatchFileName.agda1
-rw-r--r--test/fail/ModuleNameDoesntMatchFileName.err8
-rw-r--r--test/fail/MultipleFixityDecl.agda9
-rw-r--r--test/fail/MultipleFixityDecl.err7
-rw-r--r--test/fail/NaturalAndLevelDifferent.agda8
-rw-r--r--test/fail/NaturalAndLevelDifferent.err3
-rw-r--r--test/fail/NeedOptionCopatterns.agda13
-rw-r--r--test/fail/NeedOptionCopatterns.err3
-rw-r--r--test/fail/Negative1.agda5
-rw-r--r--test/fail/Negative1.err3
-rw-r--r--test/fail/Negative2.agda9
-rw-r--r--test/fail/Negative2.err4
-rw-r--r--test/fail/Negative3.agda6
-rw-r--r--test/fail/Negative3.err4
-rw-r--r--test/fail/Negative4.agda9
-rw-r--r--test/fail/Negative4.err3
-rw-r--r--test/fail/Negative5.agda5
-rw-r--r--test/fail/Negative5.err5
-rw-r--r--test/fail/NoBindingForBuiltin.agda4
-rw-r--r--test/fail/NoBindingForBuiltin.err4
-rw-r--r--test/fail/NoNoTerminationCheck.agda14
-rw-r--r--test/fail/NoNoTerminationCheck.err5
-rw-r--r--test/fail/NoPanic.agda31
-rw-r--r--test/fail/NoPanic.err4
-rw-r--r--test/fail/NoParseForApplication.agda13
-rw-r--r--test/fail/NoParseForApplication.err3
-rw-r--r--test/fail/NoParseForLHS.agda14
-rw-r--r--test/fail/NoParseForLHS.err4
-rw-r--r--test/fail/NoRHSRequiresAbsurdPattern.agda12
-rw-r--r--test/fail/NoRHSRequiresAbsurdPattern.err4
-rw-r--r--test/fail/NoSuchBuiltinName.agda6
-rw-r--r--test/fail/NoSuchBuiltinName.err3
-rw-r--r--test/fail/NoSuchModule.agda3
-rw-r--r--test/fail/NoSuchModule.err4
-rw-r--r--test/fail/NoSuchPrimitiveFunction.agda7
-rw-r--r--test/fail/NoSuchPrimitiveFunction.err3
-rw-r--r--test/fail/NoTerminationCheck1.agda6
-rw-r--r--test/fail/NoTerminationCheck1.err3
-rw-r--r--test/fail/NoTerminationCheck2.agda8
-rw-r--r--test/fail/NoTerminationCheck2.err3
-rw-r--r--test/fail/NoTerminationCheck3.agda12
-rw-r--r--test/fail/NoTerminationCheck3.err4
-rw-r--r--test/fail/NoTerminationCheck4.agda13
-rw-r--r--test/fail/NoTerminationCheck4.err3
-rw-r--r--test/fail/NonDependentConstructorType.agda10
-rw-r--r--test/fail/NonDependentConstructorType.err3
-rw-r--r--test/fail/NonLinearConstraint.agda10
-rw-r--r--test/fail/NonLinearConstraint.err4
-rw-r--r--test/fail/NotAModuleExpr.agda6
-rw-r--r--test/fail/NotAModuleExpr.err3
-rw-r--r--test/fail/NotAValidLetBinding.agda11
-rw-r--r--test/fail/NotAValidLetBinding.err7
-rw-r--r--test/fail/NotAnExpression.agda6
-rw-r--r--test/fail/NotAnExpression.err3
-rw-r--r--test/fail/NotApplyingInDontCareTriggersInternalError.agda62
-rw-r--r--test/fail/NotApplyingInDontCareTriggersInternalError.err3
-rw-r--r--test/fail/NotInScope.agda10
-rw-r--r--test/fail/NotInScope.err5
-rw-r--r--test/fail/NotLeqSort.agda6
-rw-r--r--test/fail/NotLeqSort.err4
-rw-r--r--test/fail/NotStrictlyPositive.agda14
-rw-r--r--test/fail/NotStrictlyPositive.err4
-rw-r--r--test/fail/NotStrictlyPositiveInMutual.agda10
-rw-r--r--test/fail/NotStrictlyPositiveInMutual.err5
-rw-r--r--test/fail/NotStronglyRigidOccurrence.agda18
-rw-r--r--test/fail/NotStronglyRigidOccurrence.err4
-rw-r--r--test/fail/NothingAppliedToHiddenArg.agda4
-rw-r--r--test/fail/NothingAppliedToHiddenArg.err4
-rw-r--r--test/fail/OccursCheck.agda14
-rw-r--r--test/fail/OccursCheck.err3
-rw-r--r--test/fail/OccursCheck1.agda19
-rw-r--r--test/fail/OccursCheck1.err3
-rw-r--r--test/fail/OpenInMutual.agda12
-rw-r--r--test/fail/OpenInMutual.err2
-rw-r--r--test/fail/OpenPublicPlusTypeError.agda12
-rw-r--r--test/fail/OpenPublicPlusTypeError.err3
-rw-r--r--test/fail/ParseError.agda1
-rw-r--r--test/fail/ParseError.err3
-rw-r--r--test/fail/ParseForallAbsurd.agda8
-rw-r--r--test/fail/ParseForallAbsurd.err3
-rw-r--r--test/fail/PatternMatchingOnCodata.agda31
-rw-r--r--test/fail/PatternMatchingOnCodata.err4
-rw-r--r--test/fail/PatternShadowsConstructor.agda14
-rw-r--r--test/fail/PatternShadowsConstructor.err3
-rw-r--r--test/fail/PatternShadowsConstructor2.agda13
-rw-r--r--test/fail/PatternShadowsConstructor2.err3
-rw-r--r--test/fail/PatternSynonymAmbiguousParse.agda8
-rw-r--r--test/fail/PatternSynonymAmbiguousParse.err7
-rw-r--r--test/fail/PatternSynonymMutualBlock.agda7
-rw-r--r--test/fail/PatternSynonymMutualBlock.err2
-rw-r--r--test/fail/PatternSynonymNoParse.agda3
-rw-r--r--test/fail/PatternSynonymNoParse.err4
-rw-r--r--test/fail/PatternSynonymOverapplied.agda10
-rw-r--r--test/fail/PatternSynonymOverapplied.err3
-rw-r--r--test/fail/PatternSynonymOverapplied2.agda11
-rw-r--r--test/fail/PatternSynonymOverapplied2.err4
-rw-r--r--test/fail/PatternSynonymOverloaded.agda8
-rw-r--r--test/fail/PatternSynonymOverloaded.err5
-rw-r--r--test/fail/PatternSynonymParameterisedModule.agda14
-rw-r--r--test/fail/PatternSynonymParameterisedModule.err4
-rw-r--r--test/fail/PatternSynonymUnderapplied.agda11
-rw-r--r--test/fail/PatternSynonymUnderapplied.err4
-rw-r--r--test/fail/PatternSynonymsErrorLocation.agda69
-rw-r--r--test/fail/PatternSynonymsErrorLocation.err3
-rw-r--r--test/fail/PositivityCheckNeedsLinearityCheck.agda30
-rw-r--r--test/fail/PositivityCheckNeedsLinearityCheck.err3
-rw-r--r--test/fail/PostulateInMutual.agda9
-rw-r--r--test/fail/PostulateInMutual.err2
-rw-r--r--test/fail/PragmaInMutual.agda14
-rw-r--r--test/fail/PragmaInMutual.err2
-rw-r--r--test/fail/PragmasApplyOnlyToCurrentModule.agda5
-rw-r--r--test/fail/PragmasApplyOnlyToCurrentModule.err8
-rw-r--r--test/fail/PrimitiveInMutual.agda14
-rw-r--r--test/fail/PrimitiveInMutual.err2
-rw-r--r--test/fail/Productivity.agda51
-rw-r--r--test/fail/Productivity.err16
-rw-r--r--test/fail/PropNoMore.agda5
-rw-r--r--test/fail/PropNoMore.err3
-rw-r--r--test/fail/PruningNonMillerPatternFail.agda24
-rw-r--r--test/fail/PruningNonMillerPatternFail.err7
-rw-r--r--test/fail/PublicWithoutOpen.agda5
-rw-r--r--test/fail/PublicWithoutOpen.err4
-rw-r--r--test/fail/PublicWithoutOpen2.agda3
-rw-r--r--test/fail/PublicWithoutOpen2.err4
-rw-r--r--test/fail/PureLambda.agda15
-rw-r--r--test/fail/PureLambda.err3
-rw-r--r--test/fail/RecordConstructorOutOfScope.agda7
-rw-r--r--test/fail/RecordConstructorOutOfScope.err5
-rw-r--r--test/fail/RecordConstructorsInErrorMessages.agda32
-rw-r--r--test/fail/RecordConstructorsInErrorMessages.err3
-rw-r--r--test/fail/RecordUpdatePreservesType.agda18
-rw-r--r--test/fail/RecordUpdatePreservesType.err3
-rw-r--r--test/fail/ReifyProjectionLike.agda32
-rw-r--r--test/fail/ReifyProjectionLike.err4
-rw-r--r--test/fail/RepeatedVariableInPattern.agda6
-rw-r--r--test/fail/RepeatedVariableInPattern.err3
-rw-r--r--test/fail/Rewrite.agda13
-rw-r--r--test/fail/Rewrite.err4
-rw-r--r--test/fail/SafeFlagNoTermination.agda7
-rw-r--r--test/fail/SafeFlagNoTermination.err2
-rw-r--r--test/fail/SafeFlagNoTermination.flags1
-rw-r--r--test/fail/SafeFlagPostulate.agda5
-rw-r--r--test/fail/SafeFlagPostulate.err4
-rw-r--r--test/fail/SafeFlagPostulate.flags1
-rw-r--r--test/fail/SafeFlagPragmas.agda11
-rw-r--r--test/fail/SafeFlagPragmas.err6
-rw-r--r--test/fail/SafeFlagPragmas.flags1
-rw-r--r--test/fail/SafeFlagPrimTrustMe.agda9
-rw-r--r--test/fail/SafeFlagPrimTrustMe.err4
-rw-r--r--test/fail/SafeFlagPrimTrustMe.flags1
-rw-r--r--test/fail/ScopeIrrelevantRecordField.agda10
-rw-r--r--test/fail/ScopeIrrelevantRecordField.err5
-rw-r--r--test/fail/SetOmega.agda9
-rw-r--r--test/fail/SetOmega.err5
-rw-r--r--test/fail/ShadowModule.agda10
-rw-r--r--test/fail/ShadowModule.err5
-rw-r--r--test/fail/ShadowModule2.agda11
-rw-r--r--test/fail/ShadowModule2.err6
-rw-r--r--test/fail/ShapeIrrelevantIndex.agda13
-rw-r--r--test/fail/ShapeIrrelevantIndex.err3
-rw-r--r--test/fail/ShapeIrrelevantIndexNoBecauseOfRecursion.agda29
-rw-r--r--test/fail/ShapeIrrelevantIndexNoBecauseOfRecursion.err3
-rw-r--r--test/fail/ShapeIrrelevantParameterNoBecauseOfRecursion.agda25
-rw-r--r--test/fail/ShapeIrrelevantParameterNoBecauseOfRecursion.err3
-rw-r--r--test/fail/ShouldBeASort.agda6
-rw-r--r--test/fail/ShouldBeASort.err5
-rw-r--r--test/fail/ShouldBeApplicationOf.agda9
-rw-r--r--test/fail/ShouldBeApplicationOf.err3
-rw-r--r--test/fail/ShouldBeAppliedToTheDatatypeParameters.agda16
-rw-r--r--test/fail/ShouldBeAppliedToTheDatatypeParameters.err3
-rw-r--r--test/fail/ShouldBeEmpty.agda13
-rw-r--r--test/fail/ShouldBeEmpty.err5
-rw-r--r--test/fail/ShouldBePi.agda15
-rw-r--r--test/fail/ShouldBePi.err3
-rw-r--r--test/fail/ShouldEndInApplicationOfTheDatatype.agda16
-rw-r--r--test/fail/ShouldEndInApplicationOfTheDatatype.err4
-rw-r--r--test/fail/SizeUnsolvedConstraintsInTypeSignature.agda24
-rw-r--r--test/fail/SizeUnsolvedConstraintsInTypeSignature.err3
-rw-r--r--test/fail/SizedTypesFunctionFromSuccSize.agda21
-rw-r--r--test/fail/SizedTypesFunctionFromSuccSize.err6
-rw-r--r--test/fail/SizedTypesRigidVarClash.agda19
-rw-r--r--test/fail/SizedTypesRigidVarClash.err3
-rw-r--r--test/fail/SizedTypesScopeExtrusion.agda28
-rw-r--r--test/fail/SizedTypesScopeExtrusion.err3
-rw-r--r--test/fail/SizedTypesVarSwap.agda20
-rw-r--r--test/fail/SizedTypesVarSwap.err6
-rw-r--r--test/fail/SkipParametersInConstructorReification.agda26
-rw-r--r--test/fail/SkipParametersInConstructorReification.err4
-rw-r--r--test/fail/SortDependingOnIndex.agda6
-rw-r--r--test/fail/SortDependingOnIndex.err4
-rw-r--r--test/fail/SplitOnIrrelevant.agda11
-rw-r--r--test/fail/SplitOnIrrelevant.err3
-rw-r--r--test/fail/StrangeRecursiveUnquote.agda12
-rw-r--r--test/fail/StrangeRecursiveUnquote.err4
-rw-r--r--test/fail/StronglyRigidOccurrence.agda14
-rw-r--r--test/fail/StronglyRigidOccurrence.err3
-rw-r--r--test/fail/SubjectReduction.agda39
-rw-r--r--test/fail/SubjectReduction.err5
-rw-r--r--test/fail/SyntaxForOperators.agda5
-rw-r--r--test/fail/SyntaxForOperators.err4
-rw-r--r--test/fail/Tabs.agda6
-rw-r--r--test/fail/Tabs.err4
-rw-r--r--test/fail/TabsInPragmas.agda3
-rw-r--r--test/fail/TabsInPragmas.err4
-rw-r--r--test/fail/TermSplicing1.agda6
-rw-r--r--test/fail/TermSplicing1.err3
-rw-r--r--test/fail/TermSplicingLooping.agda8
-rw-r--r--test/fail/TermSplicingLooping.err5
-rw-r--r--test/fail/TermSplicingOutOfScope.agda7
-rw-r--r--test/fail/TermSplicingOutOfScope.err3
-rw-r--r--test/fail/TerminationInfiniteRecord.agda15
-rw-r--r--test/fail/TerminationInfiniteRecord.err6
-rw-r--r--test/fail/TerminationLambda.agda9
-rw-r--r--test/fail/TerminationLambda.err6
-rw-r--r--test/fail/TerminationNoArgs.agda4
-rw-r--r--test/fail/TerminationNoArgs.err6
-rw-r--r--test/fail/TerminationOnIrrelevant.agda24
-rw-r--r--test/fail/TerminationOnIrrelevant.err3
-rw-r--r--test/fail/TerminationRecordPatternCoerce.agda58
-rw-r--r--test/fail/TerminationRecordPatternCoerce.err8
-rw-r--r--test/fail/TerminationRecordPatternLie.agda45
-rw-r--r--test/fail/TerminationRecordPatternLie.err8
-rw-r--r--test/fail/TerminationRecordPatternListAppend.agda41
-rw-r--r--test/fail/TerminationRecordPatternListAppend.err3
-rw-r--r--test/fail/TerminationWithInsufficientDepth.agda21
-rw-r--r--test/fail/TerminationWithInsufficientDepth.err7
-rw-r--r--test/fail/TerminationWithMerge.agda31
-rw-r--r--test/fail/TerminationWithMerge.err3
-rw-r--r--test/fail/TooManyArgumentsInLHS.agda6
-rw-r--r--test/fail/TooManyArgumentsInLHS.err4
-rw-r--r--test/fail/TooManyFields.agda11
-rw-r--r--test/fail/TooManyFields.err4
-rw-r--r--test/fail/TrustMe.agda21
-rw-r--r--test/fail/TrustMe.err3
-rw-r--r--test/fail/TwoCompilers.agda1
-rw-r--r--test/fail/TwoCompilers.err40
-rw-r--r--test/fail/TwoCompilers.flags1
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness1.agda67
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness1.err12
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness2.agda14
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness2.err5
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness3.agda12
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness3.err5
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness4.agda20
-rw-r--r--test/fail/TypeConstructorsWhichPreserveGuardedness4.err7
-rw-r--r--test/fail/UnequalHiding.agda7
-rw-r--r--test/fail/UnequalHiding.err6
-rw-r--r--test/fail/UnequalRelevance.agda11
-rw-r--r--