11 commits

Author	SHA1	Message	Date
Ayaz Hafiz	2079a64cb7	Make sure to unwrap non-nullable unwrapped unions directly in alias analysis ... Non-nullable unwrapped tag unions are represented directly as the type of their singleton variant in morphic. Other recursive tag unions are something like `(heap_cell, union [A, B (<rec>)])` for recursive union `[A, B (<rec>)]`, but a non-nullable unwrapped tag union `[ Foo Str <rec> ]` is represented directly as the tuple `(Str <rec>)`. Make sure we don't try to unwrap a non-existent heap cell and union data for such type representations. Closes #3261	2022-06-22 12:36:37 -04:00
Folkert	b29c7d6fb2	add Expect ir::Stmt node	2022-05-26 16:46:10 +02:00
Anton-4	0f59f3097a	cargo fix --edition	2022-05-16 17:04:17 +02:00
Richard Feldman	9bc1e320dc	Fix --release warnings	2022-05-15 21:50:49 -04:00
Mfon Eti-mfon	9068c2414e	Rename float functions and vars	2022-05-08 18:42:12 +01:00
ayazhafiz	37ba70472f	Add more debug flags	2022-05-01 12:25:03 -04:00
Ayaz Hafiz	02d5cd7885	Deal with recursive pointers that pass through non-recursive layouts	2022-04-22 17:57:01 -04:00
Folkert	f9c1af1dc4	alias analysis	2022-03-08 22:20:40 +01:00
Folkert	92f2927046	initial implementation	2022-03-08 19:09:42 +01:00
Folkert	b3b3b8790c	add new Expr variants	2022-03-07 21:13:48 +01:00
Brian Carroll	f2adf71873	Move alias analysis to its own crate instead of roc_mono ... Shrinks roc_repl_wasm by 400kB (~8%)	2022-03-04 14:50:02 +00:00