www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

ModeNameSize
-rw-r--r--.gitignore9L
-rw-r--r--.travis.yml51L
-rw-r--r--LICENSE-more.md28L
-rw-r--r--LICENSE.txt116L
-rw-r--r--README.md137L
-rw-r--r--phc-adt-doc/info.rkt25L
-rw-r--r--phc-adt-doc/phc-adt/.gitignore1L
-rw-r--r--phc-adt-doc/phc-adt/info.rkt4L
-rw-r--r--phc-adt-doc/phc-adt/scribblings/phc-adt-choices.scrbl124L
-rw-r--r--phc-adt-doc/phc-adt/scribblings/phc-adt-constructor.scrbl311L
-rw-r--r--phc-adt-doc/phc-adt/scribblings/phc-adt-implementation.scrbl21L
-rw-r--r--phc-adt-doc/phc-adt/scribblings/phc-adt-structure.scrbl190L
-rw-r--r--phc-adt-doc/phc-adt/scribblings/phc-adt-tagged.scrbl327L
-rw-r--r--phc-adt-doc/phc-adt/scribblings/phc-adt-variant.scrbl142L
-rw-r--r--phc-adt-doc/phc-adt/scribblings/phc-adt.scrbl87L
-rw-r--r--phc-adt-lib/info.rkt25L
-rw-r--r--phc-adt-lib/phc-adt/adt-init.rkt51L
-rw-r--r--phc-adt-lib/phc-adt/adt-second-step.rkt3L
-rw-r--r--phc-adt-lib/phc-adt/adt.hl.rkt253L
-rw-r--r--phc-adt-lib/phc-adt/check-no-overlap.rkt24L
-rw-r--r--phc-adt-lib/phc-adt/constructor.hl.rkt673L
-rw-r--r--phc-adt-lib/phc-adt/ctx.hl.rkt137L
-rw-r--r--phc-adt-lib/phc-adt/declarations.rkt14L
-rw-r--r--phc-adt-lib/phc-adt/main.rkt3L
-rw-r--r--phc-adt-lib/phc-adt/node-low-level.hl.rkt413L
-rw-r--r--phc-adt-lib/phc-adt/structure.hl.rkt124L
-rw-r--r--phc-adt-lib/phc-adt/tagged-structure-low-level.hl.rkt1790L
-rw-r--r--phc-adt-lib/phc-adt/tagged-supertype.hl.rkt153L
-rw-r--r--phc-adt-lib/phc-adt/tagged.hl.rkt718L
-rw-r--r--phc-adt-lib/phc-adt/variant.hl.rkt147L
-rw-r--r--phc-adt-test/info.rkt14L
-rw-r--r--phc-adt-test/phc-adt/test/adt-pre-declarations.rkt54L
-rw-r--r--phc-adt-test/phc-adt/test/ck.rkt49L
-rw-r--r--phc-adt-test/phc-adt/test/mailing-list-example/adt-pre-declarations.rkt5L
-rw-r--r--phc-adt-test/phc-adt/test/mailing-list-example/example.rkt53L
-rw-r--r--phc-adt-test/phc-adt/test/node-low-level-quick-test.rkt31L
-rw-r--r--phc-adt-test/phc-adt/test/row-polymorphism/adt-pre-declarations.rkt24L
-rw-r--r--phc-adt-test/phc-adt/test/row-polymorphism/test-merge.rkt40L
-rw-r--r--phc-adt-test/phc-adt/test/row-polymorphism/test-split.rkt25L
-rw-r--r--phc-adt-test/phc-adt/test/row-polymorphism/test-with-plus.rkt62L
-rw-r--r--phc-adt-test/phc-adt/test/row-polymorphism/test-with-update-only.rkt65L
-rw-r--r--phc-adt-test/phc-adt/test/row-polymorphism/test-with.rkt61L
-rw-r--r--phc-adt-test/phc-adt/test/test-adt-init-error.rkt18L
-rw-r--r--phc-adt-test/phc-adt/test/test-adt-init-no-error.rkt11L
-rw-r--r--phc-adt-test/phc-adt/test/test-adt-structure-wrapped.rkt18L
-rw-r--r--phc-adt-test/phc-adt/test/test-adt.rkt22L
-rw-r--r--phc-adt-test/phc-adt/test/test-constructor.rkt126L
-rw-r--r--phc-adt-test/phc-adt/test/test-constructor2.rkt33L
-rw-r--r--phc-adt-test/phc-adt/test/test-constructor3.rkt69L
-rw-r--r--phc-adt-test/phc-adt/test/test-define-adt.rkt195L
-rw-r--r--phc-adt-test/phc-adt/test/test-empty.rkt104L
-rw-r--r--phc-adt-test/phc-adt/test/test-structure-low-level.rkt104L
-rw-r--r--phc-adt-test/phc-adt/test/test-structure-other.rkt10L
-rw-r--r--phc-adt-test/phc-adt/test/test-structure-parametric.rkt22L
-rw-r--r--phc-adt-test/phc-adt/test/test-structure-speed.rkt23L
-rw-r--r--phc-adt-test/phc-adt/test/test-structure.rkt153L
-rw-r--r--phc-adt-test/phc-adt/test/test-structure2.rkt150L
-rw-r--r--phc-adt-test/phc-adt/test/test-tagged-call-syntax.rkt110L
-rw-r--r--phc-adt-test/phc-adt/test/test-tagged-define.rkt67L
-rw-r--r--phc-adt-test/phc-adt/test/test-tagged-parametric.rkt21L
-rw-r--r--phc-adt-test/phc-adt/test/test-tagged.rkt20L
-rw-r--r--phc-adt-test/phc-adt/test/test-variant.rkt21L
-rw-r--r--phc-adt/info.rkt12L