roc/compiler/solve/Cargo.toml

[package]
name = "roc_solve"
version = "0.1.0"
authors = ["The Roc Contributors"]
license = "UPL-1.0"
edition = "2018"

[dependencies]
roc_collections = { path = "../collections" }
roc_error_macros = { path = "../../error_macros" }
roc_exhaustive = { path = "../exhaustive" }
roc_region = { path = "../region" }
roc_module = { path = "../module" }
roc_types = { path = "../types" }
roc_can = { path = "../can" }
roc_problem = { path = "../problem" }
roc_unify = { path = "../unify" }
roc_debug_flags = { path = "../debug_flags" }
arrayvec = "0.7.2"
bumpalo = { version = "3.8.0", features = ["collections"] }

[dev-dependencies]
roc_load = { path = "../load" }
roc_builtins = { path = "../builtins" }
roc_problem = { path = "../problem" }
roc_parse = { path = "../parse" }
roc_solve = { path = "../solve" }
roc_target = { path = "../roc_target" }
roc_reporting = { path = "../../reporting" }
pretty_assertions = "1.0.0"
indoc = "1.0.3"
tempfile = "3.2.0"
bumpalo = { version = "3.8.0", features = ["collections"] }
regex = "1.5.5"
lazy_static = "1.4.0"
Move solve and unify into their own crates 2020-03-06 09:42:53 +03:00			`[package]`
			`name = "roc_solve"`
			`version = "0.1.0"`
Update authors in Cargo.toml 2021-04-10 15:07:38 +03:00			`authors = ["The Roc Contributors"]`
Change license to UPL-1.0 Closes https://github.com/rtfeldman/roc/issues/1199 2021-04-15 06:26:14 +03:00			`license = "UPL-1.0"`
Update authors in Cargo.toml 2021-04-10 15:07:38 +03:00			`edition = "2018"`
Move solve and unify into their own crates 2020-03-06 09:42:53 +03:00
			`[dependencies]`
			`roc_collections = { path = "../collections" }`
Add needed imports 2022-04-12 22:36:36 +03:00			`roc_error_macros = { path = "../../error_macros" }`
Move exhaustiveness checking to type solving phase with solve tests 2022-04-22 17:22:49 +03:00			`roc_exhaustive = { path = "../exhaustive" }`
Move solve and unify into their own crates 2020-03-06 09:42:53 +03:00			`roc_region = { path = "../region" }`
			`roc_module = { path = "../module" }`
			`roc_types = { path = "../types" }`
			`roc_can = { path = "../can" }`
Check for invalid cycles after type solving recursive defs Disallow cycles that pass through a non-function value. Since we evaluate eagerly, having one such cycle means there is at least one path in the program that (likely) has unbounded recursion. Of course we can't be certain (halting problem), but it's very likely, and avoids stuff like #1926. Also, mono (as it's done today) won't work if things in a cycle aren't functions. Closes #1926 2022-05-10 23:02:10 +03:00			`roc_problem = { path = "../problem" }`
Move solve and unify into their own crates 2020-03-06 09:42:53 +03:00			`roc_unify = { path = "../unify" }`
Consolidate and improve debug_flags 2022-05-05 19:06:09 +03:00			`roc_debug_flags = { path = "../debug_flags" }`
try stack allocation for small vectors 2021-11-27 03:31:48 +03:00			`arrayvec = "0.7.2"`
bumpalo type_to_var 2021-11-19 21:48:51 +03:00			`bumpalo = { version = "3.8.0", features = ["collections"] }`
Move solve and unify into their own crates 2020-03-06 09:42:53 +03:00
			`[dev-dependencies]`
fix most type inference issues 2020-10-16 21:50:42 +03:00			`roc_load = { path = "../load" }`
Move solve and uniq tests into other crates 2020-03-06 10:39:40 +03:00			`roc_builtins = { path = "../builtins" }`
			`roc_problem = { path = "../problem" }`
			`roc_parse = { path = "../parse" }`
			`roc_solve = { path = "../solve" }`
move target -> roc_target 2022-01-27 01:33:02 +03:00			`roc_target = { path = "../roc_target" }`
Add needed imports 2022-04-12 22:36:36 +03:00			`roc_reporting = { path = "../../reporting" }`
Make versions numbers consistent and matching the lock files 2021-11-06 23:24:45 +03:00			`pretty_assertions = "1.0.0"`
			`indoc = "1.0.3"`
			`tempfile = "3.2.0"`
			`bumpalo = { version = "3.8.0", features = ["collections"] }`
Add a way to view solved types of arbitrary expressions/patterns in a program 2022-04-20 21:20:23 +03:00			`regex = "1.5.5"`
			`lazy_static = "1.4.0"`