4 Commits

Author	SHA1	Message	Date
Ara Adkins	2f404b7f08	Fix a bug with compiler metadata (#838) ... 1. The metadata objects weren't being duplicated when duplicating the IR. This meant that the later passes would write metadata multiples times into one store (reference), causing wrong behaviour at codegen time.	2020-06-16 13:52:11 +01:00
Ara Adkins	dd0f93c328	Add support for writing type signatures (#833) ... 1. Adds support for type signature syntax. 2. Lifts the type operators into metdata. 3. Uses the signatures to determine arg suspension.	2020-06-15 17:45:14 +01:00
Ara Adkins	2e0578d1b3	Clarify the syntax for type operators (#811)	2020-06-05 13:26:16 +01:00
Ara Adkins	d2f93488b3	Restructure the developer documentation (#751)	2020-05-15 11:41:26 +01:00