Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
types
types.ml
Find file
Blame
History
Permalink
Add a simplification pass in the pretty-printer, to prevent generating
· edd4e79d
Kim Nguyễn
authored
Mar 18, 2015
exponentially large types in some cases. This simplifies types of the form: T & 'a | T \ 'a into T.
edd4e79d