164 commits

Author	SHA1	Message	Date
Folkert	ca04411523	fix tests/more uniq removal	2021-02-07 22:50:33 +01:00
Folkert	b80865778e	literal patterns should have type Int a or Float a	2021-01-04 23:35:29 +01:00
Jared Ramirez	18d0141942	[WIP] Merge local changes with new branch	2020-12-31 13:08:50 -06:00
rvcas	1ab7dc54ad	fix: gen_num tests	2020-12-30 21:18:08 -05:00
rvcas	b510d6e94d	fix: float error in repl	2020-12-30 20:47:11 -05:00
rvcas	c33cab57f2	Merge branch 'int-float-size-gen' into temp_numbers	2020-12-30 19:41:44 -05:00
rvcas	127c4e1bcc	feat: add inner var to IntLiteral and FloatLiteral	2020-12-29 20:52:54 -05:00
Jared Ramirez	791a0e9404	Use precision in mono/ir to determine which number to generate	2020-12-29 09:33:55 -06:00
Jared Ramirez	48f964adf4	Add percision variable in fp/integer eq constraints	2020-12-28 16:22:34 -06:00
Folkert	caaf8e76c1	reintroduce multiple uniqueness vars in numbers	2020-12-22 20:13:54 +01:00
rvcas	b734b3de58	fix: should not check args.is_empty()	2020-12-22 09:05:58 -05:00
rvcas	e91fc2f1ff	fix: clean up uniq and adjust PatternCategory for int type in constrain	2020-12-22 09:05:19 -05:00
rvcas	3ea4858eb5	fix(clippy): do not need let binding	2020-12-22 09:05:19 -05:00
rvcas	d08757f161	fix: uniqueness for Num types	2020-12-22 09:05:19 -05:00
rvcas	aa4b376134	add new layer to the Num types	2020-12-22 09:05:19 -05:00
Anton-4	b085469602	Replaced large_enum_variant explanation with link to issue #800	2020-12-14 16:09:16 +01:00
Richard Feldman	0b620539ef	Report accurate regions in unused imports	2020-12-13 22:51:23 -05:00
Richard Feldman	572c7cb3dd	Report an error for lookups of unexposed values	2020-12-10 23:59:15 -05:00
Folkert	b669202d86	fix wildcards not recognized as rigids	2020-12-11 01:49:54 +01:00
rvcas	4987721154	feat(Num): rename Num.Int to Num.I64	2020-12-07 19:17:20 -05:00
rvcas	f7bd803509	feat(Num): rename Float to F64	2020-11-24 10:25:21 -05:00
Folkert	197abd8553	change constraints gen to give better errors	2020-11-15 02:06:34 +01:00
Folkert	23fe8e5c07	fix another nasty rigid problem	2020-11-15 00:23:32 +01:00
Folkert	ec3868ed7e	small rigid fix	2020-11-14 02:45:05 +01:00
Folkert	815b942f29	cleanup	2020-11-13 01:59:09 +01:00
Folkert	78e0886eb1	clippy	2020-11-13 01:42:31 +01:00
Folkert	bde82c3bb6	add Store constraint that does not report errors	2020-11-12 15:47:56 +01:00
Folkert	75d18eb8ba	no more rigid mistakes?	2020-11-12 15:31:25 +01:00
Folkert	7a719172bc	more rigid fixes?	2020-11-12 14:55:46 +01:00
Folkert	eaf94f2cfc	uncomment more of rbtree	2020-11-12 00:45:47 +01:00
Folkert	21685b6f8f	add tests for the rigid issue	2020-11-11 22:55:46 +01:00
Folkert	22592eff80	fix issue with rigids	2020-11-11 22:51:28 +01:00
Folkert	0ba612ecdb	refactor	2020-11-11 21:56:25 +01:00
Folkert	62a82d1135	extract untyped args helper	2020-11-11 21:46:12 +01:00
Folkert	d6e7e8381c	make it clearer the variables come from the def's pattern	2020-11-11 20:49:04 +01:00
Folkert	984cf744e3	make Storage store where it came from	2020-11-11 01:16:30 +01:00
Folkert	c64a6da745	make Storage store where it came from	2020-11-11 01:14:15 +01:00
Folkert	3aa6455795	fix problem with recursive definition constraint gen	2020-11-10 19:40:35 +01:00
Folkert	3cd132dd51	introduce foreign call	2020-11-05 23:35:56 +01:00
Folkert	2acbfa91f1	remove def_symbol field	2020-11-04 14:59:41 +01:00
Folkert	c09b66a9cc	add HostExposedAlias	2020-11-04 13:19:57 +01:00
Folkert	b075c2d394	clean up imports	2020-10-31 15:36:46 +01:00
Folkert	6c578440e0	remove uniqueness alias lifting	2020-10-31 15:35:17 +01:00
Folkert	4bd723b353	remove more unneeded alias things	2020-10-31 15:33:43 +01:00
Folkert	09ad286123	remove unused function	2020-10-31 15:29:36 +01:00
Folkert	8b3b677439	remove aliases from Let and LetCon	2020-10-31 15:27:24 +01:00
Folkert	9e981c264e	fix clippy issues	2020-10-30 22:28:55 +01:00
Folkert	58467d6515	get tests back up an running	2020-10-30 16:58:53 +01:00
Folkert	cba841601b	fix some uniqueness issues	2020-10-30 01:50:57 +01:00
Folkert	73e0ea2e5d	fix some mistakes	2020-10-30 00:35:40 +01:00