This commit is contained in:
Brendan Hansknecht 2023-04-07 07:57:30 -07:00
parent 2e2b687fac
commit a354860d07
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
2 changed files with 5 additions and 9 deletions

View file

@ -31,13 +31,9 @@ use roc_problem::can::{RuntimeError, ShadowKind};
use roc_region::all::{Loc, Region};
use roc_std::RocDec;
use roc_target::TargetInfo;
use roc_types::types::AliasCommon;
use roc_types::{
subs::{
instantiate_rigids, storage_copy_var_to, Content, ExhaustiveMark, FlatType, RedundantMark,
StorageSubs, Subs, Variable, VariableSubsSlice,
},
types::Type,
use roc_types::subs::{
instantiate_rigids, storage_copy_var_to, Content, ExhaustiveMark, FlatType, RedundantMark,
StorageSubs, Subs, Variable, VariableSubsSlice,
};
use std::collections::HashMap;
use ven_pretty::{BoxAllocator, DocAllocator, DocBuilder};