feat: add the type def for Str.toNum

This commit is contained in:
rvcas 2021-12-01 16:12:55 -05:00
parent e63701c5d1
commit 3104406956

View file

@ -703,7 +703,16 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
);
// toNum : Str -> Result (Num a) {}
// TODO
let invalid_str = SolvedType::TagUnion(
vec![(TagName::Global("InvalidNumStr".into()), vec![])],
Box::new(SolvedType::Wildcard),
);
add_top_level_function_type!(
Symbol::STR_TO_NUM,
vec![str_type()],
Box::new(result_type(flex(TVAR1), invalid_str))
);
// List module