Quasi-useful debug output
This commit is contained in:
parent
ab64f71766
commit
bc4c080641
|
@ -364,6 +364,8 @@
|
||||||
(define (apply-patch! ds ac delta)
|
(define (apply-patch! ds ac delta)
|
||||||
(when (not (bag-empty? delta))
|
(when (not (bag-empty? delta))
|
||||||
(define ds-assertions (dataspace-assertions ds))
|
(define ds-assertions (dataspace-assertions ds))
|
||||||
|
;; (log-info "apply-patch! ~a ~v" ac delta)
|
||||||
|
;; (for [((a c) (in-bag/count ds-assertions))] (log-info " . ~v = ~v" a c))
|
||||||
(define rt (dataspace-routing-table ds))
|
(define rt (dataspace-routing-table ds))
|
||||||
(define new-cleanup-changes
|
(define new-cleanup-changes
|
||||||
(for/fold [(cleanup-changes (actor-cleanup-changes ac))] [((a count) (in-bag/count delta))]
|
(for/fold [(cleanup-changes (actor-cleanup-changes ac))] [((a count) (in-bag/count delta))]
|
||||||
|
|
|
@ -248,6 +248,11 @@
|
||||||
(modify-skconst! proj-handler term0)
|
(modify-skconst! proj-handler term0)
|
||||||
(hash-for-each (skeleton-matched-constant-table proj-handler)
|
(hash-for-each (skeleton-matched-constant-table proj-handler)
|
||||||
(lambda (variable-proj acc)
|
(lambda (variable-proj acc)
|
||||||
|
;; (when restriction-path
|
||||||
|
;; (log-info "Restriction path ~v in effect; variable-proj is ~v, and term is ~v"
|
||||||
|
;; restriction-path
|
||||||
|
;; variable-proj
|
||||||
|
;; term0))
|
||||||
(when (or (not restriction-path)
|
(when (or (not restriction-path)
|
||||||
(equal? restriction-path variable-proj))
|
(equal? restriction-path variable-proj))
|
||||||
(define variables (apply-projection term0-term variable-proj))
|
(define variables (apply-projection term0-term variable-proj))
|
||||||
|
@ -278,6 +283,9 @@
|
||||||
(define (add-term-to-skconst! skconst term)
|
(define (add-term-to-skconst! skconst term)
|
||||||
(hash-set! (skeleton-matched-constant-cache skconst) term #t))
|
(hash-set! (skeleton-matched-constant-cache skconst) term #t))
|
||||||
(define (add-term-to-skacc! skacc vars _term)
|
(define (add-term-to-skacc! skacc vars _term)
|
||||||
|
;; (log-info ">>>>>> At addition time for ~v, cache has ~v"
|
||||||
|
;; _term
|
||||||
|
;; (hash-ref (skeleton-accumulator-cache skacc) vars 0))
|
||||||
(match (bag-change! (skeleton-accumulator-cache skacc) vars 1)
|
(match (bag-change! (skeleton-accumulator-cache skacc) vars 1)
|
||||||
['absent->present
|
['absent->present
|
||||||
(hash-for-each (skeleton-accumulator-handlers skacc)
|
(hash-for-each (skeleton-accumulator-handlers skacc)
|
||||||
|
@ -299,6 +307,7 @@
|
||||||
(hash-remove! (skeleton-matched-constant-cache skconst) term))
|
(hash-remove! (skeleton-matched-constant-cache skconst) term))
|
||||||
(define (remove-term-from-skacc! skacc vars _term)
|
(define (remove-term-from-skacc! skacc vars _term)
|
||||||
(define cache (skeleton-accumulator-cache skacc))
|
(define cache (skeleton-accumulator-cache skacc))
|
||||||
|
;; (log-info ">>>>>> At removal time for ~v, cache has ~v" _term (hash-ref cache vars 0))
|
||||||
(if (bag-member? cache vars)
|
(if (bag-member? cache vars)
|
||||||
(match (bag-change! cache vars -1)
|
(match (bag-change! cache vars -1)
|
||||||
['present->absent
|
['present->absent
|
||||||
|
|
Loading…
Reference in New Issue