101 Commits

Author	SHA1	Message	Date
Richard Feldman	74b58db477	Use Procs::default()	2020-03-11 19:45:12 -04:00
Folkert	bb9c9d423a	make Procs a struct	2020-03-12 00:40:10 +01:00
Folkert	2d0649fa66	attempt fix for gen tests	2020-03-11 23:13:32 +01:00
Folkert	a037173cdb	complete the Content hashing	2020-03-11 23:00:44 +01:00
Folkert	f7a2be113e	monomorphize closures	2020-03-11 22:03:01 +01:00
Folkert	5c9cf0ef37	add type hash function	2020-03-11 22:01:56 +01:00
Folkert	4c9f2c1b6e	monomorphize addition	2020-03-11 15:24:44 +01:00
Folkert	fb8e8570bc	Merge remote-tracking branch 'origin/trunk' into num	2020-03-11 14:30:50 +01:00
Folkert	d47d409a92	clean up to_int_or_float ... with the changes from the previous commit, this now works as it should	2020-03-11 14:25:16 +01:00
Folkert	17348231fd	fix uniqueness Num inference ... The variable in Num is the `a` in `Num a`. For Int/Float literals, it's a helper variable to generate better error messages	2020-03-11 14:18:26 +01:00
Folkert	9ba09c7d82	use Reason::NumLiteral in uniqueness inference ... we can 'just' do that here because there is a var_store available. That isn't true for normal inference, where we would have to put the variable in during solving	2020-03-11 14:07:49 +01:00
Richard Feldman	55623605f3	clippy mcclip	2020-03-11 00:11:23 -04:00
Richard Feldman	df85c086ab	Fix test_uniq_solve	2020-03-11 00:07:19 -04:00
Richard Feldman	c0837eca1c	Use constantNum over constantInt in load tests	2020-03-10 23:11:49 -04:00
Richard Feldman	a033f325f4	Support integer (Num *) patterns in jump tables	2020-03-10 23:08:26 -04:00
Richard Feldman	a0d762d1e5	Fix more mono::expr (Num *) cases	2020-03-10 23:06:11 -04:00
Richard Feldman	0bac39f9f1	Fix from_can for (Num *)	2020-03-10 22:59:30 -04:00
Richard Feldman	d4dc0eb683	Implement uniqueness for (Num *)	2020-03-10 22:53:53 -04:00
Richard Feldman	3ecbe0325c	Plain number literals (e.g. 5) are now Num *	2020-03-10 22:27:13 -04:00
Folkert	fd1c29fb35	convert Tag to mono	2020-03-10 20:54:33 +01:00
Folkert	62f34c41cc	hardcode Bool alias ... previously it would use the tag union, which would result in slightly worse error messages down the line	2020-03-10 15:21:39 +01:00
Folkert	657901d760	bubble up pointer_size	2020-03-10 15:16:44 +01:00
Folkert	7fea957979	hardcode Bool	2020-03-10 14:50:35 +01:00
Folkert	fef590b9f7	remove unneeded variable check in reporting	2020-03-10 13:44:54 +01:00
Folkert	246199ec3e	fixes after review	2020-03-10 12:01:13 +01:00
Richard Feldman	c7daad8404	Restore home's ident_ids after creating Expr	2020-03-09 23:02:36 -04:00
Richard Feldman	0a8e360e19	Get bool_literal compiling	2020-03-09 23:02:36 -04:00
Folkert	5237408b15	do what clippy wants	2020-03-09 23:51:48 +01:00
Folkert	2bad39e8b9	convert enum tag unions to mono	2020-03-09 23:40:18 +01:00
Richard Feldman	6ae1ee373e	Use a tag on rtfeldman/inkwell	2020-03-08 17:51:13 -04:00
Richard Feldman	e06d68f2a1	Merge branch 'trunk' into opt	2020-03-08 17:23:02 -04:00
Chad Stearns	b4e028a39c	Upgrade to correct bumpalo version in reporting Cargo	2020-03-08 17:05:06 -04:00
Chad Stearns	2eb729937e	Merge branch 'restore-reporting-tests' of github.com:rtfeldman/roc into restore-reporting-tests	2020-03-08 16:49:52 -04:00
Chad Stearns	a9cf87e67e	Satisfy clippy	2020-03-08 16:48:08 -04:00
Chadtech	0a053cfac4	Merge branch 'trunk' into restore-reporting-tests	2020-03-08 16:28:08 -04:00
Richard Feldman	d878ef86aa	Add List.set_in_place test to test_opt	2020-03-08 15:18:39 -04:00
Richard Feldman	99359221ab	Add List.set test to test_mono	2020-03-08 15:09:01 -04:00
Richard Feldman	dcfa117227	Basic test_mono and test_opt	2020-03-08 14:45:27 -04:00
Richard Feldman	be4abcf173	Fix List.set tests	2020-03-08 01:20:43 -05:00
Chadtech	35a3d736a0	Merge branch 'trunk' into restore-reporting-tests	2020-03-08 00:42:49 -05:00
Chad Stearns	704b81d67c	Restore report tests and also add more basic tests	2020-03-08 00:39:28 -05:00
Richard Feldman	74e92f35f1	Disable List.set tests for now	2020-03-08 00:33:13 -05:00
Richard Feldman	72ecb231f1	clip clop clip clop clippy	2020-03-07 23:11:42 -05:00
Richard Feldman	abe9b8efaa	Use Layout over Variable for both build modules	2020-03-07 23:04:28 -05:00
Richard Feldman	d589f6b2df	Fix infer_expr_help in test_reporting	2020-03-07 15:54:46 -05:00
Chad Stearns	a165248a17	Cargo fmt	2020-03-07 14:46:08 -05:00
Chad Stearns	922e5d5af3	Bringing in reporting test files	2020-03-07 14:44:11 -05:00
Chad Stearns	25513d7eda	Restoring report test file	2020-03-07 14:43:47 -05:00
Richard Feldman	db4ef45708	Upgrade to List.set_in_place when appropriate	2020-03-07 12:43:24 -05:00
Folkert	bca43a2564	improve is_unique	2020-03-07 12:43:24 -05:00