Remove NotTypeFilter

Description

We have inherited both a positive and negative atomic type proposition
from occurrence typing. Since we have intersection and negation types
in Typed Clojure, we can replace negative type propositions with
positive type propositions on a negated type.

(! (U nil false) x)

becomes

(is (Not (U nil false)) x)

Work started here: https://github.com/typedclojure/core.typed/pull/25

Environment

None

Activity

Show:
Ambrose Bonnaire-Sergeant
December 4, 2017, 9:13 AM

Not urgent.

Declined

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Ambrose Bonnaire-Sergeant

Labels

None

Approval

None

Patch

None

Fix versions

Priority

Minor