Generate derive keys for tags

This commit is contained in:
Ayaz Hafiz 2022-10-04 16:23:24 -05:00
parent fd54cdfdd1
commit 5eb00c4f94
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
5 changed files with 108 additions and 25 deletions

View file

@ -22,6 +22,7 @@ use crate::{synth_var, util::Env, DerivedBody};
pub(crate) fn derive_hash(env: &mut Env<'_>, key: FlatHashKey, def_symbol: Symbol) -> DerivedBody {
let (body, body_type) = match key {
FlatHashKey::Record(fields) => hash_record(env, def_symbol, fields),
FlatHashKey::TagUnion(_) => todo!(),
};
let specialization_lambda_sets =