Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Typechecker.TypeError

Synopsis

data BooleanMismatch
- = CondMismatch
- | AndMismatch
- | OrMismatch
- | GuardMismatch
data ExistentialMismatch
- = IfBody
- | ListBody
- | CaseBody
data TypeError v loc
- = Mismatch {
  - foundType :: Type v loc
  - expectedType :: Type v loc
  - foundLeaf :: Type v loc
  - expectedLeaf :: Type v loc
  - mismatchSite :: Term v loc
  - note :: ErrorNote v loc
  }
- | BooleanMismatch {
  - getBooleanMismatch :: BooleanMismatch
  - mismatchSite :: Term v loc
  - foundType :: Type v loc
  - note :: ErrorNote v loc
  }
- | ExistentialMismatch {
  - getExistentialMismatch :: ExistentialMismatch
  - expectedType :: Type v loc
  - expectedLoc :: loc
  - foundType :: Type v loc
  - mismatchSite :: Term v loc
  - note :: ErrorNote v loc
  }
- | FunctionApplication {
  - f :: Term v loc
  - ft :: Type v loc
  - arg :: Term v loc
  - argNum :: Int
  - foundType :: Type v loc
  - expectedType :: Type v loc
  - leafs :: Maybe (Type v loc, Type v loc)
  - solvedVars :: [(v, Type v loc)]
  - note :: ErrorNote v loc
  }
- | NotFunctionApplication {
  - f :: Term v loc
  - ft :: Type v loc
  - note :: ErrorNote v loc
  }
- | AbilityCheckFailure {
  - ambient :: [Type v loc]
  - requested :: [Type v loc]
  - abilityCheckFailureSite :: loc
  - note :: ErrorNote v loc
  }
- | AbilityEqFailure {
  - lhs :: [Type v loc]
  - rhs :: [Type v loc]
  - tlhs :: Type v loc
  - trhs :: Type v loc
  - abilityCheckFailureSite :: loc
  - note :: ErrorNote v loc
  }
- | AbilityEqFailureFromAp {
  - lhs :: [Type v loc]
  - rhs :: [Type v loc]
  - tlhs :: Type v loc
  - trhs :: Type v loc
  - expectedSite :: Term v loc
  - mismatchSite :: Term v loc
  - note :: ErrorNote v loc
  }
- | UnguardedLetRecCycle {
  - cycle :: [v]
  - cycleLocs :: [loc]
  - note :: ErrorNote v loc
  }
- | UnknownType {
  - unknownTypeV :: v
  - typeSite :: loc
  - note :: ErrorNote v loc
  }
- | UnknownTerm {
  - unknownTermV :: v
  - termSite :: loc
  - suggestions :: [Suggestion v loc]
  - expectedType :: Type v loc
  - note :: ErrorNote v loc
  }
- | DuplicateDefinitions {
  - defns :: NonEmpty (v, [loc])
  - note :: ErrorNote v loc
  }
- | UncoveredPatterns loc (NonEmpty (Pattern ()))
- | RedundantPattern loc
- | KindInferenceFailure (KindError v loc)
- | Other (ErrorNote v loc)
type RedundantTypeAnnotation = Bool
data TypeInfo v loc = TopLevelComponent {
- definitions :: [(v, Type v loc, RedundantTypeAnnotation)]
}
type TypeNote v loc = Either (TypeError v loc) (TypeInfo v loc)
typeErrorFromNote :: (Ord loc, Show loc, Var v) => ErrorNote v loc -> TypeError v loc
typeInfoFromNote :: (Ord loc, Show loc, Var v) => InfoNote v loc -> Maybe (TypeInfo v loc)
allErrors :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
topLevelComponent :: InfoExtractor v a (TypeInfo v a)
redundantPattern :: ErrorExtractor v a (TypeError v a)
kindInferenceFailure :: ErrorExtractor v a (TypeError v a)
uncoveredPatterns :: ErrorExtractor v a (TypeError v a)
abilityCheckFailure :: ErrorExtractor v a (TypeError v a)
abilityEqFailure :: ErrorExtractor v a (TypeError v a)
duplicateDefinitions :: ErrorExtractor v a (TypeError v a)
unknownType :: ErrorExtractor v loc (TypeError v loc)
unknownTerm :: Var v => ErrorExtractor v loc (TypeError v loc)
generalMismatch :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
and :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
or :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
cond :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
matchGuard :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
unguardedCycle :: ErrorExtractor v loc (TypeError v loc)
booleanMismatch0 :: (Var v, Ord loc) => BooleanMismatch -> SubseqExtractor v loc () -> ErrorExtractor v loc (TypeError v loc)
existentialMismatch0 :: (Var v, Ord loc) => ExistentialMismatch -> SubseqExtractor v loc loc -> ErrorExtractor v loc (TypeError v loc)
ifBody :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
listBody :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
matchBody :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc)
applyingNonFunction :: Var v => ErrorExtractor v loc (TypeError v loc)
applyingFunction :: forall v loc. Var v => ErrorExtractor v loc (TypeError v loc)
inSubtypes :: SubseqExtractor v loc (Type v loc, Type v loc, Maybe (Type v loc, Type v loc))

Documentation

data BooleanMismatch Source #

Constructors

CondMismatch
AndMismatch
OrMismatch
GuardMismatch

Instances

Instances details

Show BooleanMismatch Source #
Instance details Defined in Unison.Typechecker.TypeError Methods showsPrec :: Int -> BooleanMismatch -> ShowS # show :: BooleanMismatch -> String # showList :: [BooleanMismatch] -> ShowS #

data ExistentialMismatch Source #

Constructors

IfBody
ListBody
CaseBody

Instances

Instances details

Show ExistentialMismatch Source #
Instance details Defined in Unison.Typechecker.TypeError Methods showsPrec :: Int -> ExistentialMismatch -> ShowS # show :: ExistentialMismatch -> String # showList :: [ExistentialMismatch] -> ShowS #

data TypeError v loc Source #

Constructors

Mismatch
Fields foundType :: Type v loc expectedType :: Type v loc foundLeaf :: Type v loc expectedLeaf :: Type v loc mismatchSite :: Term v loc note :: ErrorNote v loc
BooleanMismatch
Fields getBooleanMismatch :: BooleanMismatch mismatchSite :: Term v loc foundType :: Type v loc note :: ErrorNote v loc
ExistentialMismatch
Fields getExistentialMismatch :: ExistentialMismatch expectedType :: Type v loc expectedLoc :: loc foundType :: Type v loc mismatchSite :: Term v loc note :: ErrorNote v loc
FunctionApplication
Fields f :: Term v loc ft :: Type v loc arg :: Term v loc argNum :: Int foundType :: Type v loc expectedType :: Type v loc leafs :: Maybe (Type v loc, Type v loc) solvedVars :: [(v, Type v loc)] note :: ErrorNote v loc
NotFunctionApplication
Fields f :: Term v loc ft :: Type v loc note :: ErrorNote v loc
AbilityCheckFailure
Fields ambient :: [Type v loc] requested :: [Type v loc] abilityCheckFailureSite :: loc note :: ErrorNote v loc
AbilityEqFailure
Fields lhs :: [Type v loc] rhs :: [Type v loc] tlhs :: Type v loc trhs :: Type v loc abilityCheckFailureSite :: loc note :: ErrorNote v loc
AbilityEqFailureFromAp
Fields lhs :: [Type v loc] rhs :: [Type v loc] tlhs :: Type v loc trhs :: Type v loc expectedSite :: Term v loc mismatchSite :: Term v loc note :: ErrorNote v loc
UnguardedLetRecCycle
Fields cycle :: [v] cycleLocs :: [loc] note :: ErrorNote v loc
UnknownType
Fields unknownTypeV :: v typeSite :: loc note :: ErrorNote v loc
UnknownTerm
Fields unknownTermV :: v termSite :: loc suggestions :: [Suggestion v loc] expectedType :: Type v loc note :: ErrorNote v loc
DuplicateDefinitions
Fields defns :: NonEmpty (v, [loc]) note :: ErrorNote v loc
UncoveredPatterns loc (NonEmpty (Pattern ()))
RedundantPattern loc
KindInferenceFailure (KindError v loc)
Other (ErrorNote v loc)

Instances

Instances details

(Var v, Show loc, Ord loc) => Show (TypeError v loc) Source #
Instance details Defined in Unison.Typechecker.TypeError Methods showsPrec :: Int -> TypeError v loc -> ShowS # show :: TypeError v loc -> String # showList :: [TypeError v loc] -> ShowS #

type RedundantTypeAnnotation = Bool Source #

data TypeInfo v loc Source #

Constructors

TopLevelComponent
Fields definitions :: [(v, Type v loc, RedundantTypeAnnotation)]

Instances

Instances details

Show v => Show (TypeInfo v loc) Source #
Instance details Defined in Unison.Typechecker.TypeError Methods showsPrec :: Int -> TypeInfo v loc -> ShowS # show :: TypeInfo v loc -> String # showList :: [TypeInfo v loc] -> ShowS #

type TypeNote v loc = Either (TypeError v loc) (TypeInfo v loc) Source #

typeErrorFromNote :: (Ord loc, Show loc, Var v) => ErrorNote v loc -> TypeError v loc Source #

typeInfoFromNote :: (Ord loc, Show loc, Var v) => InfoNote v loc -> Maybe (TypeInfo v loc) Source #

allErrors :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

topLevelComponent :: InfoExtractor v a (TypeInfo v a) Source #

redundantPattern :: ErrorExtractor v a (TypeError v a) Source #

kindInferenceFailure :: ErrorExtractor v a (TypeError v a) Source #

uncoveredPatterns :: ErrorExtractor v a (TypeError v a) Source #

abilityCheckFailure :: ErrorExtractor v a (TypeError v a) Source #

abilityEqFailure :: ErrorExtractor v a (TypeError v a) Source #

duplicateDefinitions :: ErrorExtractor v a (TypeError v a) Source #

unknownType :: ErrorExtractor v loc (TypeError v loc) Source #

unknownTerm :: Var v => ErrorExtractor v loc (TypeError v loc) Source #

generalMismatch :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

and :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

or :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

cond :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

matchGuard :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

unguardedCycle :: ErrorExtractor v loc (TypeError v loc) Source #

booleanMismatch0 :: (Var v, Ord loc) => BooleanMismatch -> SubseqExtractor v loc () -> ErrorExtractor v loc (TypeError v loc) Source #

helper function to support and or cond

existentialMismatch0 :: (Var v, Ord loc) => ExistentialMismatch -> SubseqExtractor v loc loc -> ErrorExtractor v loc (TypeError v loc) Source #

ifBody :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

listBody :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

matchBody :: (Var v, Ord loc) => ErrorExtractor v loc (TypeError v loc) Source #

applyingNonFunction :: Var v => ErrorExtractor v loc (TypeError v loc) Source #

applyingFunction :: forall v loc. Var v => ErrorExtractor v loc (TypeError v loc) Source #

Want to collect this info: The nth argument to $sel:f:Mismatch is $sel:foundType:Mismatch, but I was expecting $sel:expectedType:Mismatch.

30 | asdf asdf asdf

If you're curious $sel:f:Mismatch has type blah, where a was chosen as A b was chosen as B c was chosen as C (many colors / groups)

inSubtypes :: SubseqExtractor v loc (Type v loc, Type v loc, Maybe (Type v loc, Type v loc)) Source #