113 Commits

Author	SHA1	Message	Date
Chad Stearns	1d1f620090	Int Abs	2020-05-09 17:56:10 -04:00
Richard Feldman	ce9e7a91f6	Clean up some Cargo.toml files	2020-05-03 21:37:59 -04:00
Richard Feldman	56cc7c013f	Drop obsolete dbg!	2020-05-03 08:51:11 -04:00
Richard Feldman	13dd937a71	Revert "Attempt to add builtin_defs to CLI" ... This reverts commit 2679077de9.	2020-05-01 22:00:06 -04:00
Richard Feldman	2679077de9	Attempt to add builtin_defs to CLI	2020-05-01 21:59:38 -04:00
Richard Feldman	101dc80ae5	Move parse::operator into module::operator	2020-05-01 21:58:53 -04:00
Richard Feldman	072cf4e844	Revert "wip canonical builtins in modules" ... This reverts commit e1935a1e9f0c7ea1ffefe5f2f4f07f2c7666363b.	2020-05-01 19:30:55 -04:00
Richard Feldman	a1750567ff	wip canonical builtins in modules	2020-05-01 19:30:55 -04:00
Chad Stearns	4b5f7bfded	Changed Int div implementation to use !=	2020-05-01 17:29:12 -04:00
Chad Stearns	6b6e6f0eec	Changed Int div implementation to use !=	2020-05-01 17:17:41 -04:00
Chad Stearns	516f5736c2	Merging in remote trunk	2020-04-29 18:01:55 -04:00
Chad Stearns	9107880928	Implemented generated built in int division, with the return type as a result	2020-04-29 17:36:02 -04:00
Richard Feldman	353377c29e	Re-enable List.get	2020-04-28 19:46:33 -04:00
Richard Feldman	1bee16decd	Temporarily disable List.get in favor of getUnsafe	2020-04-26 09:37:46 -04:00
Richard Feldman	a2e6c4ba12	Restore some things	2020-04-26 08:59:52 -04:00
Richard Feldman	310595c108	Revert "Only add builtins if they're referenced" ... This reverts commit 8e9b02560e9b172def0e915631e1d116c64859f2.	2020-04-26 08:45:47 -04:00
Richard Feldman	d2a9d24626	Only add builtins if they're referenced	2020-04-26 08:45:47 -04:00
Richard Feldman	afbe871e6d	wip	2020-04-26 08:45:41 -04:00
Richard Feldman	d0c9c433a6	Have List.first return Err ListWasEmpty	2020-04-25 07:57:41 -04:00
Richard Feldman	e78b126207	Give List.first the right name	2020-04-25 07:51:56 -04:00
Richard Feldman	a399614824	Use helpers in can builtins	2020-04-25 07:51:45 -04:00
Richard Feldman	d6d453d120	Add a TODO comment	2020-04-25 07:00:44 -04:00
Richard Feldman	07001131b2	Add can::builtins	2020-04-25 06:30:01 -04:00
Richard Feldman	1c1fee7e31	Trim trailing space off pretty_assertions dep	2020-04-16 19:24:24 -04:00
Folkert	7e4a1ef4bd	better message for duplicate fields/tags	2020-04-14 21:18:37 +02:00
Folkert	63bc923b37	remove panic	2020-04-13 22:54:24 +02:00
Folkert	f6af66f342	record, tag, alias errors ... - duplicate fields and tags are reported - circular aliases are reported	2020-04-13 20:53:16 +02:00
Folkert	7632a4b484	highlight code snippets better	2020-04-12 20:59:16 +02:00
Folkert	fd7ca5bcc9	don't add guarded record fields into scope	2020-04-09 01:08:09 +02:00
Richard Feldman	20f7243373	Rename test_canonicalize to test_can	2020-04-05 23:30:39 -04:00
Richard Feldman	d99fda3845	Union references in TypedBody ... Fixes #298	2020-04-05 23:30:39 -04:00
Richard Feldman	928d1bba6c	Reproduce #298	2020-04-05 23:30:39 -04:00
Richard Feldman	9cead44b39	Add PendingDef::ShadowedAlias	2020-04-05 17:26:56 -04:00
Chadtech	ea91f06490	Merge branch 'trunk' into shadowing-report	2020-04-05 15:57:11 -04:00
Chad Stearns	e4b9e0d6e7	Commented out incomplete code	2020-04-05 15:24:45 -04:00
Chad Stearns	89c949a9fd	Clean up	2020-04-05 15:20:01 -04:00
Chad Stearns	d8511e3285	Two shadowing report tests	2020-04-05 15:19:43 -04:00
Folkert	98479511f5	when_if_guard	2020-04-05 00:15:38 +02:00
Folkert	106a3646bf	add category to Eq constraint	2020-04-01 20:09:10 +02:00
Folkert	14ad793bd7	hook up TypeError	2020-04-01 16:28:10 +02:00
Folkert	11c8e2bfaa	improve Precedence error message	2020-03-31 23:11:35 +02:00
Richard Feldman	d213c7316b	Fix missing report for precedence problem	2020-03-31 00:08:56 -04:00
Folkert	4947e2638c	remove RuntimeError panics in canonicalization	2020-03-30 15:59:00 +02:00
Chad Stearns	221581432a	Two non-functional problem reports	2020-03-29 14:28:06 -04:00
Folkert	a040bc971a	don't drop guard, and desugar it	2020-03-21 14:58:28 +01:00
Folkert	97acf1363d	cleanup after review	2020-03-21 12:52:10 +01:00
Folkert	920928399a	type inference for pattern guards	2020-03-21 00:39:52 +01:00
Folkert	b43be95b19	add record_var to Access and Accessor	2020-03-14 01:13:44 +01:00
Folkert	e62ddc9ef5	make record variable names clearer	2020-03-14 01:01:14 +01:00
Folkert	2e697ee8f9	add whole_var to tag union/record ... the existing var is for the extension (ext_var). during mono we need the whole type to look up the layout, so store that as well	2020-03-13 23:28:36 +01:00
Folkert	f02193b962	fix new clippy warnings	2020-03-12 22:56:58 +01:00
Folkert	fb8e8570bc	Merge remote-tracking branch 'origin/trunk' into num	2020-03-11 14:30:50 +01:00
Richard Feldman	3ecbe0325c	Plain number literals (e.g. 5) are now Num *	2020-03-10 22:27:13 -04:00
Folkert	7fea957979	hardcode Bool	2020-03-10 14:50:35 +01:00
Richard Feldman	0f79a3311d	Upgrade bumpalo to 3.2	2020-03-07 11:20:35 -05:00
Folkert	4848eb5901	refactor introduced variables ... This has lead to so many problems, so I made a special-purpose type for it	2020-03-06 23:55:31 +01:00
Folkert	edcda78e9d	remove dbg!	2020-03-06 15:26:55 +01:00
Folkert	639a56b59c	fix ordering issue in canonicalize test	2020-03-06 14:07:24 +01:00
Folkert	fefac9580e	expose rigids introduced by builtins ... they aren't used yet, because their names can 'leak'. Not sure what the best way forward is here	2020-03-06 13:48:52 +01:00
Richard Feldman	908e485fca	Move constrain and its deps into their own crates	2020-03-06 01:43:39 -05:00
Richard Feldman	5b5f800c70	cargo fmt	2020-03-05 23:03:49 -05:00
Richard Feldman	8ef2ae3de7	clippy clip clip	2020-03-05 23:03:29 -05:00
Richard Feldman	3b6ed43126	Extract can/ into its own crate, plus its deps	2020-03-05 23:01:32 -05:00