1314 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Richard Feldman	bb07f69f23	Merge pull request #111 from rtfeldman/ci ... Combine CI steps	2020-01-05 00:36:02 -05:00
Richard Feldman	6592047af2	Combine CI steps	2020-01-05 00:22:03 -05:00
Richard Feldman	673cc78380	Merge pull request #109 from rtfeldman/ll ... Introduce `ll` module	2020-01-05 00:10:58 -05:00
Richard Feldman	18f011ae5a	Do clippy stuff	2020-01-05 00:02:44 -05:00
Richard Feldman	fe96adaafb	Temprorarily drop fn verification and build_proc	2020-01-05 00:02:44 -05:00
Richard Feldman	6c3201b229	Fix single when-expr branch case	2020-01-05 00:02:44 -05:00
Richard Feldman	b02422147d	Add test for 1 when-expr branch	2020-01-05 00:02:44 -05:00
Richard Feldman	7bd0c5b591	Revert "Re-enable load tests" ... This reverts commit 743e82b57c2828d7da3a2621a34cf0a076af7635.	2020-01-05 00:02:44 -05:00
Richard Feldman	e848f0e242	Re-enable load tests	2020-01-05 00:02:44 -05:00
Richard Feldman	55e4ce1134	Introduce ll module	2020-01-05 00:02:44 -05:00
Richard Feldman	297c9f567a	Fix a doc error	2020-01-05 00:02:44 -05:00
Richard Feldman	4bc72454b4	Revert "Try returning Procs" ... This reverts commit 21142def653336a3cb32b6f22d8a9f94523da3f3.	2020-01-05 00:02:44 -05:00
Richard Feldman	79b1431703	Try returning Procs	2020-01-05 00:02:44 -05:00
Richard Feldman	7d3d432c61	Code gen basic functions	2020-01-05 00:02:44 -05:00
Richard Feldman	f076c4f386	Merge pull request #107 from rtfeldman/ct/multi-line-list ... Multi line list	2020-01-05 00:02:36 -05:00
Chad Stearns	4e903c969a	Chaned indent on a few tests	2020-01-04 17:54:58 -05:00
Chad Stearns	bc078ce108	Made fmt_list function to make clippy happy	2020-01-04 17:53:41 -05:00
Chad Stearns	7a70160d64	Multi line lists	2020-01-04 17:40:58 -05:00
Richard Feldman	6704b98176	Merge pull request #105 from rtfeldman/fix-retlec-rigids ... port elm's letrec & don't track rigids in during constraint generation	2020-01-03 21:11:24 -05:00
Folkert	050643e99d	use new letrec in uniq infer	2020-01-04 01:21:44 +01:00
Folkert	05dfbbe2be	remove rigid tracking from constrain ... This is already done during canonicalization, so we don't have to do it again	2020-01-04 01:03:24 +01:00
Folkert	5b3aeef3a1	port elm's letrec	2020-01-03 14:18:04 +01:00
Richard Feldman	14960e0055	Merge pull request #104 from rtfeldman/nested-def ... Code gen nested defs	2020-01-02 21:02:02 -05:00
Richard Feldman	b7dfb716e7	Use InlinableStr for Symbol	2020-01-02 20:11:31 -05:00
Richard Feldman	b45fefd617	Update im and Inkwell	2020-01-02 19:57:07 -05:00
Richard Feldman	be9f784eca	Store and use Variable in Let/LetRec	2020-01-02 19:48:42 -05:00
Richard Feldman	dcf79c469f	Reproduce nested defs code gen failure	2020-01-02 19:48:42 -05:00
Richard Feldman	d32800dceb	Merge pull request #103 from rtfeldman/fix-record-infer ... Fix record infer	2020-01-02 19:29:06 -05:00
Richard Feldman	3af56306c2	Merge branch 'trunk' into fix-record-infer	2020-01-02 19:18:22 -05:00
Richard Feldman	b1050cef2c	Merge pull request #101 from rtfeldman/gen-let ... Code gen basic defs	2020-01-02 18:49:05 -05:00
Folkert	9e81c2802b	make changes to let in uniq infer	2020-01-03 00:17:04 +01:00
Richard Feldman	1e59ec5132	Merge branch 'trunk' into gen-let	2020-01-02 18:02:14 -05:00
Folkert	f15e30f7bd	make test that checks invalid record type	2020-01-02 23:50:13 +01:00
Folkert	863dafa806	correctly infer invalid recors	2020-01-02 23:35:42 +01:00
Folkert de Vries	72e4c37fe2	Merge pull request #88 from rtfeldman/enable-copying ... Enable copying, fixing principality	2020-01-02 19:43:48 +01:00
Folkert	07cfbd1589	add missing var in uniq infer	2020-01-02 17:57:57 +01:00
Folkert	ddfb240242	comment uniqueness test we'll fix later	2020-01-02 17:45:57 +01:00
Folkert	552fd14651	work on uniqueness infer	2020-01-02 17:32:57 +01:00
Folkert	b1c0d0ba0d	comment out tests that typecheck cross-module	2020-01-02 17:00:01 +01:00
Folkert	4eb5c97e4b	add missing variable to vars	2020-01-02 16:12:47 +01:00
Richard Feldman	c2d5c1f5f8	Merge vars and scope	2020-01-02 04:45:46 -05:00
Richard Feldman	bd44326863	Make get_chained_defs be out of order	2020-01-02 04:29:47 -05:00
Richard Feldman	f937ff5cf4	Introduce Scope to code gen chained defs	2020-01-02 04:28:24 -05:00
Richard Feldman	ac55ae8525	Add failing test for code gen of chained defs	2020-01-02 04:28:24 -05:00
Richard Feldman	e056a4c6a5	Improve some error messages	2020-01-02 04:28:24 -05:00
Richard Feldman	14db322754	Add more gen defs tests	2020-01-02 04:28:24 -05:00
Richard Feldman	4984e66735	Drop obsolete resolved_vars	2020-01-02 04:28:24 -05:00
Richard Feldman	2b9086e711	Store only basic types in code gen defs	2020-01-02 04:28:18 -05:00
Richard Feldman	45a4740c99	Adopt clippy's suggestions	2020-01-02 02:12:34 -05:00
Richard Feldman	cac741ec8b	Infer generated variable types	2020-01-02 02:11:55 -05:00