PR #13874 [red-knot] Literal special form

Glyphack force pushed from 237eb285 to 6325a984 1 year ago

Glyphack force pushed from 6325a984 to c04d4f32 1 year ago

Glyphack force pushed from 0e42f90d to 3fe84bdc 1 year ago

Glyphack force pushed from 3fe84bdc to fbcc66cf 1 year ago

Glyphack marked this pull request as ready for review 1 year ago

Glyphack requested a review from

carljm 1 year ago

Glyphack requested a review from

MichaReiser 1 year ago

Glyphack requested a review from

AlexWaygood 1 year ago

carljm requested changes on 2024-10-22

carljm added ty

Glyphack force pushed from a0cf7afb to 855405c9 1 year ago

Glyphack force pushed from bb69a4c6 to a5a4f7f2 1 year ago

AlexWaygood commented on 2024-10-27

Handle Literal special form

3994c5dd

Update test comments

2bcd3d90

Create InstanceType value for Type::Instance

2cbc65fc

Handle inferring Literal type annotation

2bb37dcb

Handle legal and illegal parameterization for literals

93e33587

Glyphack force pushed from 3fc52a55 to 93e33587 1 year ago

Add todo for producing correct unions with literals

c69d1dc2

Cargo clippy fix

ea75875d

Glyphack requested a review from

carljm 1 year ago

Glyphack requested a review from

AlexWaygood 1 year ago

Glyphack changed the title ~~Add Literal special form to types~~ Literal special form 1 year ago

Glyphack changed the title ~~Literal special form~~ [red-knot] Literal special form 1 year ago

Update instance.md

52b6ea8f

Glyphack commented on 2024-10-28

Update infer.rs

eea67c00

Glyphack commented on 2024-10-28

don't intern InstanceType

a3cfd303

carljm requested changes on 2024-10-28

Update crates/red_knot_python_semantic/src/types.rs

68fbb1a1

Update crates/red_knot_python_semantic/src/types/infer.rs

063d52fe

Update crates/red_knot_python_semantic/src/types.rs

07698e47

AlexWaygood commented on 2024-10-29

Update crates/red_knot_python_semantic/src/stdlib.rs

4ed30074

Merge branch 'main' into literal-type

4916142c

Update crates/red_knot_python_semantic/resources/mdtest/literal/liter…

aad11c86

Renamed all usages of Instance(class)

1699d2cf

Remove duplicate test case

1a7b01ab

Replace Instance(class) with Instance(instance)

7b8dd856

Add more tests for literal

351727b5

Check module name for detecting Literals

7c3a1fe1

Merge branch 'main' of github.com:astral-sh/ruff into literal-type

c2d8158b

Remove literal illegal parameter arguments message

804d5dda

Mark typing_extensions test case as todo

35f65bc4

Unpack class type of instance in match

00af5154

Move infer_subscript_type_expression to type annotation inference impl

b821a32a

Move comment about inferring Literal parameters to right place

8c12696b

Update crates/red_knot_python_semantic/src/types/infer.rs

1c90a58d

Merge branch 'literal-type' of github.com:Glyphack/ruff into literal-…

a3be3d5a

Apply comments

89f5a9b0

Glyphack requested a review from

sharkdp 1 year ago

Update test description

6b056170

Reformat literal test

6830f388

Remove assignment to infer type from annotation

93c8e4dc

Replace Type::Instance(class) with Type::Instance(instance)

b618fad4

Reorder test cases for Literal

38ada284

Revert unnecessary change

4f6ec8c6

Fix converting ClassLiteral to Instance

be1a6170

Remove is_known_class from instance type

3c937ef5

Unpack class type when matching instance

eb30e9b4

Use InstanceType::anonymous method

2b78629b

Reformat code

95a71183

Glyphack commented on 2024-11-02

Update crates/red_knot_python_semantic/src/types/builder.rs

bb59ec86

Glyphack commented on 2024-11-02

Update crates/red_knot_python_semantic/src/types/infer.rs

a6756959

Merge branch 'main' into literal-type

1be6c403

Fix

2b6cb4b6

Reorder imports

fa37e423

Reformat test

67c1deba

Fix infer type for todo cases

47c9d2b3

Glyphack requested a review from

AlexWaygood 1 year ago

Glyphack requested a review from

carljm 1 year ago

AlexWaygood commented on 2024-11-04

Apply suggestions from code review

9a73ab2d

Merge branch 'main' into literal-type

d1f5d823

fix wrong-Literal test

8880e2ea

display Literal differently from _SpecialForm

2d6c97ea

carljm commented on 2024-11-05

Merge branch 'main' into literal-type

06d550d7

improve error handling

1d081dd4

carljm approved these changes on 2024-11-05

tighten up handling of nested Literal

cf71e88a

carljm enabled auto-merge (squash) 1 year ago

carljm merged 9dddd73c into main 1 year ago

Glyphack deleted the literal-type branch 1 year ago

ruff
[red-knot] Literal special form
#13874

Merged

[red-knot] Literal special form #13874

ruff [red-knot] Literal special form #13874 Merged

[red-knot] Literal special form #13874

ruff
[red-knot] Literal special form
#13874

Merged