crisp-typeck-1.8.1
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

crisp-typeck 1.8.1

HM-style type inference and constraint solving (spec §3.4)

Crate
Source
Builds
Feature flags

..
arith_add_str
arith_bound_mismatch
bisection_width
caller_before_callee
field_param_ambiguous
field_param_unique
generic_return_mismatch
generic_shadows_type
hole_arity
hole_misplaced
in_scope_type_not_param
in_scope_type_rejects_int
interp_ok
invalid_cast
issue_146_rk4
measure_bound_mismatch
module_order_after_main
mut_not_generalized
numeric_widen
shape_generic_mismatch
trait_bound_mismatch
unary_neg_float
vec_float
vec_uninferred