Edwin Brady 66930113bd Compile lists as scheme lists ... This also involves adding a flag to constructors and case alternatives in CExp which say whether it's a NIL or CONS. Currently, we only do this for Prelude.List, which already has an effect, but soon I'll extend this to work for all list-shaped things and rather than being hard coded. We could also imagine spotting other shapes (enumerations especially) for code generators to spot as they see fit. This will require code generators to be fixed to recognise the new ConInfo flag, but you can just ignore it. Bootstrap code also updated, because we don't currently have a way of having separate support.ss/rkt for the bootstrap and normal builds!		2021-05-08 15:42:51 +01:00
..
CatCases.idr	[ fix #1220 ] Update arity of constuctors to reflect erased args (#1225)	2021-03-29 15:08:06 +01:00
expected	Compile lists as scheme lists	2021-05-08 15:42:51 +01:00
Main.idr	[ fix #1220 ] Update arity of constuctors to reflect erased args (#1225)	2021-03-29 15:08:06 +01:00
run	Add Agda-like builtins (#1253)	2021-04-22 13:08:32 +01:00