search

microsoft / Armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.
Other
137 stars 19 forks source link

Pointers to non-heap types don't cause errors #9

Closed jaylorch closed 3 years ago

jaylorch commented 3 years ago

It's not meaningful to declare a pointer to a non-heap type like a datatype, but the parser allows it. It should generate an error.