python
diff --git a/‎mypyc/primitives/set_ops.py
Copy file name to clipboardExpand all lines: mypyc/primitives/set_ops.py
+15-1Lines changed: 15 additions & 1 deletion b/‎mypyc/primitives/set_ops.py
Copy file name to clipboardExpand all lines: mypyc/primitives/set_ops.py
+15-1Lines changed: 15 additions & 1 deletion
diff --git a/‎mypyc/test-data/fixtures/ir.py
Copy file name to clipboardExpand all lines: mypyc/test-data/fixtures/ir.py
+7-1Lines changed: 7 additions & 1 deletion b/‎mypyc/test-data/fixtures/ir.py
Copy file name to clipboardExpand all lines: mypyc/test-data/fixtures/ir.py
+7-1Lines changed: 7 additions & 1 deletion
diff --git a/‎mypyc/test-data/fixtures/typing-full.pyi
Copy file name to clipboardExpand all lines: mypyc/test-data/fixtures/typing-full.pyi
+2Lines changed: 2 additions & 0 deletions b/‎mypyc/test-data/fixtures/typing-full.pyi
Copy file name to clipboardExpand all lines: mypyc/test-data/fixtures/typing-full.pyi
+2Lines changed: 2 additions & 0 deletions
diff --git a/‎mypyc/test-data/run-python37.test
Copy file name to clipboardExpand all lines: mypyc/test-data/run-python37.test
+8-2Lines changed: 8 additions & 2 deletions b/‎mypyc/test-data/run-python37.test
Copy file name to clipboardExpand all lines: mypyc/test-data/run-python37.test
+8-2Lines changed: 8 additions & 2 deletions
@@ -1,13 +1,27 @@
 """Primitive set (and frozenset) ops."""
 
-from mypyc.primitives.registry import function_op, method_op, binary_op, ERR_NEG_INT
+from mypyc.primitives.registry import (
+    load_address_op, function_op, method_op, binary_op, ERR_NEG_INT
+)
 from mypyc.ir.ops import ERR_MAGIC, ERR_FALSE
 from mypyc.ir.rtypes import (
     object_rprimitive, bool_rprimitive, set_rprimitive, c_int_rprimitive, pointer_rprimitive,
     bit_rprimitive
 )
 
 
+# Get the 'builtins.set' type object.
+load_address_op(
+    name='builtins.set',
+    type=object_rprimitive,
+    src='PySet_Type')
+
+# Get the 'builtins.frozenset' tyoe object.
+load_address_op(
+    name='builtins.frozenset',
+    type=object_rprimitive,
+    src='PyFrozenSet_Type')
+
 # Construct an empty set.
 new_set_op = function_op(
     name='builtins.set',
 
@@ -3,7 +3,7 @@
 
 from typing import (
     TypeVar, Generic, List, Iterator, Iterable, Dict, Optional, Tuple, Any, Set,
-    overload, Mapping, Union, Callable, Sequence,
+    overload, Mapping, Union, Callable, Sequence, FrozenSet
 )
 
 T = TypeVar('T')
@@ -213,6 +213,12 @@ def pop(self) -> T: pass
     def update(self, x: Iterable[S]) -> None: pass
     def __or__(self, s: Set[S]) -> Set[Union[T, S]]: ...
 
+class frozenset(Generic[T]):
+    def __init__(self, i: Optional[Iterable[T]] = None) -> None: pass
+    def __iter__(self) -> Iterator[T]: pass
+    def __len__(self) -> int: pass
+    def __or__(self, s: FrozenSet[S]) -> FrozenSet[Union[T, S]]: ...
+
 class slice: pass
 
 class range(Iterable[int]):
 
@@ -19,6 +19,8 @@ TypeVar = 0
 Generic = 0
 Protocol = 0
 Tuple = 0
+Set = 0
+FrozenSet = 0
 Callable = 0
 _promote = 0
 NamedTuple = 0
 
@@ -3,7 +3,7 @@
 [case testRunDataclass]
 import dataclasses
 from dataclasses import dataclass, field
-from typing import Set, List, Callable, Any
+from typing import Set, FrozenSet, List, Callable, Any
 
 @dataclass
 class Person1:
@@ -68,8 +68,13 @@ class Person4:
     def name(self) -> str:
         return self._name
 
+@dataclass
+class Person5:
+    friends: Set[str] = field(default_factory=set)
+    parents: FrozenSet[str] = frozenset()
+
 [file other.py]
-from native import Person1, Person1b, Person2, Person3, Person4, testBool
+from native import Person1, Person1b, Person2, Person3, Person4, Person5, testBool
 i1 = Person1(age = 5, name = 'robot')
 assert i1.age == 5
 assert i1.name == 'robot'
@@ -117,6 +122,7 @@ assert i8 > i9
 
 assert Person1.__annotations__ == {'age': int, 'name': str}
 assert Person2.__annotations__ == {'age': int, 'name': str}
+assert Person5.__annotations__ == {'friends': set, 'parents': frozenset}
 
 [file driver.py]
 import sys