Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
typing
typer.ml
Find file
Blame
History
Permalink
Fix the check that no polymorphic variables occurs in the accepted type of a pattern.
· 9d34f8a7
Kim Nguyễn
authored
Dec 04, 2014
9d34f8a7