2092 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Folkert	46e07b276d	infer quicksort	2020-02-13 20:01:20 +01:00
Folkert	f988a3d3ee	List.get and List.set	2020-02-13 18:18:51 +01:00
Folkert	fb3aa30ede	make Alias separate from SolvedType	2020-02-13 17:35:55 +01:00
Richard Feldman	a9f0398057	Improve builtin error reporting	2020-02-13 00:15:35 -05:00
Richard Feldman	41ca39a363	Add some more builtin types	2020-02-13 00:15:35 -05:00
Richard Feldman	cbad6d98b9	Add SolvedTypes::Wildcard	2020-02-13 00:15:35 -05:00
Richard Feldman	ce0e547696	cargo fmt	2020-02-13 00:15:35 -05:00
Richard Feldman	22e40a003a	Fix typo	2020-02-13 00:02:12 -05:00
Richard Feldman	dbfd57350d	Drop unnecessary clone	2020-02-12 23:58:41 -05:00
Richard Feldman	90abe5050f	Use MutMap over SendMap for aliases	2020-02-12 23:58:41 -05:00
Richard Feldman	73e04306a4	Move a comment	2020-02-12 23:58:41 -05:00
Richard Feldman	8224890c32	Fix some tests	2020-02-12 23:58:41 -05:00
Richard Feldman	e92b33305f	Fix spurious UnusedDefs	2020-02-12 23:58:41 -05:00
Richard Feldman	ecca7d9692	Drop obsolete tests	2020-02-12 23:58:41 -05:00
Richard Feldman	aee33ee878	Fix fixtures tests, add WithBuiltins	2020-02-12 23:58:41 -05:00
Richard Feldman	87999d662e	Add more builtin types	2020-02-12 23:58:41 -05:00
Richard Feldman	415738f867	Don't check for unused defs too late	2020-02-12 23:58:41 -05:00
Richard Feldman	ea455e7394	Don't treat exposed defs as unused	2020-02-12 23:58:41 -05:00
Richard Feldman	d733a355e4	Clean up dbgs	2020-02-12 23:58:41 -05:00
Richard Feldman	2285842112	Extract builtin types to builtins.rs	2020-02-12 23:58:41 -05:00
Richard Feldman	95b51cdf58	Drop unused builtins test setup code	2020-02-12 23:58:41 -05:00
Richard Feldman	71da559c1e	Gather canonicalization problems for modules	2020-02-12 23:58:41 -05:00
Richard Feldman	08cecd24b6	Don't qualify builtins in pretty printed types	2020-02-12 23:58:41 -05:00
Richard Feldman	403d9353f1	Add some more hardcoded builtin types	2020-02-12 23:58:41 -05:00
Richard Feldman	4aa92ea8a1	Improve debugging info a bit	2020-02-12 23:58:41 -05:00
Richard Feldman	49012169c4	Use exposed_builtins as the basis for dep_idents	2020-02-12 23:58:41 -05:00
Richard Feldman	39defe485a	Include builtin idents in final IdentIds	2020-02-12 23:58:41 -05:00
Richard Feldman	f7b6b680db	Fix missing references entry	2020-02-12 23:58:41 -05:00
Richard Feldman	581dcdadd2	Get builtin types compiling	2020-02-12 23:58:41 -05:00
Richard Feldman	c6664b55f7	Store only variable names for Aliases	2020-02-12 23:58:14 -05:00
Richard Feldman	1a6507accc	First pass at builtin types	2020-02-12 19:35:57 -05:00
Richard Feldman	1419c1ff21	Merge pull request #188 from rtfeldman/fix-module-constraints ... Fix module constraints	2020-02-12 17:54:32 -05:00
Folkert	62febe7ce0	correct comment	2020-02-12 22:08:53 +01:00
Folkert	ed73caa24b	clean up Primary.roc	2020-02-12 22:07:16 +01:00
Folkert	67f0ef9686	remove Wildcard ... Variables 'imported' as unnamed flex vars will get printed as a wildcard where appropriate	2020-02-12 22:02:22 +01:00
Folkert	03bfdf570f	Merge remote-tracking branch 'origin/trunk' into fix-module-constraints	2020-02-12 21:49:47 +01:00
Folkert de Vries	70eee8c507	Merge pull request #180 from rtfeldman/nested-signatures ... Nested signatures & Uniqueness	2020-02-12 21:42:17 +01:00
Folkert	ec99d78b2e	Merge remote-tracking branch 'origin/trunk' into nested-signatures	2020-02-12 21:28:49 +01:00
Folkert	4d762c0574	expose recursive definitions	2020-02-12 17:51:20 +01:00
Folkert	cd7e760293	handle Flex variables ... also support RecursiveTagUnion	2020-02-12 17:11:53 +01:00
Folkert	996ab744e2	import Result.withDefault succesfully	2020-02-12 16:23:01 +01:00
Folkert	07d9186c98	import Dep1.Unit succesfully	2020-02-12 13:06:40 +01:00
Richard Feldman	df840977f3	Merge pull request #187 from rtfeldman/accessor-formatting ... Accessor formatting	2020-02-12 00:45:23 -05:00
Chad Stearns	d19866ba59	accessor function formatting	2020-02-11 23:03:46 -05:00
Richard Feldman	68e182fe8b	Convert a bunch of Type variants to SolvedType	2020-02-11 21:55:40 -05:00
Richard Feldman	fcc1197250	Drop unused imports	2020-02-11 21:35:50 -05:00
Richard Feldman	f248efb476	Incorporate SolvedType::Alias	2020-02-11 21:35:00 -05:00
Richard Feldman	3f27f5d2c9	Drop some dbgs	2020-02-11 21:03:01 -05:00
Richard Feldman	0e6b75bc1c	Properly remove aliases from exposed_symbols	2020-02-11 20:54:23 -05:00
Richard Feldman	8eb91807e4	Merge remote-tracking branch 'origin/trunk' into fix-module-constraints	2020-02-11 20:42:00 -05:00