11 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
sneeker	048910f945	compile matches into executable decision trees	2020-02-28 12:00:00 +00:00
sneeker	a3c6216bb6	analyse finite inhabitants of recursive type declarations	2020-02-24 12:00:00 +00:00
sneeker	8d303292d9	construct missing-case witnesses for finite and integer domains	2020-02-19 12:00:00 +00:00
sneeker	06520bb54c	check match coverage across multiple arguments	2020-02-14 12:00:00 +00:00
sneeker	7cead3848e	detect redundant clauses through usefulness analysis	2020-02-10 12:00:00 +00:00
sneeker	e02c5b3559	specialise matrices by constructors and default cases	2020-02-05 12:00:00 +00:00
sneeker	c19434936d	represent pattern matrices and typed occurrences	2020-01-31 12:00:00 +00:00
sneeker	1963651fbb	evaluate source matches with ordered clause semantics	2020-01-27 12:00:00 +00:00
sneeker	e8d5e19344	typecheck nested patterns and clause expressions	2020-01-22 12:00:00 +00:00
sneeker	c08983f97e	resolve constructors and validate pattern bindings	2020-01-17 12:00:00 +00:00
sneeker	1f2da0302b	parse algebraic declarations and ordered match clauses	2020-01-13 12:00:00 +00:00