spade_typeinference/
dump.rs

1use std::collections::HashMap;
2
3use spade_hir::{symbol_table::SymbolTable, TypeList};
4use spade_types::ConcreteType;
5
6use crate::{equation::TypedExpression, TypeState};
7
8// lifeguard spade#254
9// FIXME: Remove this since we dump the whole type statem
10pub fn dump_types(
11    type_state: &TypeState,
12    type_list: &TypeList,
13    symtab: &SymbolTable,
14) -> HashMap<TypedExpression, Option<ConcreteType>> {
15    type_state
16        .get_equations()
17        .iter()
18        .map(|(expr, t)| {
19            (
20                expr.clone(),
21                type_state.ungenerify_type(t, symtab, type_list),
22            )
23        })
24        .collect()
25}