"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "analysis/analysisError.mli" between
pyre-check-0.0.54.tar.gz and pyre-check-0.0.55.tar.gz

About: Pyre is a performant type checker for Python (ships with Pysa, a security focused static analysis tool).

analysisError.mli  (pyre-check-0.0.54):analysisError.mli  (pyre-check-0.0.55)
skipping to change at line 192 skipping to change at line 192
matching_overload: Type.t Type.Callable.overload; matching_overload: Type.t Type.Callable.overload;
unmatched_location: Location.t; unmatched_location: Location.t;
} }
| Parameters of { | Parameters of {
name: Reference.t; name: Reference.t;
location: Location.t; location: Location.t;
} }
| DifferingDecorators | DifferingDecorators
| MisplacedOverloadDecorator | MisplacedOverloadDecorator
and incompatible_parameter_kind = and unsupported_operand_kind =
| Operand of { | Binary of {
operator_name: Identifier.t; operator_name: Identifier.t;
left_operand: Type.t; left_operand: Type.t;
right_operand: Type.t; right_operand: Type.t;
} }
| Argument of { | Unary of {
name: Identifier.t option; operator_name: Identifier.t;
position: int; operand: Type.t;
callee: Reference.t option;
mismatch: mismatch;
} }
[@@deriving compare, eq, sexp, show, hash] [@@deriving compare, eq, sexp, show, hash]
type invalid_decoration_reason = type invalid_decoration_reason =
| CouldNotResolve | CouldNotResolve
| CouldNotResolveArgument of Expression.t | CouldNotResolveArgument of Expression.t
| NonCallableDecoratorFactory of Type.t | NonCallableDecoratorFactory of Type.t
| NonCallableDecorator of Type.t | NonCallableDecorator of Type.t
| DecoratorFactoryFailedToApply of kind option | DecoratorFactoryFailedToApply of kind option
| ApplicationFailed of kind option | ApplicationFailed of kind option
skipping to change at line 235 skipping to change at line 233
annotation: Type.t; annotation: Type.t;
test: Expression.t; test: Expression.t;
} }
| IncompatibleAsyncGeneratorReturnType of Type.t | IncompatibleAsyncGeneratorReturnType of Type.t
| IncompatibleAttributeType of { | IncompatibleAttributeType of {
parent: Type.t; parent: Type.t;
incompatible_type: incompatible_type; incompatible_type: incompatible_type;
} }
| IncompatibleAwaitableType of Type.t | IncompatibleAwaitableType of Type.t
| IncompatibleConstructorAnnotation of Type.t | IncompatibleConstructorAnnotation of Type.t
| IncompatibleParameterType of incompatible_parameter_kind | IncompatibleParameterType of {
name: Identifier.t option;
position: int;
callee: Reference.t option;
mismatch: mismatch;
}
| IncompatibleReturnType of { | IncompatibleReturnType of {
mismatch: mismatch; mismatch: mismatch;
is_implicit: bool; is_implicit: bool;
is_unimplemented: bool; is_unimplemented: bool;
define_location: Location.t; define_location: Location.t;
} }
| IncompatibleVariableType of { | IncompatibleVariableType of {
incompatible_type: incompatible_type; incompatible_type: incompatible_type;
declare_location: Location.WithPath.t; declare_location: Location.WithPath.t;
} }
skipping to change at line 355 skipping to change at line 358
| UninitializedAttribute of { | UninitializedAttribute of {
name: Identifier.t; name: Identifier.t;
parent: Type.t; parent: Type.t;
mismatch: mismatch; mismatch: mismatch;
kind: class_kind; kind: class_kind;
} }
| Unpack of { | Unpack of {
expected_count: int; expected_count: int;
unpack_problem: unpack_problem; unpack_problem: unpack_problem;
} }
| UnsupportedOperand of unsupported_operand_kind
| UnusedIgnore of int list | UnusedIgnore of int list
| UnusedLocalMode of { | UnusedLocalMode of {
unused_mode: Source.local_mode Node.t; unused_mode: Source.local_mode Node.t;
actual_mode: Source.local_mode Node.t; actual_mode: Source.local_mode Node.t;
} }
| TypedDictionaryInvalidOperation of { | TypedDictionaryInvalidOperation of {
typed_dictionary_name: Identifier.t; typed_dictionary_name: Identifier.t;
field_name: Identifier.t; field_name: Identifier.t;
method_name: Identifier.t; method_name: Identifier.t;
mismatch: mismatch; mismatch: mismatch;
 End of changes. 4 change blocks. 
8 lines changed or deleted 12 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)