search

tolysz / hiccup

Automatically exported from code.google.com/p/hiccup
GNU Lesser General Public License v2.1
1 stars 0 forks source link

Current Frame should be part of the state. #52

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Many basic operations require the current Frame, and it always needs to be
pulled off of the stack. 

The Frame should be a part of the TclState data type, then shuffled on and
off of the stack as needed.

This probably will make some things speedier, and it does a much better job
of ensuring that the stack isn't empty.

Type-based statically verifiable correctness FTW.

Original issue reported on code.google.com by consa...@gmail.com on 27 Feb 2008 at 11:48

GoogleCodeExporter commented 9 years ago 
Note: Attempted, was kinda ugly.

Perhaps the stack should be its own data type, so it isn't possible to have a
mismatch between the stack and the current frame.

Original comment by consa...@gmail.com on 28 Feb 2008 at 1:58

GoogleCodeExporter commented 9 years ago

Original comment by consa...@gmail.com on 7 May 2008 at 8:26