mirror of
https://github.com/roc-lang/roc.git
synced 2024-09-22 08:17:40 +03:00
Remove type Problem enum
This commit is contained in:
parent
8dfc9c0367
commit
c1237215ea
@ -10,7 +10,7 @@ use roc_region::all::{Loc, Region};
|
||||
use roc_types::subs::{VarStore, Variable};
|
||||
use roc_types::types::{
|
||||
name_type_var, AbilitySet, Alias, AliasCommon, AliasKind, AliasVar, LambdaSet, OptAbleType,
|
||||
OptAbleVar, Problem, RecordField, Type, TypeExtension,
|
||||
OptAbleVar, RecordField, Type, TypeExtension,
|
||||
};
|
||||
|
||||
#[derive(Clone, Debug)]
|
||||
|
@ -1,7 +1,7 @@
|
||||
#![deny(unsafe_op_in_unsafe_fn)]
|
||||
use crate::types::{
|
||||
name_type_var, AbilitySet, AliasKind, ErrorType, Polarity, Problem, RecordField,
|
||||
RecordFieldsError, TypeExt, Uls,
|
||||
name_type_var, AbilitySet, AliasKind, ErrorType, Polarity, RecordField, RecordFieldsError,
|
||||
TypeExt, Uls,
|
||||
};
|
||||
use roc_collections::all::{FnvMap, ImMap, ImSet, MutSet, SendMap};
|
||||
use roc_collections::{VecMap, VecSet};
|
||||
@ -21,10 +21,6 @@ roc_error_macros::assert_sizeof_all!(FlatType, 3 * 8);
|
||||
roc_error_macros::assert_sizeof_all!(UnionTags, 12);
|
||||
roc_error_macros::assert_sizeof_all!(RecordFields, 2 * 8);
|
||||
|
||||
roc_error_macros::assert_sizeof_aarch64!(Problem, 5 * 8);
|
||||
roc_error_macros::assert_sizeof_wasm!(Problem, 32);
|
||||
roc_error_macros::assert_sizeof_default!(Problem, 6 * 8);
|
||||
|
||||
#[derive(Clone, Copy, Hash, PartialEq, Eq)]
|
||||
pub struct Mark(i32);
|
||||
|
||||
|
@ -3301,22 +3301,6 @@ impl Alias {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Debug, Clone, Hash)]
|
||||
pub enum Problem {
|
||||
CanonicalizationProblem,
|
||||
CircularType(Symbol, Box<ErrorType>, Region),
|
||||
Shadowed(Region, Loc<Ident>),
|
||||
BadTypeArguments {
|
||||
symbol: Symbol,
|
||||
region: Region,
|
||||
type_got: u8,
|
||||
alias_needs: u8,
|
||||
alias_kind: AliasKind,
|
||||
},
|
||||
InvalidModule,
|
||||
HasClauseIsNotAbility(Region),
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Debug, Clone)]
|
||||
pub enum Mismatch {
|
||||
TypeMismatch,
|
||||
|
Loading…
Reference in New Issue
Block a user