Added coreid type.
authorMark Nevill <nevillm@ethz.ch>
Mon, 23 Jan 2012 11:59:14 +0000 (12:59 +0100)
committerMark Nevill <nevillm@ethz.ch>
Mon, 23 Jan 2012 11:59:14 +0000 (12:59 +0100)
commit4b4d895c9b9c6258ee5192722376e3cbd7dec31b
tree4ab4948231a6b6fa8d7bafa851dec1f1b3da3e35
parentc786139ab111cbedfcb4daf3bb4dc0552d8dc044
Added coreid type.
capabilities/caps.hl
tools/hamlet/HamletAst.lhs
tools/hamlet/HamletBackend.lhs