search

connorjacobsen / iris

The Iris programming language
MIT License
8 stars 1 forks source link

Array Type #8

Open connorjacobsen opened 8 years ago

connorjacobsen commented 8 years ago

Implement fixed-size, single-type array type. #2 should be based on this type (for now).

connorjacobsen commented 8 years ago

Borrowing OCaml array syntax for now:

[| 1, 2, 3 |]
connorjacobsen commented 8 years ago

Not going to worry about strict type enforcement for now. That will be something to address when the type checker gets implemented.