Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Define type filtering through an intersection operation #10781

Merged
merged 8 commits into from Jul 25, 2021
Merged

Define type filtering through an intersection operation #10781

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
74f931f
Define type filtering through an intersection operation
HertzDevil Jun 3, 2021
529537f
Remove MatchContext#strict?
HertzDevil Jun 3, 2021
b9232f0
Don't use Type.descendent? at all
HertzDevil Jun 3, 2021
bf84c3f
Extra refactoring
HertzDevil Jun 3, 2021
35accee
Merge remote-tracking branch 'upstream/master' into refactor/restrict…
HertzDevil Jun 18, 2021
253004a
fixup
HertzDevil Jun 18, 2021
5c4b946
Fix uninstantiated generic classes casting to themselves (#10883)
HertzDevil Jul 2, 2021
eef1a97
Merge branch 'master' into refactor/restrict-type3
straight-shoota Jul 23, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
6 changes: 2 additions & 4 deletions src/compiler/crystal/semantic/match.cr
View file
Open in desktop
Expand Up @@ -46,12 +46,10 @@ module Crystal
# Any instance variables associated with the method instantiation
getter free_vars : Hash(String, TypeVar)?

getter? strict : Bool

# Def free variables, unbound (`def (X, Y) ...`)
property def_free_vars : Array(String)?

def initialize(@instantiated_type, @defining_type, @free_vars = nil, @strict = false, @def_free_vars = nil)
def initialize(@instantiated_type, @defining_type, @free_vars = nil, @def_free_vars = nil)
end

def get_free_var(name)
Expand Down Expand Up @@ -93,7 +91,7 @@ module Crystal
end

def clone
MatchContext.new(@instantiated_type, @defining_type, @free_vars.dup, @strict, @def_free_vars.dup)
MatchContext.new(@instantiated_type, @defining_type, @free_vars.dup, @def_free_vars.dup)
end
end

Expand Down