60 commits

Author	SHA1	Message	Date
Brendan Hansknecht	5e8974177c	avoid bloating parse expr size	2023-12-02 21:18:32 -08:00
Brendan Hansknecht	3966d63e2f	add src and location to dbg	2023-12-02 21:18:31 -08:00
Brendan Hansknecht	b7f72eff86	add basic Dbg desugaring and LowLevelDbg	2023-11-29 21:05:48 -08:00
Richard Feldman	9fe08cafd0	Render docs for abilities, tuples, and as	2023-08-11 20:59:40 -04:00
Richard Feldman	2da41be29f	Merge remote-tracking branch 'origin/main' into abilities-syntax	2023-08-10 20:36:01 -04:00
Folkert	ef39bad7c6	auto clippy fixes	2023-07-10 18:27:08 +02:00
Bryce Miller	afa5aaba94	has -> implements	2023-06-10 13:30:54 -04:00
Bryce Miller	cb08225bf0	| -> where	2023-06-05 20:19:00 -04:00
Bryce Miller	46cb45f717	loc_has -> loc_implements	2023-05-20 19:24:08 -04:00
Bryce Miller	d700a6a6e6	has -> implements in comments	2023-05-20 19:19:11 -04:00
Bryce Miller	10d92bf0f3	ast::ImplementsAbilities::Has -> ... ast::ImplementsAbilities::Implements	2023-05-20 19:16:13 -04:00
Bryce Miller	4b90948fcf	ast::HasAbilities -> ast::ImplementsAbilities	2023-05-20 19:13:01 -04:00
Bryce Miller	9eb2180a0f	ast::HasAbility -> ast::ImplementsAbility	2023-05-20 08:27:42 -04:00
Bryce Miller	413ccb24ad	ast::HasImpls -> ast::AbilityImpls	2023-05-20 08:24:02 -04:00
Bryce Miller	ebbdae6c28	ast::HasClause -> ast::ImplementsClause	2023-05-20 08:20:44 -04:00
Bryce Miller	64c34a5c6d	ast::Has -> ast::Implements	2023-05-20 08:12:20 -04:00
Agustin Zubiaga	d1feb00170	Track spaces between : and <- in record builders	2023-05-17 11:49:06 -03:00
Agustin Zubiaga	d2a57112fd	Unapplied record builder error	2023-05-08 20:16:38 -03:00
Agustin Zubiaga	6670fbb1ab	Multiple record builder error	2023-05-08 19:26:47 -03:00
Agustin Zubiaga	735721769c	Record Builder parsing	2023-05-05 23:26:20 -03:00
Brendan Hansknecht	6302a8d4b5	switch from type annotation to type variable	2023-04-09 14:03:33 -07:00
Brendan Hansknecht	56ed985cc9	pass through correct path and type for ingested file	2023-04-09 14:03:32 -07:00
Brendan Hansknecht	f4411afbbc	get basic wiring of a value through the compiler	2023-04-09 14:03:31 -07:00
Joshua Warner	5a6be05ead	implement mono / lowering for tuples	2023-02-07 18:54:50 -08:00
Joshua Warner	a1cd114198	Add a Malformed trait, and assert that 'passing' tests don't produce a malformed result	2023-01-25 21:01:05 -08:00
Joshua Warner	0b8e68f70d	Fix approximately a bajillion fmt and parsing bugs ... (discovered by fuzzing) There's more to come, but this seems like a good batch for now.	2023-01-13 18:20:44 -08:00
Joshua Warner	94070e8ba6	Improve parsing of scalar literals ... * Unify parsing of string literals and scalar literals, to (e.g.) ensure escapes are handled uniformly. Notably, this makes unicode escapes valid in scalar literals. * Add a variety of custom error messages about specific failure cases of parsing string/scalar literals. For example, if we're expecting a string (e.g. a package name in the header) and the user tried using single quotes, give a clear message about that. * Fix formatting of unicode escapes (they previously used {}, now correctly use () to match roc strings)	2023-01-07 15:12:52 -08:00
Folkert	8305d078a0	add as for list rest patterns	2022-12-30 23:17:29 +01:00
Folkert	aff70bb6bd	refactor PatternAs	2022-12-30 18:22:10 +01:00
Folkert	e9196f3c0b	parse and format pattern as	2022-12-30 17:50:17 +01:00
Richard Feldman	da595a86b0	Parse package module header	2022-12-04 06:26:44 -05:00
Richard Feldman	a0bc105ca8	Merge pull request #4616 from roc-lang/fix-pattern-equivalent ... Fix missing cases in Pattern::equivalent	2022-11-30 12:10:09 -05:00
Joshua Warner	2b91af02df	Introduce record! combinator ... ... and refactor header parser to fully use combinators, in support of future combinator-based superpowers	2022-11-28 20:25:55 -08:00
Joshua Warner	8de153efb9	Fix missing cases in Pattern::equivalent	2022-11-28 19:47:53 -08:00
Richard Feldman	58fad36f9d	Merge pull request #4460 from roc-lang/crash ... Crash	2022-11-25 17:18:21 -05:00
Joshua Warner	a1432d1a14	Fix TypeAnnotation::Tuple comment	2022-11-24 14:29:50 -08:00
Ayaz Hafiz	fee01166c7	Add crash as a keyword	2022-11-24 14:46:49 -06:00
Ayaz	848c18f996	Merge pull request #4567 from joshuawarner32/tuple-type-annotation ... Implement tuple type parsing	2022-11-24 14:42:11 -06:00
Joshua Warner	c6b5273144	Implement tuple type parsing ... Also change some tests with newly relaxed indentation requirements, and remove an irrelevant test (since unindented close parens are now perfectly valid, the test is no longer useful).	2022-11-24 07:36:59 -08:00
Folkert	e44a8a9eed	print all the relevant info	2022-11-23 22:58:58 +01:00
Richard Feldman	49f8768271	Parse and format dbg	2022-11-22 21:08:26 -05:00
Joshua Warner	ca5d084497	Implement tuple pattern parsing ... Step 2 of N in implementing #4465	2022-11-13 16:11:57 -05:00
Joshua Warner	f4ce4bf983	Implement parsing for tuple accessor functions (.1, .2, etc) ... Step 2 of N toward implementing #4465	2022-11-12 09:56:29 -05:00
Joshua Warner	8d79182730	Actually parse to Expr::Tuple... whoops!	2022-11-11 14:21:08 -05:00
Joshua Warner	1753c9cf5b	Implement initial tuple syntax	2022-11-08 18:04:46 -05:00
Richard Feldman	c03dc17ab4	Merge remote-tracking branch 'origin/main' into repl	2022-11-05 01:04:44 -04:00
Folkert	66a1ba00eb	1.65 clippy fixes	2022-11-03 16:20:37 +01:00
Richard Feldman	e0e25a48bf	Add comment_str	2022-10-30 07:17:10 -04:00
Ayaz Hafiz	4d35ab9957	Parse list patterns	2022-10-26 17:03:22 -05:00
Ayaz Hafiz	548a235c25	Support parsing multiple abilities in a clause	2022-10-24 13:56:06 -05:00