Add a REAL janky result extractor
This'll have to get overhauled once we support multi-goal queries, but for now
it'll do the job.
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Fri, 15 Apr 2016 22:42:03 +0000 |
| parents |
1dd07907df49 |
| children |
2f0b5c92febe |
(in-package #:bones.wam)
(deftype heap-cell ()
`(unsigned-byte ,+cell-width+))
(deftype heap-cell-tag ()
`(unsigned-byte ,+cell-tag-width+))
(deftype heap-cell-value ()
`(unsigned-byte ,+cell-value-width+))
(deftype heap-index ()
`(integer 0 ,(1- +heap-limit+)))
(deftype stack-index ()
`(integer 0 ,(1- +stack-limit+)))
(deftype register-index ()
`(integer 0 ,(1- +register-count+)))
(deftype functor-index ()
`(integer 0 ,(1- array-total-size-limit)))
(deftype arity ()
`(integer 0 ,+maximum-arity+))
(deftype functor ()
'(cons symbol arity))
(deftype code-word ()
`(unsigned-byte ,+code-word-size+))
(deftype code-index ()
; either an address or the sentinal
`(integer 0 ,(1- +code-limit+)))
(deftype opcode ()
'(integer 0 12))
(deftype register-designator ()
'code-word)
(deftype register-designator-tag ()
`(member
,+tag-stack-register+
,+tag-local-register+))
(deftype stack-frame-size ()
`(integer 0 ,+register-count+))
(deftype continuation-pointer ()
'code-index)
(deftype environment-pointer ()
'stack-index)
(deftype stack-cell ()
'(or
environment-pointer ; CE
continuation-pointer ; CP
stack-frame-size ; N
heap-index)) ; YN