Ayaz Hafiz 42fe19541e Define inline expects defs in their definition order ... When we transform a top-level expect into an inline expect, we collect all intermediate defs before the expect condition, then layer the defs back on. Because the layering procedure builds an expression bottom-up, we must layer on defs in reverse definition order. Closes #4705		2022-12-07 10:54:16 -06:00
..
abilities.rs	1.65 clippy fixes	2022-11-03 16:20:37 +01:00
annotation.rs	Implement tuple type parsing	2022-11-24 07:36:59 -08:00
builtins.rs	inline dbg	2022-11-23 21:23:28 +01:00
constraint.rs	Be more explicit about imported flex and rigid vars	2022-12-05 13:04:15 -06:00
copy.rs	Constrain + solve crash	2022-11-24 14:46:50 -06:00
def.rs	Provide warning for defs that are used only in (mutual) recursion	2022-12-02 11:50:12 -06:00
derive.rs	Support deriving Decode for opaques	2022-10-23 20:48:06 -05:00
effect_module.rs	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
env.rs	Lookup symbols in scope when the module ID is already known	2022-07-18 17:55:00 -04:00
exhaustive.rs	Remove FlatType::Erroneous	2022-11-08 14:11:25 -06:00
expected.rs	Emplace variables made from types in expectations	2022-10-24 13:11:35 -05:00
expr.rs	Define inline expects defs in their definition order	2022-12-07 10:54:16 -06:00
lib.rs	correct formatting and removed duplicate image	2022-11-03 20:02:10 +11:00
module.rs	Provide warning for defs that are used only in (mutual) recursion	2022-12-02 11:50:12 -06:00
num.rs	Support ordering floats in numeric literal bounds	2022-07-05 22:16:51 -04:00
operator.rs	Canonicalize crash	2022-11-24 14:46:49 -06:00
pattern.rs	Implement tuple pattern parsing	2022-11-13 16:11:57 -05:00
procedure.rs	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00
scope.rs	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
string.rs	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00
traverse.rs	Constrain + solve crash	2022-11-24 14:46:50 -06:00