661 commits

Author	SHA1	Message	Date
Ayaz Hafiz	4839c1f1ce	Clippy doesn't like stack spills. Sorry clippy!	2022-07-21 12:26:42 -04:00
Ayaz Hafiz	7fbdbca4c6	Add multi-branch bound pattern solve test	2022-07-21 12:22:27 -04:00
Ayaz Hafiz	92e363f4ef	Add non-basis test gen case for compiling branches with unbound patterns	2022-07-21 12:19:46 -04:00
Ayaz Hafiz	78dc82867a	Report errors for identifiers not bound in all patterns of a branch	2022-07-21 12:15:05 -04:00
Ayaz Hafiz	ce8b50caea	Support bound variables in multiple patterns	2022-07-21 11:40:09 -04:00
Ayaz Hafiz	bf8fc0d0de	Permit binding variables multiple itmes in when branches	2022-07-21 11:06:40 -04:00
Ayaz Hafiz	29b37a10df	Correctly use module name in linked functions	2022-07-21 09:02:04 -04:00
Folkert de Vries	71edc445d2	Merge pull request #3587 from rtfeldman/i3571 ... Compile higher-order low-level calls that take functions with no closure args	2022-07-20 08:55:54 +02:00
Brian Carroll	8e4fd629eb	Wasm: Handle closure data that's a lambda set with no closure data	2022-07-20 00:28:36 +01:00
Ayaz Hafiz	2cdb951752	Compile higher-order low-level calls that take functions with no closure args ... Closes #3571	2022-07-19 15:50:36 -04:00
Ayaz Hafiz	8f5580c0a5	Clippy	2022-07-19 15:04:01 -04:00
Ayaz Hafiz	b4f45215ea	Fix solve tests	2022-07-19 15:02:52 -04:00
Ayaz Hafiz	3a57af8731	Format Json.roc	2022-07-19 14:30:20 -04:00
Ayaz Hafiz	cf158d21ed	Fix comment	2022-07-19 14:30:20 -04:00
Ayaz Hafiz	7586a8a083	Check complete ability implementations during canonicalization	2022-07-19 14:30:20 -04:00
Ayaz Hafiz	37ab06b0a3	Reject implementations that don't point to abilities	2022-07-19 14:30:19 -04:00
Ayaz Hafiz	a53de2e05c	Add a comment	2022-07-19 14:30:19 -04:00
Ayaz Hafiz	e4af8af1a3	Report duplicate implementations for ability members	2022-07-19 14:30:19 -04:00
Ayaz	7b9b855dcc	Merge pull request #3579 from rtfeldman/can-abilities ... Canonicalize syntactic abilities	2022-07-19 13:30:12 -05:00
Ayaz Hafiz	666becad87	Clippy	2022-07-19 08:14:12 -04:00
Ayaz Hafiz	92b5b0ef42	Fix gen tests	2022-07-18 22:19:10 -04:00
Ayaz Hafiz	0b74620a8f	Update mono tests	2022-07-18 22:15:22 -04:00
Ayaz Hafiz	c189f27fb0	Fix mono tests	2022-07-18 22:14:47 -04:00
Ayaz Hafiz	f3105eca6e	Format Json.roc	2022-07-18 22:14:39 -04:00
Folkert	fc891c0956	the lazier thing	2022-07-18 22:13:25 -04:00
Richard Feldman	2b0bfbb590	Merge pull request #3543 from rtfeldman/http-sync ... Http example	2022-07-18 21:35:23 -04:00
Ayaz Hafiz	d2da395619	Syntactic ability links in solve	2022-07-18 18:33:28 -04:00
Ayaz Hafiz	4d0c1e6a9c	Use insta for inferred queried tests	2022-07-18 17:55:02 -04:00
Ayaz Hafiz	159ddd3906	Fix gen tests	2022-07-18 17:55:02 -04:00
Ayaz Hafiz	17f53a23a5	Update tests	2022-07-18 17:55:02 -04:00
Ayaz Hafiz	f8cd56da41	Register specializing symbol in can opaques	2022-07-18 17:55:01 -04:00
Ayaz Hafiz	c2154ac311	Support shorthand ability implementation syntax	2022-07-18 17:55:01 -04:00
Ayaz Hafiz	96b32c36cb	Introdue ability member names before other value names	2022-07-18 17:55:01 -04:00
Ayaz Hafiz	e672ce9ebd	First pass at canonicalizing and reporting syntactic abilities	2022-07-18 17:55:01 -04:00
Ayaz Hafiz	d118e5afbc	More can abilities	2022-07-18 17:55:01 -04:00
Ayaz Hafiz	e798eb3037	Lookup symbols in scope when the module ID is already known	2022-07-18 17:55:00 -04:00
Richard Feldman	c859ce0b23	Use Opaque over Alias	2022-07-18 17:55:00 -04:00
Richard Feldman	73cd5b8c7c	Parse ability definitions using record exprs, not types	2022-07-18 17:55:00 -04:00
Richard Feldman	cb084c9738	Revise ExtractSpaces for HasImpls ... Make it produce the one non-space variant, so you don't have to match on it afterwards	2022-07-18 17:54:59 -04:00
Richard Feldman	a85b70c355	Merge pull request #3578 from rtfeldman/no-host-exposed-in-test ... don't generate host-exposed functions/values in tests	2022-07-18 17:13:47 -04:00
Ayaz	d5f36a6780	Merge pull request #3568 from rtfeldman/list-maptry	2022-07-18 15:22:38 -05:00
Brian Carroll	00d96d5a8b	Merge branch 'trunk' of github.com:rtfeldman/roc into http-sync	2022-07-18 21:02:32 +01:00
Folkert de Vries	4775de5db9	Merge pull request #3577 from rtfeldman/encode-default ... Import Encode in all modules	2022-07-18 21:06:35 +02:00
Folkert	b01709c566	don't generate host-exposed functions/values in tests	2022-07-18 19:37:27 +02:00
Folkert de Vries	ca38ec4eb5	Merge pull request #3541 from rtfeldman/rocasync ... Changes to get roc-async working	2022-07-18 19:22:07 +02:00
Ayaz Hafiz	efc11bd7ed	Wasm sized and decode for void values	2022-07-18 12:37:48 -04:00
Ayaz Hafiz	72c6cf7801	Import Encode in all modules	2022-07-18 12:17:06 -04:00
Ayaz Hafiz	6802c3e2b1	Turn on tests that now work	2022-07-18 11:29:27 -04:00
Ayaz Hafiz	7df18f82a2	Mark var only for debug builds	2022-07-18 11:21:30 -04:00
Richard Feldman	b9bded716c	Fix return type in test result	2022-07-18 11:18:30 -04:00