1927 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Richard Feldman	2c0e6eeec1	Reproduce Unit alias bug	2020-02-19 21:36:54 -08:00
Richard Feldman	8fdc77167a	Add test for unit alias working in defs	2020-02-19 21:32:50 -08:00
Richard Feldman	54a5349306	Reproduce alias import bug	2020-02-19 21:24:28 -08:00
Richard Feldman	8e37b650cd	Rename Result to Res in tests	2020-02-19 21:24:27 -08:00
Richard Feldman	c09abf44d9	Drop extraneous file	2020-02-19 21:24:27 -08:00
Richard Feldman	9cd810ae15	Fix missing rigids	2020-02-19 20:13:57 -08:00
Richard Feldman	9b6430593c	Rename some tests	2020-02-19 20:13:45 -08:00
Richard Feldman	654ffeb3ac	Panic explicitly in test helper	2020-02-19 20:13:35 -08:00
Richard Feldman	1e7becf742	helper shouldn't be public	2020-02-19 20:13:20 -08:00
Richard Feldman	0e1b2b6f5e	Drop unnecessary &	2020-02-19 20:13:06 -08:00
Richard Feldman	80d3eca7f3	add commented-out parse error reproduction	2020-02-19 18:19:43 -08:00
Richard Feldman	a4e80b196e	reproduce variable problem	2020-02-19 18:19:43 -08:00
Richard Feldman	91f708c4a4	fix test_uniqueness_infer shadowing errors	2020-02-19 18:19:43 -08:00
Richard Feldman	4bec799dc0	fix type mismatches on test_infer	2020-02-19 18:18:33 -08:00
Richard Feldman	b7a40f69a7	enable pretty_assertions in test_load	2020-02-19 18:18:14 -08:00
Richard Feldman	1d0c667f6f	reproduce annotation bug	2020-02-19 18:18:00 -08:00
Richard Feldman	5131cc5c39	rename an inaccurately named var	2020-02-19 18:17:48 -08:00
Richard Feldman	060673f58d	restore some infer tests	2020-02-19 18:17:33 -08:00
Richard Feldman	5b258cec00	Revise quicksort a bit	2020-02-19 18:17:19 -08:00
Richard Feldman	1b1b50b8c9	fix converting FunctionPointer from Layout to LLVM	2020-02-19 18:16:31 -08:00
Richard Feldman	5677e4f5cb	fix int pattern matching code gen	2020-02-19 18:16:18 -08:00
Richard Feldman	9aeef66d56	flatten unions and records	2020-02-19 18:15:56 -08:00
Richard Feldman	d46fbcff0b	refactor: use from_layout everywhere	2020-02-19 18:15:35 -08:00
Richard Feldman	7ce5c07d2f	refactor out type_from_var in crane::build	2020-02-19 18:15:16 -08:00
Richard Feldman	f58c50bc26	First pass at builtins involving tag unions	2020-02-19 18:14:53 -08:00
Richard Feldman	148296c48f	Recognize Int and Float aliases in code gen	2020-02-14 22:34:14 -08:00
Richard Feldman	a14efde297	Clean up some spaces in tests	2020-02-14 22:18:39 -08:00
Richard Feldman	38f2f9ba97	Merge pull request #192 from rtfeldman/infer-builtins ... Infer builtins	2020-02-14 22:17:48 -08:00
Folkert	ee1586ad1f	clean up some things	2020-02-15 00:22:04 +01:00
Folkert	4c971019dc	remove unused code in check_for_infinite_type	2020-02-14 23:58:43 +01:00
Folkert	5b96849ee9	instantiate aliases in the constraint	2020-02-14 23:56:58 +01:00
Folkert	c166cd0780	fix swapped variables in uniqueness signatures	2020-02-14 16:56:14 +01:00
Folkert	eba985da7a	make recursive inference work again	2020-02-14 16:42:07 +01:00
Folkert	a739c4edfb	use builtins for uniqueness_infer	2020-02-14 16:31:20 +01:00
Folkert	3c87237d76	make most uniqueness infer tests pass	2020-02-14 15:09:26 +01:00
Folkert	92f3575dca	make test_infer pass ... Requires some changes to pretty printing to turn `Num Integer` into `Int`, and the builtin aliases must be available during typechecking	2020-02-14 14:33:07 +01:00
Folkert	42ad717efc	use builtin types for pattern matching on literals	2020-02-14 14:01:29 +01:00
Richard Feldman	a65117bcff	Convert from aliased builtins to llvm/crane	2020-02-14 00:41:25 -05:00
Richard Feldman	ff0e4a7e96	Drop unused builtin functions	2020-02-14 00:29:56 -05:00
Richard Feldman	32f3832c03	Sort regions in CircularDef	2020-02-14 00:29:49 -05:00
Richard Feldman	efa1208663	Fix some more exposing logic	2020-02-14 00:25:01 -05:00
Richard Feldman	d8b2d54c98	Panic on unused imports (for now)	2020-02-14 00:25:01 -05:00
Richard Feldman	da1a178079	Drop unused referenced_modules	2020-02-14 00:22:11 -05:00
Folkert	435d0f917d	push Quicksort.roc	2020-02-13 22:02:23 +01:00
Folkert	c1b83ae830	make BuiltinAlias type arguments positional ... So in Result a e, a is VarId(1), e is VarId(2)	2020-02-13 21:47:54 +01:00
Folkert	8d1615c2aa	streamline import constraint generation ... aliases and values are kind of separate (though the aliases still occur in the values, they are ignored). Constraints are generated more efficiently (no longer a linked list of LetConstraint	2020-02-13 21:29:51 +01:00
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