3 Commits

Author	SHA1	Message	Date
Travis Staton	591d210bdd	make keyword-identifiers pass with kind inference ... Lower-cased abilities generate broken constructors. For example: ``` unique ability foo where bar : () ``` generates the following type for bar: ``` forall foo. {foo} () ``` where ``` {foo} () ``` is expected. This breaks kind inference which expects ability constructors to return the declared effect. Once this lower-cased abilities are fixed then this commit can be reverted.	2023-09-20 15:37:10 -04:00
Nicole Prindle	d1e143c918	Hide typechecking output in keyword-identifer transcript	2022-01-31 18:04:58 -05:00
Nicole Prindle	7941216d8d	Add transcript to check that keywords can start identifiers	2022-01-31 15:45:22 -05:00