search

jkenda / aback

A stack-oriented language that uses Polish notation which can be reversed using the ; operator (previously |>)
0 stars 0 forks source link

memory #1

Closed jkenda closed 7 months ago

jkenda commented 7 months ago 
mem name type size end
type typ =
(* ... *)
| Local_ptr of typ
| Global_ptr of typ * int

type data =
(* ... *)
| Local_ptr of string * typ * int
| Global_ptr of typ * int

let str_addr = Local_ptr ("strs", String, 1) in
(* ... *)