376 commits

Author	SHA1	Message	Date
Folkert	4ce7221c39	optimize Type::symbols()	2022-03-10 22:29:37 +01:00
Folkert	831a90e310	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-03-08 22:36:06 +01:00
Folkert de Vries	ce1839133b	Merge pull request #2661 from rtfeldman/i/2541 ... Report invalid extension types during canonicalization	2022-03-07 16:12:04 +01:00
ayazhafiz	47e4904075	Chase aliases when checking for valid extension types	2022-03-06 22:17:58 -05:00
Folkert	ba2f9ba779	Merge remote-tracking branch 'origin/trunk' into content-flattype-copy	2022-03-06 20:52:04 +01:00
Folkert de Vries	27f367ec23	Merge pull request #2656 from rtfeldman/type-to-var-tco ... Optimize type_to_variable	2022-03-06 20:44:14 +01:00
Folkert	a9c8e2dc3e	copy instead of clone Content	2022-03-06 19:07:18 +01:00
Folkert	1ff8261a66	make Content Copy	2022-03-06 18:51:23 +01:00
Folkert	29bf4195a1	make FlatType Copy	2022-03-06 18:15:26 +01:00
Folkert	41e56519ef	prevent a subs lookup by reserving a Variable	2022-03-06 18:00:25 +01:00
Folkert	47a1e5f816	Merge branch 'type-to-var-tco' into builtins-in-roc	2022-03-06 17:00:57 +01:00
Folkert	8b526e4f58	clippy	2022-03-06 14:54:19 +01:00
Folkert	a37a895016	optimize tag name cache	2022-03-06 14:11:33 +01:00
Folkert de Vries	21ca144de9	formatting	2022-03-06 01:04:54 +01:00
Folkert	628f14fa7b	fix accidentally remove line	2022-03-06 00:35:45 +01:00
Folkert	6906d64ec3	optimize occurs	2022-03-05 23:45:15 +01:00
Folkert	97d9027271	improve pool_to_rank_table	2022-03-05 23:44:57 +01:00
Folkert	69be422d83	optimize occurs	2022-03-05 23:37:41 +01:00
Folkert	fd179c8b4e	improve pool_to_rank_table	2022-03-05 23:07:57 +01:00
Folkert	adf4ad22a5	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-03-05 20:55:15 +01:00
Folkert	80956061dd	fix formatting bug in type pretty-print	2022-03-05 15:03:59 +01:00
Folkert	ec099bbdec	WIP	2022-03-02 14:46:30 +01:00
Folkert	bd31503855	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-02-28 18:55:20 +01:00
ayazhafiz	059c324268	Error reporting for type mismatches involving opaques	2022-02-27 00:10:12 -05:00
ayazhafiz	b6d7229525	Infer + checking tests for opaques	2022-02-27 00:10:12 -05:00
ayazhafiz	86aa0df661	Add constraint generation for opaque types	2022-02-27 00:10:11 -05:00
Richard Feldman	d3acf34415	Merge pull request #1591 from rtfeldman/single-quote-literal ... Single Quote literal	2022-02-26 23:27:46 -05:00
ayazhafiz	a6419ccd59	Remove unnecessary debug assert	2022-02-26 15:57:57 -05:00
ayazhafiz	4742847ba9	Wrap content that is unwrapped and passes through a type alias correctly ... Closes #2592	2022-02-26 15:08:27 -05:00
Brendan Hansknecht	f7c0e2ef19	Merge remote-tracking branch 'origin/trunk' into single-quote-literal	2022-02-24 10:13:39 -08:00
Folkert	d1d7cfef44	reimplement Result	2022-02-23 17:52:13 +01:00
ayazhafiz	075c5b3eee	Typo	2022-02-21 18:36:28 -05:00
ayazhafiz	90de82e295	Validation of opaques during canonicalization	2022-02-21 18:25:19 -05:00
ayazhafiz	6b53692aac	Canonicalize opaque types	2022-02-20 13:47:01 -05:00
Brian Carroll	3e511acbcc	Fix Wasm compile errors	2022-02-14 21:10:45 +00:00
ayazhafiz	67bb5b14f6	Examples as code block not doc	2022-02-12 21:08:23 -05:00
ayazhafiz	b8defcbc75	Use freshly-instantiated lambda variables	2022-02-12 20:03:39 -05:00
ayazhafiz	4dbdf3a58b	Check that instantiated lambda set vars indeed only have vars	2022-02-12 11:32:32 -05:00
ayazhafiz	33148cb1a4	Functions are compound types	2022-02-12 10:54:57 -05:00
ayazhafiz	c064c50036	Catch illegal alias cycles more strictly ... Part of #2458	2022-02-10 22:12:33 -05:00
ayazhafiz	13552b11a6	Check self- and mutually-recursive aliases in the same pass	2022-02-10 08:15:48 -05:00
Brian Carroll	c61a18a200	Use custom macros for static assertions	2022-02-09 17:16:43 +00:00
Brian Carroll	d8b76b317b	repl: replace [u8; 8] with u64 in static assertions	2022-02-09 16:34:11 +00:00
Brian Carroll	8e370a32b6	repl: update some static_asserts for 32-bit compiler build	2022-02-09 16:34:11 +00:00
ayazhafiz	0d241f3c3c	Only expand ErrorType::Range's type range when range unification fails	2022-02-06 15:04:13 -05:00
ayazhafiz	c80c842a93	Clippy	2022-02-06 15:04:12 -05:00
ayazhafiz	8dc92ccd97	Second pass	2022-02-06 15:04:12 -05:00
ayazhafiz	ae5766fdf5	Folkert's suggestions	2022-02-01 23:42:28 -05:00
ayazhafiz	df8113ce32	Typecheck numeric suffixes in patterns	2022-02-01 23:35:14 -05:00
ayazhafiz	9f72b2710f	Run linter	2022-02-01 22:49:52 -05:00