; general assertions about reconstruction:
  a varref can only occur at the top of a mark - list
  a varref at the top of the mark - list must either be a top - level - variable
;  or have a value in some mark somewhere (or both).

#lang racket/base

(require (prefix-in kernel: syntax/kerncase)
         racket/contract
         racket/match
         "marks.rkt"
         "model-settings.rkt"
         "shared.rkt"
         "shared-typed.rkt"
         "syntax-hider.rkt"
         "syntax-property.rkt"
         "my-macros.rkt"
         (for-syntax racket/base)
         racket/private/promise)

(define-logger stepper)

(provide/contract
 [reconstruct-completed (syntax?
                         (or/c (listof natural-number/c) false/c)
                         (-> (listof any/c))
                         render-settings?
                         . -> .
                         (vector/c syntax? boolean?))]
 [hide-completed? (syntax? . -> . boolean?)]

 ;; front ends for reconstruct-current
 [reconstruct-left-side (mark-list?
                         (or/c (listof any/c) false/c)
                         render-settings?
                         . -> .
                         syntax?)]
 [reconstruct-right-side (mark-list?
                          (or/c (listof any/c) false/c)
                          render-settings?
                          . -> .
                          syntax?)]
 [reconstruct-double-break (mark-list?
                            render-settings?
                            . -> .
                            (list/c syntax? syntax?))]

 [skip-step? (-> break-kind? (or/c mark-list? false/c) render-settings? boolean?)]
 [step-was-app? (-> mark-list? boolean?)]

 [reset-lazy-tables (-> any)])

(define nothing-so-far (gensym "nothing-so-far-"))

; the let-glump is a structure that contains the reconstruct-time data about
; a let-binding; that is, the names on the left-hand-side, the expression on
; the right-hand side, and the values computed.

(define-struct let-glump (name-set exp val-set))

  split - list : ( ' a - > boolean ) ( listof ' a ) - > ( vector ( listof ' a ) ( listof ' a ) )
  split - list splits a list into two lists at the first element   ( fn element ) = > true ) .
; that is, split-list yields the lists A and B such that (append A B) gives the original
; list, and (fn element) => false for all elements in A, and B is either empty or
; (fn (car B)) => true

(define (split-list fn lst)
  (let loop ([remaining lst] [so-far null])
    (cond [(null? remaining)
           (vector (reverse so-far) null)]
          [else
           (if (fn (car remaining))
               (vector (reverse so-far) remaining)
               (loop (cdr remaining) (cons (car remaining) so-far)))])))

; test cases
  ( test ( vector ' ( 93 4 2 ) ' ( 0 2 1 ) ) split - list ( lambda ( x ) (= x 0 ) ) ' ( 93 4 2 0 2 1 ) )
  ( test ( vector ' ( 3 4 5 ) ' ( ) ) split - list ( lambda ( x ) (= x 0 ) ) ' ( 3 4 5 ) )

  n - split - list :  ( ' a list ) - > ( ' a list ) ( ' a list )
  n - split - list splits a given list A into two lists B and C , such that B contains the
; first n elements of A, and C contains the rest.

(define (n-split-list num lst)
  (when (> num (length lst))
    (error 'n-split-list "can't split list ~a after ~ath element; not long enough" lst num))
  (let loop ([count num] [remaining lst] [so-far null])
    (if (= count 0)
        (vector (reverse so-far) remaining)
        (loop (- count 1) (cdr remaining) (cons (car remaining) so-far)))))

; test cases
  ( test ( vector ' ( a b c ) ' ( d e f ) ) n - split - list 3 ' ( a b c d e f ) )


(define (mark-as-highlight stx)
  (stepper-syntax-property stx 'stepper-highlight #t))
;
;
; ;;  ;;;    ;;;   ;;;   ; ;;         ;   ;   ;;;   ;  ;   ;   ;;;
;;   ;   ;  ;     ;   ;  ;;  ;        ;   ;  ;   ;  ;  ;   ;  ;   ;
;    ;   ;  ;     ;   ;  ;   ;         ; ;       ;  ;  ;   ;  ;   ;
;    ;;;;;  ;     ;   ;  ;   ;  ;;;;;  ; ;    ;;;;  ;  ;   ;  ;;;;;
;    ;      ;     ;   ;  ;   ;         ; ;   ;   ;  ;  ;   ;  ;
;    ;      ;     ;   ;  ;   ;         ;;    ;   ;  ;  ;  ;;  ;
;     ;;;;   ;;;   ;;;   ;   ;          ;     ;;;;; ;   ;; ;   ;;;;


; recon-value print-converts a value. 

(define (recon-value val render-settings [assigned-name #f]
                     [current-so-far nothing-so-far] [seen-promises null])
  (cond
    [(hash-ref finished-xml-box-table val (lambda () #f))
     (stepper-syntax-property #`(quote #,val) 'stepper-xml-value-hint 'from-xml-box)]
    [else
     (define extracted-proc (unwrap-proc val))
     (match (and (annotated-proc? extracted-proc)
                 (annotated-proc-info extracted-proc))
       [(Closure-Record base-name (smrk mark) lifted-index)
        (if base-name
            (let* ([name
                    (if lifted-index
                        (construct-lifted-name (sstx-s base-name) (sstx-s lifted-index))
                        (sstx-s base-name))])
              (if (and assigned-name
                       (free-identifier=? (sstx-s base-name) assigned-name))
                  (recon-source-expr
                   (mark-source mark) (list mark) null null render-settings)
                  #`#,name))
            (recon-source-expr
             (mark-source mark) (list mark) null null render-settings))]
       [#f
        (cond
          ; promise does not have annotation info,
          ; must be from library code, or it's a running promise
          ; or it's a nested promise?
          [(promise? val)
           (cond
             ; running promise cached by recon-inner
             [(or (hash-ref partially-evaluated-promises-table val (λ () #f))
                  ; can be an extra promise layer when dealing with lists
                  (hash-ref partially-evaluated-promises-table (pref val) (λ () #f)))]
             ; running promise not found by search in recon-inner
             ; must be a nested running promise
             [(and (nested-promise-running? val)
                   (not (eq? current-so-far nothing-so-far)))
              (hash-set! partially-evaluated-promises-table val current-so-far)
              current-so-far]
[ ( and ( nested - promise - running ?  )
                     (not (null? last-so-far)))
                last-so-far]
             ; promise is not running if we get here
             [(and (promise-forced? val)
                   (not (nested-promise-running? val))
                   (not (assq val seen-promises)))
              (recon-value (force val) render-settings
                           assigned-name current-so-far
                           (cons (list val assigned-name) seen-promises))]
             ; for cyclic lists, use assigned name if it's available
             [(let ([v (assq val seen-promises)])
                (and v (cadr v)))]
             ; unknown promise: promise not in src code, created in library fn
             [(hash-ref unknown-promises-table val (λ () #f))
              =>
              render-unknown-promise]
             [else ; else generate a fresh unknown promise
              (begin0
                (render-unknown-promise next-unknown-promise)
                (hash-set! unknown-promises-table
                           val next-unknown-promise)
                (set! next-unknown-promise
                      (add1 next-unknown-promise)))])]
          
  STC : handle lists here , instead of deferring to render - to - sexp fn
          ; because there may be nested promises
[ ( null ?  ) # ' empty ]
          [(and (not (null? val))
                (list? val)
                (ormap promise? val))
           (with-syntax
               ([(reconed-vals ...)
                 (for/list ([v (in-list val)])
                   (recon-value v render-settings #f current-so-far seen-promises))])
             (if (render-settings-constructor-style-printing? render-settings)
                 #'(#%plain-app list reconed-vals ...)
                 #'`(reconed-vals ...)))]
          [(and (pair? val)
                (or (promise? (car val))
                    (promise? (cdr val))))
           (with-syntax
               ([reconed-car
                 (recon-value (car val) render-settings
                              #f current-so-far seen-promises)]
                [reconed-cdr
                 (recon-value (cdr val) render-settings
                              #f current-so-far seen-promises)])
             #'(#%plain-app cons reconed-car reconed-cdr))]
          [else
           (define rendered ((render-settings-render-to-sexp render-settings) val))
           (if (symbol? rendered)
               #`#,rendered
               #`(quote #,rendered))])])]))

  STC : helper fns for recon - value , to reconstruct promises
; extract-proc-if-struct : any -> procedure? or any
; Purpose: extracts closure from struct procedure, ie lazy-proc in lazy racket
(define (extract-proc-if-struct f)
  (if (and (procedure? f) (not (annotated-proc? f)))
      (or (procedure-extract-target f)
          f)
      f))
; extract-proc-if-promise : any -> thunk or any
(define (extract-proc-if-promise p)
  (if (promise? p)
      (extract-proc-if-promise (pref p))
      p))
; unwraps struct or promise around procedure
(define (unwrap-proc f)
  (extract-proc-if-promise (extract-proc-if-struct f)))

; nested-promise-running? : Indicates whether a promise is in the "running"
; state. promise-running? in racket/private/promise.rkt only looks down
  one level for a running promise
(define (nested-promise-running? p)
  (if (promise? p)
      (let ([v (pref p)])
        (or (running? v)
            (and (promise? v)
                 (nested-promise-running? v))))
      (raise-type-error 'nested-promise-running? "promise" p)))

; weak hash table to keep track of partially evaluated promises
; where keys = promises, values = syntax
; - initialized on each call to reconstruct-current
    ( ie - each half - step reconstruction )
; - populated on each call to recon-inner
(define partially-evaluated-promises-table null)

; unknown-promises-table : keep track of unknown promises
  ie , promises created from lib fns
(define unknown-promises-table null)
(define next-unknown-promise 0)

;; NaturalNumber -> syntax
(define (render-unknown-promise x)
  #`(quote #,(string->symbol
              (string-append "<DelayedEvaluation#" (number->string x) ">"))))

; This is used when we need the exp associated with a running promise, but the promise is at
; top-level, so it never gets added to partially-evaluated-promises-table
; This is a huge hack and I dont know if it the assumptions I'm making always hold
;  (ie - that the exp associated with any running promise not in
;  partially-evaluated-promises-table is the last so-far),
;  but it's working for all test cases so far 10/29/2010.
;  Another solution is to wrap all lazy programs in a dummy top-level expression???
;  Update 11/1/2010: needed to add the following guards in the code to make the assumptions
;  hold
;                    (guards are mainly triggered when there are infinite lists)
;  - in recon-inner, dont add running promise to partially-evaluated-promises-table if
;    so-far = nothing-so-far
;  - in recon, dont set last-so-far when so-far = nothing-so-far
;  - in recon-value, dont use last-so-far if it hasnt been set (ie - if it's still null)
(define last-so-far null)
;       ;      ;                                                                     ;;;
;       ;                                                          ;                    ;
;  ;;;  ;   ;  ;  ; ;;;         ;    ; ;    ; ;    ;          ;;; ;;;;  ;;;   ; ;;;     ;
; ;     ;  ;   ;  ;;   ;         ;  ;   ;  ;   ;  ;          ;     ;   ;   ;  ;;   ;    ;
; ;     ; ;    ;  ;    ;          ;;     ;;     ;;           ;     ;   ;   ;  ;    ;   ;
;  ;;   ;;     ;  ;    ;  ;;;;;   ;;     ;;     ;;    ;;;;;   ;;   ;   ;;;;;  ;    ;  ;
;    ;  ; ;    ;  ;    ;          ;;     ;;     ;;              ;  ;   ;      ;    ;  ;
;    ;  ;  ;   ;  ;;   ;         ;  ;   ;  ;   ;  ;             ;  ;   ;      ;;   ;
; ;;;   ;   ;  ;  ; ;;;         ;    ; ;    ; ;    ;         ;;;    ;;  ;;;;  ; ;;;   ;
;                 ;                                                           ;
;                 ;                                                           ;

(define (skip-step? break-kind mark-list render-settings)
  (case break-kind
    [(result-value-break)
     (and (pair? mark-list)
          (let ([expr (mark-source (car mark-list))])
            (stepper-syntax-property expr 'stepper-hide-reduction)))]
    [(result-exp-break)
     ;; skip if clauses that are the result of and/or reductions
     (let ([and/or-clauses-consumed (stepper-syntax-property (mark-source (car mark-list))
                                                            'stepper-and/or-clauses-consumed)])
       (and and/or-clauses-consumed
            (> and/or-clauses-consumed 0)))]
    [(normal-break normal-break/values)
     (skip-redex-step? mark-list render-settings)]
    [(double-break)
     (or
      ;; don't stop for a double-break on a let that is the expansion of a 'begin'
      (let ([expr (mark-source (car mark-list))])
        (eq? (stepper-syntax-property expr 'stepper-hint) 'comes-from-begin))
      (not (render-settings-lifting? render-settings)))]
    [(expr-finished-break define-struct-break late-let-break) #f]))

;; skip-redex-step : mark-list? render-settings? -> boolean?
(define (skip-redex-step? mark-list render-settings)

  ;; this could probably be dumped now that we're ignoring steps where
  before & after are the same ( JBC , 2015 - 06 - 24 )
  ;; ... but I'd rather not, because it seems like a somewhat more
  principled way to obtain this result ( JBC , 2015 - 08 - 31 )
  (define (varref-skip-step? varref)
    (with-handlers ([exn:fail:contract:variable? (lambda (dc-exn) #f)])
      (let ([val (lookup-binding mark-list varref)])
        (equal? (syntax->interned-datum (recon-value val render-settings))
                (syntax->interned-datum
                 (case (stepper-syntax-property varref 'stepper-binding-type)
                   ([let-bound]
                    (binding-lifted-name mark-list varref))
                   ([non-lexical]
                    varref)
                   (else
                    (error 'varref-skip-step?
                           "unexpected value for stepper-binding-type: ~e for variable: ~.s\n"
                           (stepper-syntax-property varref 'stepper-binding-type)
                           varref))))))))

  (and (pair? mark-list)
       (let ([expr (mark-source (car mark-list))])
         (or (stepper-syntax-property expr 'stepper-hide-reduction)
             (kernel:kernel-syntax-case
              expr #f
              [id
               (identifier? expr)
               (case (stepper-syntax-property expr 'stepper-binding-type)
                 [(lambda-bound) #t]  ; don't halt for lambda-bound vars
                 [(let-bound)
                  (varref-skip-step? expr)]
                 [(non-lexical)
                  (varref-skip-step? expr)])]
              [(#%top . id-stx)
               (varref-skip-step? #`id-stx)]
              [(#%plain-app . terms) #f]
              [else #f])))))


(define (reset-lazy-tables)
  (set! unknown-promises-table (make-weak-hash))
  (set! next-unknown-promise 0))

(define (second-arg-is-list? mark-list)
  (let ([arg-val (lookup-binding mark-list (get-arg-var 2))])
    (list? arg-val)))

;   ; static-binding-indexer (z:parsed -> integer)
;
;  (define static-binding-indexer
;    (let* ([name-number-table (make-hash-table)]
;           [binding-number-table (make-hash-table-weak)])
;      (lambda (binding)
;        (cond [(hash-table-get binding-number-table binding (lambda () #f)) =>
;               (lambda (x) x)]
;              [else (let* ([orig-name (z:binding-orig-name binding)]
;                           [old-index (hash-table-get name-number-table orig-name (lambda () -1))]
                            [ new - index ( + old - index 1 ) ] )
;                      (hash-table-put! name-number-table orig-name new-index)
;                      (hash-table-put! binding-number-table binding new-index)
;                      new-index)]))))

; construct-lifted-name
; (-> syntax? (or/c num? false/c) symbol?)

(define/contract construct-lifted-name
  (-> syntax? number? syntax?)
  (lambda (binding dynamic-index)
    #`#,(string->symbol
         (string-append (symbol->string (syntax-e binding)) "_"
                        (number->string dynamic-index)))))

; binding-lifted-name

(define/contract binding-lifted-name
  (-> mark-list? syntax? syntax?)
  (lambda (mark-list binding)
    (construct-lifted-name binding (lookup-binding mark-list (get-lifted-var binding)))))


(define (step-was-app? mark-list)
  (and (not (null? mark-list))
       (syntax-case (mark-source (car mark-list)) (#%plain-app)
         [(#%plain-app . rest)
          #t]
         [else
          #f])))





; ;;  ;;;    ;;;   ;;;   ; ;;           ;;;   ;;;   ;   ;  ; ;;  ;;;   ;;;           ;;;  ;    ;  ; ;;;   ; ;;
;;   ;   ;  ;     ;   ;  ;;  ;         ;     ;   ;  ;   ;  ;;   ;     ;   ;         ;   ;  ;  ;   ;;   ;  ;;
;    ;   ;  ;     ;   ;  ;   ;         ;     ;   ;  ;   ;  ;    ;     ;   ;         ;   ;   ;;    ;    ;  ;
;    ;;;;;  ;     ;   ;  ;   ;  ;;;;;   ;;   ;   ;  ;   ;  ;    ;     ;;;;;  ;;;;;  ;;;;;   ;;    ;    ;  ;
;    ;      ;     ;   ;  ;   ;            ;  ;   ;  ;   ;  ;    ;     ;             ;       ;;    ;    ;  ;
;    ;      ;     ;   ;  ;   ;            ;  ;   ;  ;  ;;  ;    ;     ;             ;      ;  ;   ;;   ;  ;
;     ;;;;   ;;;   ;;;   ;   ;         ;;;    ;;;    ;; ;  ;     ;;;   ;;;;          ;;;; ;    ;  ; ;;;   ;
;
;


; recon-source-expr

; recon-source-expr produces the reconstructed version of a given source epxression, using the
; binding information contained in the binding-list.  This happens during reconstruction
; whenever we come upon expressions that we haven't yet evaluated.

  NB : the variable ' dont - lookup ' contains a list of variables whose bindings occur INSIDE the
; expression being evaluated, and hence do not yet have values.

; the 'use-lifted-names' vars are those bound by a let which does have lifted names.  it is
; used in rendering the lifting of a let or local to show the 'after' step, which should show
; the lifted names.

;(-> syntax? mark-list? binding-set? binding-set? render-settings? syntax?)
(define (recon-source-expr expr mark-list dont-lookup use-lifted-names render-settings)
  ;; recur on a subexpression, keeping all other args the same
  (define (recur expr) (recon-source-expr expr mark-list dont-lookup
                                          use-lifted-names render-settings))
  ;; recur on a subexpression, adding the given bindings to the 'dont-lookup' list
  (define (let-recur expr bindings)
    (recon-source-expr expr mark-list (append bindings dont-lookup)
                       use-lifted-names render-settings))

  (or
   (stepper-syntax-property expr 'stepper-black-box-expr)
   (and
    (stepper-syntax-property expr 'stepper-skipto)
    (skipto/auto
    expr
    #t
    ;; transformer:
    (lambda (expr)
      ;; this could have a stepper-black-box-expr, must loop:
      (recon-source-expr expr mark-list dont-lookup use-lifted-names render-settings))))
   (let ()
     ;; reconstruct the source by attaching the keyword to the result of
     ;; reconstructing the subexprs. A common abstraction for if, begin,
     ;; etc.
     (define (recon-basic)
       (with-syntax ([(label . bodies) expr])
         #`(label #,@(map recur (filter-skipped
                                 (syntax->list (syntax bodies)))))))
     (define (recon-let/rec rec?)
       (with-syntax ([(label  ((vars val) ...) body ...) expr])
         (let* ([bindings (map syntax->list (syntax->list
                                             (syntax (vars ...))))]
                [binding-list (apply append bindings)]
                [recur-fn (if rec?
                              (lambda (expr) (let-recur expr binding-list))
                              recur)]
                [right-sides (map recur-fn (syntax->list (syntax (val ...))))]
                [recon-bodies (map (lambda (x) (let-recur x binding-list))
                                   (syntax->list #`(body ...)))])
           (with-syntax
               ([(recon-val ...) right-sides]
                [(recon-body ...) recon-bodies]
                [(new-vars ...)
                 (map (lx (map (lx (if (ormap (lambda (binding)
                                                (bound-identifier=? binding _))
                                              use-lifted-names)
                                       (stepper-syntax-property
                                        _
                                        'stepper-lifted-name
                                        (binding-lifted-name mark-list _))
                                       _))
                               _))
                      bindings)])
             (syntax (label ((new-vars recon-val) ...) recon-body ...))))))
     
     (define (recon-lambda-clause clause)
       (with-syntax ([(args . bodies-stx) clause])
         (let* ([arglist (arglist-flatten #'args)]
                [bodies (map (lambda (body) (let-recur body arglist))
                             (filter-skipped (syntax->list (syntax bodies-stx))))])
           (cons (syntax args) bodies))))
     (define (recon)
       (kernel:kernel-syntax-case
        expr #f
        
        ; lambda
        [(#%plain-lambda . clause-stx)
         (let* ([clause (recon-lambda-clause (syntax clause-stx))])
           #`(#%plain-lambda #,@clause))]
        
        ; case-lambda
        [(case-lambda . clauses-stx)
         (let* ([clauses (map recon-lambda-clause (syntax->list (syntax clauses-stx)))])
           #`(case-lambda #,@clauses))]
        
  if , begin , 
        [(if test then else) (recon-basic)]
        [(if test then) (recon-basic)]
        [(begin . bodies) (recon-basic)]
        [(begin0 . bodies)
         (if (stepper-syntax-property expr 'stepper-fake-exp)
             (if (null? (syntax->list #`bodies))
                 (recon-value (lookup-binding mark-list begin0-temp) render-settings)
  prepend the computed value of the first arg :
                 #`(begin0 #,(recon-value (lookup-binding mark-list begin0-temp) render-settings)
                           #,@(map recur (filter-skipped (syntax->list #`bodies)))))
             (recon-basic))]
        
        ; let-values, letrec-values
        [(let-values . rest) (recon-let/rec #f)]
        [(letrec-values . rest) (recon-let/rec #t)]
        
        ; set!
        [(set! var rhs)
         (let ([rendered-var
                (if (and (ormap (lambda (binding)
                                  (bound-identifier=? binding #`var))
                                dont-lookup)
                         (not (ormap (lambda (binding)
                                       (bound-identifier=? binding #`var))
                                     use-lifted-names)))
                    #`var
                    (reconstruct-set!-var mark-list #`var))])
           #`(set! #,rendered-var #,(recur #'rhs)))]
        
        ; quote
        [(quote body) (recon-value (eval-quoted expr) render-settings)]
        
        ; quote-syntax : like set!, the current stepper cannot handle quote-syntax
        
        ; with-continuation-mark
        [(with-continuation-mark . rest) (recon-basic)]
        
        ; application
        [(#%plain-app . terms) (recon-basic)]
        
  varref
        [var-stx
         (identifier? expr)
         (let* ([var (syntax var-stx)])
           (if (render-settings-all-bindings-mutable? render-settings)
               var
               (cond [(eq? (identifier-binding var) 'lexical)
  has this varref 's binding not been evaluated yet ?
  ( and this varref is n't in the list of must - lookups ? )
                      (if (and (ormap (lambda (binding)
                                        (bound-identifier=? binding var))
                                      dont-lookup)
                               (not (ormap (lambda (binding)
                                             (bound-identifier=? binding var))
                                           use-lifted-names)))
                          var
                          
                          (case (stepper-syntax-property var 'stepper-binding-type)
                            ((lambda-bound)
                             (recon-value (lookup-binding mark-list var) render-settings))
                            ((macro-bound)
                             ; for the moment, let-bound vars occur only in and/or :
                             (recon-value (lookup-binding mark-list var) render-settings))
                            ((let-bound)
                             (if (stepper-syntax-property var 'stepper-no-lifting-info)
                                 var
                                 (stepper-syntax-property var
                                                          'stepper-lifted-name
                                                          (binding-lifted-name mark-list var))))
                            ((stepper-temp)
                             (error 'recon-source-expr
                                    "internal error: stepper-temp showed up in source?!?"))
                            ((non-lexical)
                             (error
                              'recon-source-expr
                              "internal error, unreachable: lexical identifier labeled as non-lexical"))
                            (else
                             (error 'recon-source-expr
                                    "unknown 'stepper-binding-type property: ~a on var: ~a"
                                    (stepper-syntax-property var 'stepper-binding-type)
                                    (syntax->datum var)))))]
                     [else ; top-level-varref
                      (fixup-name
                       var)])))]
        [(#%top . var)
         (syntax var)]
        
        [else
         (error 'recon-source "no matching clause for syntax: ~a" (if (syntax? expr)
                                                                      (syntax->datum expr)
                                                                      expr))]))
     (if (stepper-syntax-property expr 'stepper-prim-name)
         (stepper-syntax-property expr 'stepper-prim-name)
         (let* ()
           (attach-info (recon) expr))))))

;; reconstruct-set!-var

(define (reconstruct-set!-var mark-list var)
  (case (stepper-syntax-property var 'stepper-binding-type)
    ((lambda-bound)
     (error 'reconstruct-inner "lambda-bound variables can't be mutated"))
    ((macro-bound)
     ; for the moment, let-bound vars occur only in and/or :
     (error 'reconstruct-inner "macro-bound variables can't occur in a set!"))
    ((non-lexical) var)
    ((let-bound)
     (stepper-syntax-property var
                              'stepper-lifted-name
                              (binding-lifted-name mark-list var)))
    ((stepper-temp)
     (error 'recon-source-expr "stepper-temp showed up in source?!?"))
    (else
     (error 'recon-source-expr "unknown 'stepper-binding-type property: ~a"
            (stepper-syntax-property var 'stepper-binding-type)))))

  filter - skipped : ( listof syntax ? ) - > ( listof syntax ? )
  filter out any elements of the list with ' stepper - skip - completely set , except those with stepper - prim - name set . ( HACK ) .
(define (filter-skipped los)
  (filter (lambda (stx)
            (or (stepper-syntax-property stx 'stepper-prim-name)
                (stepper-syntax-property stx 'stepper-black-box-expr)
                (not (stepper-syntax-property stx 'stepper-skip-completely))))
          los))


  mflatt : MAJOR HACK - work around the prefix on
;;         beginner name definitions
(define (fixup-name s)
  (let ([m (regexp-match re:beginner: (symbol->string (syntax-e s)))])
    (if m
        (datum->syntax s (string->symbol (cadr m)) s s)
        s)))
(define re:beginner: (regexp "^beginner-(.*)$"))


;; eval-quoted : take a syntax that is an application of quote, and evaluate it (for display)
;; Frankly, I'm worried by the fact that this isn't done at expansion time.

(define (eval-quoted stx)
  (syntax-case stx (quote)
    [(quote . dont-care) (eval stx)]
    [else (error 'eval-quoted "eval-quoted called with syntax that is not a quote: ~v" stx)]))


;                     ;
;                     ;                                          ;         ;               ;
; ;;  ;;;    ;;;   ;;;   ; ;;    ;;; ;;;; ; ;; ;   ;   ;;; ;;;;         ;;;   ;;;   ; ;;; ;;   ; ;;;   ;   ;;;  ;;;;  ;;;    ;;; ;
;;   ;   ;  ;     ;   ;  ;;  ;  ;     ;   ;;   ;   ;  ;     ;          ;     ;   ;  ;;  ;;  ;  ;;   ;  ;  ;   ;  ;   ;   ;  ;   ;;
;    ;   ;  ;     ;   ;  ;   ;  ;     ;   ;    ;   ;  ;     ;          ;     ;   ;  ;   ;   ;  ;    ;  ;  ;   ;  ;   ;   ;  ;    ;
;    ;;;;;  ;     ;   ;  ;   ;   ;;   ;   ;    ;   ;  ;     ;   ;;;;;  ;     ;   ;  ;   ;   ;  ;    ;  ;  ;;;;;  ;   ;;;;;  ;    ;
;    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;   ;  ;     ;          ;     ;   ;  ;   ;   ;  ;    ;  ;  ;      ;   ;      ;    ;
;    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;  ;;  ;     ;          ;     ;   ;  ;   ;   ;  ;;   ;  ;  ;      ;   ;      ;   ;;
;     ;;;;   ;;;   ;;;   ;   ;  ;;;    ;; ;     ;; ;   ;;;   ;;         ;;;   ;;;   ;   ;   ;  ; ;;;   ;   ;;;;   ;;  ;;;;   ;;; ;
;
;


; reconstruct-completed : reconstructs a completed expression or definition.
; Accepts the source expression, a lifting-index which is either a number (indicating
;  a lifted binding) or false (indicating a top-level expression), a list of values
;  currently bound to the bindings, and the language level's render-settings.
;; returns a vector containing a reconstructed expression and a boolean indicating
;; whether this should not be unwound (e.g., is source syntax
;; from a define-struct).

(define (reconstruct-completed exp lifting-indices vals-getter render-settings)
  (if lifting-indices
      (syntax-case exp ()
        [(vars-stx rhs ...)
         (let* ([vars (map (lambda (var index) (stepper-syntax-property var 'stepper-lifted-name (construct-lifted-name var index)))
                           (syntax->list #`vars-stx)
                           lifting-indices)])
           (vector (reconstruct-completed-define exp vars (vals-getter) render-settings) #f))])
      (let ([exp (skipto/auto exp #t (lambda (exp) exp))])
        (cond
          [(stepper-syntax-property exp 'stepper-black-box-expr)
           ;; the hint contains the original syntax
           (vector (stepper-syntax-property exp 'stepper-black-box-expr) #t)]
          ;; for test cases, use the result here as the final result of the expression:
          [(stepper-syntax-property exp 'stepper-use-val-as-final)
           (vector (recon-value (car (vals-getter)) render-settings) #f)]
          [else
           (vector
            (kernel:kernel-syntax-case exp #f
                                       [(define-values vars-stx body)
                                        (reconstruct-completed-define exp (syntax->list #`vars-stx) (vals-getter) render-settings)]
                                       [else
                                        (let* ([recon-vals (map (lambda (val)
                                                                  (recon-value val render-settings))
                                                                (vals-getter))])
                                          (if (= (length recon-vals) 1)
                                              (attach-info (car recon-vals) exp)
                                              (attach-info #`(values #,@recon-vals) exp)))])
            #f)]))))

;; an abstraction lifted from reconstruct-completed
(define (reconstruct-completed-define exp vars vals render-settings)
  (let* ([_ (unless (equal? (length vars) (length vals))
              (error "length of var list and val list unequal: ~v ~v" (map syntax->list vars) vals))]
         [recon-vals (map (lambda (val var)
                            (recon-value val render-settings var))
                          vals
                          vars)])
    (if (= (length recon-vals) 1)
        (attach-info #`(define-values #,vars #,(car recon-vals)) exp)
        (attach-info #`(define-values #,vars (values #,@recon-vals)) exp))))



; : (-> syntax? syntax? syntax?)
(define (reconstruct-top-level source reconstructed)
  (skipto/auto
   source
   #t
   (lambda (source)
     (kernel:kernel-syntax-case
      source #f
      [(define-values vars-stx body)
       (attach-info #`(define-values vars-stx #,reconstructed)
                    source)]
      [else
       reconstructed]))))


;; hide-completed? : syntax? -> boolean?
(define (hide-completed? stx)
  (syntax-case stx ()
    [(define-values (v) rhs)
     (or
      (stepper-syntax-property #'v 'stepper-hide-completed)
      (stepper-syntax-property #'rhs 'stepper-hide-completed))]
    [else #f]))


;                     ;                                               ;
; ;;  ;;;    ;;;   ;;;   ; ;;    ;;; ;;;; ; ;; ;   ;   ;;; ;;;;         ;;;  ;   ;  ; ;; ; ;;  ;;;   ; ;;  ;;;;
;;   ;   ;  ;     ;   ;  ;;  ;  ;     ;   ;;   ;   ;  ;     ;          ;     ;   ;  ;;   ;;   ;   ;  ;;  ;  ;
;    ;   ;  ;     ;   ;  ;   ;  ;     ;   ;    ;   ;  ;     ;          ;     ;   ;  ;    ;    ;   ;  ;   ;  ;
;    ;;;;;  ;     ;   ;  ;   ;   ;;   ;   ;    ;   ;  ;     ;   ;;;;;  ;     ;   ;  ;    ;    ;;;;;  ;   ;  ;
;    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;   ;  ;     ;          ;     ;   ;  ;    ;    ;      ;   ;  ;
;    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;  ;;  ;     ;          ;     ;  ;;  ;    ;    ;      ;   ;  ;
;     ;;;;   ;;;   ;;;   ;   ;  ;;;    ;; ;     ;; ;   ;;;   ;;         ;;;   ;; ;  ;    ;     ;;;;  ;   ;   ;;


;; front ends for reconstruct-current:

(define (reconstruct-left-side mark-list returned-value-list render-settings)
  (reconstruct-current mark-list 'left-side returned-value-list render-settings))


(define (reconstruct-right-side mark-list returned-value-list render-settings)
  (reconstruct-current mark-list 'right-side returned-value-list render-settings))


(define (reconstruct-double-break mark-list render-settings)
  (reconstruct-current mark-list 'double-break null render-settings))


; reconstruct-current : takes a list of marks, the kind of break, and
  any values that may have been returned at the break point . It produces a list of sexps
; (the result of reconstruction) --- which may contain holes, indicated by the
; highlight-placeholder --- and a list of sexps which go in the holes

(define (reconstruct-current mark-list break-kind returned-value-list render-settings)

  ; ;;  ;;;    ;;;   ;;;   ; ;;          ;  ; ;;   ; ;;    ;;;   ; ;;
  ;;   ;   ;  ;     ;   ;  ;;  ;         ;  ;;  ;  ;;  ;  ;   ;  ;;
  ;    ;   ;  ;     ;   ;  ;   ;         ;  ;   ;  ;   ;  ;   ;  ;
  ;    ;;;;;  ;     ;   ;  ;   ;  ;;;;;  ;  ;   ;  ;   ;  ;;;;;  ;
  ;    ;      ;     ;   ;  ;   ;         ;  ;   ;  ;   ;  ;      ;
  ;    ;      ;     ;   ;  ;   ;         ;  ;   ;  ;   ;  ;      ;
  ;     ;;;;   ;;;   ;;;   ;   ;         ;  ;   ;  ;   ;   ;;;;  ;


  (define (recon-inner mark-list so-far)
    (define (recon-source-current-marks expr)
      (recon-source-expr expr mark-list null null render-settings))
    (define top-mark (car mark-list))
    (define exp (mark-source top-mark))
    (define (recon-let)
      (with-syntax ([(label ((vars rhs) ...) . bodies) exp])
        (match-let*
            ([binding-sets (map syntax->list (syntax->list #'(vars ...)))]
             [binding-list (apply append binding-sets)]
             [glumps
              (map (lambda (binding-set rhs)
                     (make-let-glump
                      (map (lambda (binding)
                             (stepper-syntax-property binding
                                                      'stepper-lifted-name
                                                      (binding-lifted-name mark-list binding)))
                           binding-set)
                      rhs
                      (map (lambda (arg-binding)
                             (lookup-binding mark-list arg-binding))
                           binding-set)))
                   binding-sets
                   (syntax->list #`(rhs ...)))]
             [num-defns-done (lookup-binding mark-list let-counter)]
             [(vector done-glumps not-done-glumps)
              (n-split-list num-defns-done glumps)]
             [recon-lifted
              (lambda (names expr)
                #`(#,names #,expr))]
             [before-bindings
              (map
               (lambda (glump)
                 (let* ([name-set (let-glump-name-set glump)]
                        [rhs-val-set (map (lambda (val)
                                            (if (> (length name-set) 0)
                                                (recon-value val render-settings (car name-set))
                                                (recon-value val render-settings)))
                                          (let-glump-val-set glump))])
                   (if (= (length rhs-val-set) 1)
                       #`(#,name-set #,@rhs-val-set)
                       #`(#,name-set (values #,rhs-val-set)))))
               done-glumps)]
             [reconstruct-remaining-def
              (lambda (glump)
                (let ([rhs-source (let-glump-exp glump)]
                      [rhs-name-set (let-glump-name-set glump)])
                  (recon-lifted rhs-name-set
                                (recon-source-current-marks rhs-source))))]
             [after-bindings
              (if (pair? not-done-glumps)
                  (if (eq? so-far nothing-so-far)
                      (map reconstruct-remaining-def not-done-glumps)
                      (cons (recon-lifted (let-glump-name-set (car not-done-glumps)) so-far)
                            (map reconstruct-remaining-def (cdr not-done-glumps))))
                  null)]
             [recon-bindings (append before-bindings after-bindings)]
             [rectified-bodies
              (for/list ([body (in-list (syntax->list #'bodies))])
                        (recon-source-expr body mark-list binding-list binding-list render-settings))])
          (attach-info #`(label #,recon-bindings #,@rectified-bodies) exp))))

  STC : cache any running promises in the top mark
    ; Means that promise is being evaluated.
    ; NOTE: This wont wind running promises nested in another promise.
    ;       Those wont be detected until the outer promise is being
    ;       reconed, so we cant handle it until then.
    (let ([maybe-running-promise
           (findf (λ (f) (and (promise? f) (nested-promise-running? f)))
                  (map mark-binding-value (mark-bindings top-mark)))])
      (when (and maybe-running-promise
                 (not (hash-has-key? partially-evaluated-promises-table
                                     maybe-running-promise))
                 (not (eq? so-far nothing-so-far)))
        (hash-set! partially-evaluated-promises-table
                   maybe-running-promise so-far)))

    (if (stepper-syntax-property exp 'stepper-fake-exp)

        (kernel:kernel-syntax-case exp #f
         [(begin . bodies)
          (if (eq? so-far nothing-so-far)
              (error 'recon-inner "breakpoint before a begin reduction should have a result value in exp: ~a" (syntax->datum exp))
              #`(begin #,so-far #,@(map recon-source-current-marks (cdr (syntax->list #'bodies)))))]
         [(begin0 first-body . rest-bodies)
          (if (eq? so-far nothing-so-far)
              (error 'recon-inner "breakpoint before a begin0 reduction should have a result value in exp: ~a" (syntax->datum exp))
              #`(begin0 #,(recon-value (lookup-binding mark-list begin0-temp) render-settings)
                        #,so-far
                        #,@(map recon-source-current-marks (syntax->list #`rest-bodies))))]
         [else
          (error 'recon-inner "unexpected fake-exp expression: ~a" (syntax->datum exp))])

        (kernel:kernel-syntax-case exp #f
         ; variable references
         [id
          (identifier? (syntax id))
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "variable reference given as context: ~a" exp))]

         [(#%top . id)
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "variable reference given as context: ~a" exp))]

         ; applications
         [(#%plain-app . terms)
          (attach-info
           (match-let*
               ([sub-exprs (syntax->list (syntax terms))]
                [arg-temps (for/list ([i (in-range (length sub-exprs))])
                                     (get-arg-var i))]
                [arg-vals (map (lambda (arg-temp)
                                 (lookup-binding mark-list arg-temp))
                               arg-temps)]
                [(vector evaluated unevaluated) (split-list (lambda (x) (eq? (cadr x) *unevaluated*))
                                                            (zip sub-exprs arg-vals))]
                [rectified-evaluated (map (lx (recon-value _ render-settings #f so-far))
                                          (map cadr evaluated))])
             (case (mark-label (car mark-list))
               ((not-yet-called)
                (if (null? unevaluated)
                    #`(#%plain-app . #,rectified-evaluated)
                    #`(#%plain-app
                       #,@rectified-evaluated
                       #,so-far
                       #,@(map recon-source-current-marks (cdr (map car unevaluated))))))
               ((called) ; unevaluated = null
                (stepper-syntax-property
                 (if (eq? so-far nothing-so-far)
                     (datum->syntax #'here `(,#'#%plain-app ...)) ; in unannotated code ... can this occur?
  do nt show ellipses for force ( and other lazy fns )
                     ; object-name is good enough here, so dont need to add another "special val"
                     (let ([obj-name (object-name (car arg-vals))])
                       (cond [(ormap
                               (lx (eq? obj-name _))
                               '(force ! !! !list !!list
                                       caar cadr cdar cddr caaar caadr cadar caddr cdaar cdadr cddar
                                       cdddr caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr
                                       cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr
                                       first second third fourth fifth sixth seventh eighth take
                                       eq? eqv? equal? list? length list-ref list-tail append reverse
                                       empty? assoc assq assv cons? remove remq remv member memq memv))
                              #`(#%plain-app . #,rectified-evaluated)]
                             [else
                              (datum->syntax #'here `(,#'#%plain-app ... ,so-far ...))])))
                 'stepper-args-of-call
                 rectified-evaluated))
               (else
                (error 'recon-inner "bad label (~v) in application mark in expr: ~a" (mark-label (car mark-list)) exp))))
           exp)]

         ; define-struct
         ;
         ;               [(z:struct-form? expr)
         ;                 (if (comes-from-define-struct? expr)
         ;                     so-far
         ;                     (let ([super-expr (z:struct-form-super expr)]
         ;                           [raw-type (utils:read->raw (z:struct-form-type expr))]
         ;                           [raw-fields (map utils:read->raw (z:struct-form-fields expr))])
         ;                       (if super-expr
         ;                           `(struct (,raw-type ,so-far)
         ;                                    ,raw-fields)
         ;                           `(struct ,raw-type ,raw-fields))))]

         ; if
         [(if test then else)
          (begin
            (when (eq? so-far nothing-so-far)
              (error 'reconstruct "breakpoint before an if reduction should have a result value"))
            (attach-info
             #`(if #,so-far
                   #,(recon-source-current-marks (syntax then))
                   #,(recon-source-current-marks (syntax else)))
             exp))]

  one - armed if

         [(if test then)
          (begin
            (when (eq? so-far nothing-so-far)
              (error 'reconstruct "breakpoint before an if reduction should have a result value"))
            (attach-info
             #`(if #,so-far #,(recon-source-current-marks (syntax then)))
             exp))]

         ; quote : there is no break on a quote.

         ;; advanced-begin : okay, here comes advanced-begin.

  gets generated by DeinProgramm match construct
         [(begin term)
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "one-body begin given as context: ~a" exp))]

         [(begin . terms)
          ;; even in advanced, begin expands into a let-values.
          (error 'reconstruct/inner "begin in non-teaching-languages not implemented in reconstruct")]

  begin : in the current expansion of begin , there are only two - element begin 's , one - element begins , and
  zero - element begins ; these arise as the expansion of ... ?

         ;; these are all dead code, right?

[ ( begin stx - a stx - b )
            (attach-info
             (if (eq? so-far nothing-so-far)
                 #`(begin #,(recon-source-current-marks #`stx-a) #,(recon-source-current-marks #`stx-b))
                 #`(begin #,so-far #,(recon-source-current-marks #`stx-b))))]

         #;[(begin clause)
            (attach-info
             (if (eq? so-far nothing-so-far)
                 #`(begin #,(recon-source-current-marks (syntax clause)))
                 (error
                  'recon-inner
                  "stepper:reconstruct: one-clause begin appeared as context: ~a" (syntax->datum exp)))
             exp)]

         #;[(begin)
            (attach-info
             (if (eq? so-far nothing-so-far)
                 #`(begin)
                 (error
                  'recon-inner
                  "stepper-reconstruct: zero-clause begin appeared as context: ~a" (syntax->datum exp))))]

         ; begin0 :
  one - body  : perhaps this will turn out to be a special case of the
         ;; many-body case.
         [(begin0 body)
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "one-body begin0 given as context: ~a" exp))]

  the only time  shows up other than in a fake - exp is when the first
         ;; term is being evaluated
         [(begin0 first-body . rest-bodies)
          (if (eq? so-far nothing-so-far)
              (error 'foo "not implemented")
              ;; don't know what goes hereyet
              #`(begin0 #,so-far #,@(map recon-source-current-marks (syntax->list #`rest-bodies))))]

         ; let-values

         [(let-values . rest) (recon-let)]

         [(letrec-values . rest) (recon-let)]

         [(set! var rhs)
          (begin
            (when (eq? so-far nothing-so-far)
              (error 'reconstruct "breakpoint before an if reduction should have a result value"))
            (attach-info
             (let ([rendered-var (reconstruct-set!-var mark-list #`var)])
               #`(set! #,rendered-var #,so-far))
             exp))]

         ; lambda : there is no break on a lambda

         [else
          (error
           'recon-inner
           "stepper:reconstruct: unknown object to reconstruct: ~a" (syntax->datum exp))])))

  ; the main recursive reconstruction loop is in recon:
  ; recon : (syntax mark-list boolean -> syntax)

  (define (recon so-far mark-list first)
    (cond [(null? mark-list) ; now taken to indicate a callback:
           (unless (eq? so-far nothing-so-far)
             (set! last-so-far so-far))
           so-far
           ;(error `recon "expcted a top-level mark at the end of the mark list.")
           ]
          [else
           (case (mark-label (car mark-list))
             [(top-level)
              (if (null? (cdr mark-list))
                  (reconstruct-top-level (mark-source (car mark-list)) so-far)
                  (error 'recon "top-level-define mark found at non-end of mark list"))]
             [else
              (let ([reconstructed (recon-inner mark-list so-far)])
                (recon
                 (if first
                     (mark-as-highlight reconstructed)
                     reconstructed)
                 (cdr mark-list)
                 #f))])]))

  ; uncomment to see all breaks coming in:
  #;(define _ (printf "break-kind: ~a\ninnermost source: ~a\nreturned-value-list: ~a\n"
                      break-kind
                      (and (pair? mark-list)
                           (syntax->datum (mark-source (car mark-list))))
                      returned-value-list))

  STC : reset partial - eval - promise table on each call to recon
  (set! partially-evaluated-promises-table (make-weak-hash))
  (set! last-so-far null)

  (case break-kind
    ((left-side)
     (let* ([innermost
             (if returned-value-list ; is it a normal-break/values?
                 (begin
                   (unless (and (pair? returned-value-list)
                                (null? (cdr returned-value-list)))
                     (error 'reconstruct
                            "context expected one value, given ~v"
                            returned-value-list))
                   (recon-value (car returned-value-list) render-settings))
                 nothing-so-far)])
       (recon innermost mark-list #t)))
    ((right-side)
     (let* ([innermost
             (if returned-value-list ; is it an expr -> value reduction?
                 (begin
                   (unless (and (pair? returned-value-list)
                                (null? (cdr returned-value-list)))
                     (error 'reconstruct
                            "context expected one value, given ~v"
                            returned-value-list))
                   (recon-value (car returned-value-list) render-settings))
                 (recon-source-expr (mark-source (car mark-list))
                                    mark-list null null render-settings))])
       (recon (mark-as-highlight innermost) (cdr mark-list) #f)))
    ((double-break)
     (let* ([source-expr (mark-source (car mark-list))]
            [innermost-before
             (mark-as-highlight
              (recon-source-expr source-expr mark-list null null render-settings))]
            [newly-lifted-bindings
             (syntax-case source-expr (letrec-values)
               [(letrec-values ([vars . rest] ...) . bodies)
                (apply append (map syntax->list (syntax->list #`(vars ...))))]
               [(let-values ([vars . rest] ...) . bodies)
                (apply append (map syntax->list (syntax->list #`(vars ...))))]
               [else (error
                      'reconstruct
                      "expected a let-values as source for a double-break, got: ~.s"
                      (syntax->datum source-expr))])]
            [innermost-after
             (mark-as-highlight
              (recon-source-expr
               (mark-source (car mark-list))
               mark-list null newly-lifted-bindings render-settings))])
       (list (recon innermost-before (cdr mark-list) #f)
             (recon innermost-after (cdr mark-list) #f))))))

 general assertions about reconstruction:
  or have a value in some mark somewhere (or both).
 front ends for reconstruct-current
 the let-glump is a structure that contains the reconstruct-time data about
 a let-binding; that is, the names on the left-hand-side, the expression on
 the right-hand side, and the values computed.
 that is, split-list yields the lists A and B such that (append A B) gives the original
 list, and (fn element) => false for all elements in A, and B is either empty or
 (fn (car B)) => true
 test cases
 first n elements of A, and C contains the rest.
 test cases


 ;;  ;;;    ;;;   ;;;   ; ;;         ;   ;   ;;;   ;  ;   ;   ;;;
   ;   ;  ;     ;   ;  ;;  ;        ;   ;  ;   ;  ;  ;   ;  ;   ;
    ;   ;  ;     ;   ;  ;   ;         ; ;       ;  ;  ;   ;  ;   ;
    ;;;;;  ;     ;   ;  ;   ;  ;;;;;  ; ;    ;;;;  ;  ;   ;  ;;;;;
    ;      ;     ;   ;  ;   ;         ; ;   ;   ;  ;  ;   ;  ;
    ;      ;     ;   ;  ;   ;         ;;    ;   ;  ;  ;  ;;  ;
     ;;;;   ;;;   ;;;   ;   ;          ;     ;;;;; ;   ;; ;   ;;;;
 recon-value print-converts a value. 
 promise does not have annotation info,
 must be from library code, or it's a running promise
 or it's a nested promise?
 running promise cached by recon-inner
 can be an extra promise layer when dealing with lists
 running promise not found by search in recon-inner
 must be a nested running promise
 promise is not running if we get here
 for cyclic lists, use assigned name if it's available
 unknown promise: promise not in src code, created in library fn
 else generate a fresh unknown promise
 because there may be nested promises
 extract-proc-if-struct : any -> procedure? or any
 Purpose: extracts closure from struct procedure, ie lazy-proc in lazy racket
 extract-proc-if-promise : any -> thunk or any
 unwraps struct or promise around procedure
 nested-promise-running? : Indicates whether a promise is in the "running"
 state. promise-running? in racket/private/promise.rkt only looks down
 weak hash table to keep track of partially evaluated promises
 where keys = promises, values = syntax
 - initialized on each call to reconstruct-current
 - populated on each call to recon-inner
 unknown-promises-table : keep track of unknown promises
 NaturalNumber -> syntax
 This is used when we need the exp associated with a running promise, but the promise is at
 top-level, so it never gets added to partially-evaluated-promises-table
 This is a huge hack and I dont know if it the assumptions I'm making always hold
  (ie - that the exp associated with any running promise not in
  partially-evaluated-promises-table is the last so-far),
  but it's working for all test cases so far 10/29/2010.
  Another solution is to wrap all lazy programs in a dummy top-level expression???
  Update 11/1/2010: needed to add the following guards in the code to make the assumptions
  hold
                    (guards are mainly triggered when there are infinite lists)
  - in recon-inner, dont add running promise to partially-evaluated-promises-table if
    so-far = nothing-so-far
  - in recon, dont set last-so-far when so-far = nothing-so-far
  - in recon-value, dont use last-so-far if it hasnt been set (ie - if it's still null)
       ;      ;                                                                     ;;;
       ;                                                          ;                    ;
  ;;;  ;   ;  ;  ; ;;;         ;    ; ;    ; ;    ;          ;;; ;;;;  ;;;   ; ;;;     ;
 ;     ;  ;   ;  ;;   ;         ;  ;   ;  ;   ;  ;          ;     ;   ;   ;  ;;   ;    ;
 ;     ; ;    ;  ;    ;          ;;     ;;     ;;           ;     ;   ;   ;  ;    ;   ;
  ;;   ;;     ;  ;    ;  ;;;;;   ;;     ;;     ;;    ;;;;;   ;;   ;   ;;;;;  ;    ;  ;
    ;  ; ;    ;  ;    ;          ;;     ;;     ;;              ;  ;   ;      ;    ;  ;
    ;  ;  ;   ;  ;;   ;         ;  ;   ;  ;   ;  ;             ;  ;   ;      ;;   ;
 ;;;   ;   ;  ;  ; ;;;         ;    ; ;    ; ;    ;         ;;;    ;;  ;;;;  ; ;;;   ;
                 ;                                                           ;
                 ;                                                           ;
 skip if clauses that are the result of and/or reductions
 don't stop for a double-break on a let that is the expansion of a 'begin'
 skip-redex-step : mark-list? render-settings? -> boolean?
 this could probably be dumped now that we're ignoring steps where
 ... but I'd rather not, because it seems like a somewhat more
 don't halt for lambda-bound vars
   ; static-binding-indexer (z:parsed -> integer)

  (define static-binding-indexer
    (let* ([name-number-table (make-hash-table)]
           [binding-number-table (make-hash-table-weak)])
      (lambda (binding)
        (cond [(hash-table-get binding-number-table binding (lambda () #f)) =>
               (lambda (x) x)]
              [else (let* ([orig-name (z:binding-orig-name binding)]
                           [old-index (hash-table-get name-number-table orig-name (lambda () -1))]
                      (hash-table-put! name-number-table orig-name new-index)
                      (hash-table-put! binding-number-table binding new-index)
                      new-index)]))))
 construct-lifted-name
 (-> syntax? (or/c num? false/c) symbol?)
 binding-lifted-name
 ;;  ;;;    ;;;   ;;;   ; ;;           ;;;   ;;;   ;   ;  ; ;;  ;;;   ;;;           ;;;  ;    ;  ; ;;;   ; ;;
   ;   ;  ;     ;   ;  ;;  ;         ;     ;   ;  ;   ;  ;;   ;     ;   ;         ;   ;  ;  ;   ;;   ;  ;;
    ;   ;  ;     ;   ;  ;   ;         ;     ;   ;  ;   ;  ;    ;     ;   ;         ;   ;   ;;    ;    ;  ;
    ;;;;;  ;     ;   ;  ;   ;  ;;;;;   ;;   ;   ;  ;   ;  ;    ;     ;;;;;  ;;;;;  ;;;;;   ;;    ;    ;  ;
    ;      ;     ;   ;  ;   ;            ;  ;   ;  ;   ;  ;    ;     ;             ;       ;;    ;    ;  ;
    ;      ;     ;   ;  ;   ;            ;  ;   ;  ;  ;;  ;    ;     ;             ;      ;  ;   ;;   ;  ;
     ;;;;   ;;;   ;;;   ;   ;         ;;;    ;;;    ;; ;  ;     ;;;   ;;;;          ;;;; ;    ;  ; ;;;   ;


 recon-source-expr
 recon-source-expr produces the reconstructed version of a given source epxression, using the
 binding information contained in the binding-list.  This happens during reconstruction
 whenever we come upon expressions that we haven't yet evaluated.
 expression being evaluated, and hence do not yet have values.
 the 'use-lifted-names' vars are those bound by a let which does have lifted names.  it is
 used in rendering the lifting of a let or local to show the 'after' step, which should show
 the lifted names.
(-> syntax? mark-list? binding-set? binding-set? render-settings? syntax?)
 recur on a subexpression, keeping all other args the same
 recur on a subexpression, adding the given bindings to the 'dont-lookup' list
 transformer:
 this could have a stepper-black-box-expr, must loop:
 reconstruct the source by attaching the keyword to the result of
 reconstructing the subexprs. A common abstraction for if, begin,
 etc.
 lambda
 case-lambda
 let-values, letrec-values
 set!
 quote
 quote-syntax : like set!, the current stepper cannot handle quote-syntax
 with-continuation-mark
 application
 for the moment, let-bound vars occur only in and/or :
 top-level-varref
 reconstruct-set!-var
 for the moment, let-bound vars occur only in and/or :
         beginner name definitions
 eval-quoted : take a syntax that is an application of quote, and evaluate it (for display)
 Frankly, I'm worried by the fact that this isn't done at expansion time.
                     ;
                     ;                                          ;         ;               ;
 ;;  ;;;    ;;;   ;;;   ; ;;    ;;; ;;;; ; ;; ;   ;   ;;; ;;;;         ;;;   ;;;   ; ;;; ;;   ; ;;;   ;   ;;;  ;;;;  ;;;    ;;; ;
   ;   ;  ;     ;   ;  ;;  ;  ;     ;   ;;   ;   ;  ;     ;          ;     ;   ;  ;;  ;;  ;  ;;   ;  ;  ;   ;  ;   ;   ;  ;   ;;
    ;   ;  ;     ;   ;  ;   ;  ;     ;   ;    ;   ;  ;     ;          ;     ;   ;  ;   ;   ;  ;    ;  ;  ;   ;  ;   ;   ;  ;    ;
    ;;;;;  ;     ;   ;  ;   ;   ;;   ;   ;    ;   ;  ;     ;   ;;;;;  ;     ;   ;  ;   ;   ;  ;    ;  ;  ;;;;;  ;   ;;;;;  ;    ;
    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;   ;  ;     ;          ;     ;   ;  ;   ;   ;  ;    ;  ;  ;      ;   ;      ;    ;
    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;  ;;  ;     ;          ;     ;   ;  ;   ;   ;  ;;   ;  ;  ;      ;   ;      ;   ;;
     ;;;;   ;;;   ;;;   ;   ;  ;;;    ;; ;     ;; ;   ;;;   ;;         ;;;   ;;;   ;   ;   ;  ; ;;;   ;   ;;;;   ;;  ;;;;   ;;; ;


 reconstruct-completed : reconstructs a completed expression or definition.
 Accepts the source expression, a lifting-index which is either a number (indicating
  a lifted binding) or false (indicating a top-level expression), a list of values
  currently bound to the bindings, and the language level's render-settings.
 returns a vector containing a reconstructed expression and a boolean indicating
 whether this should not be unwound (e.g., is source syntax
 from a define-struct).
 the hint contains the original syntax
 for test cases, use the result here as the final result of the expression:
 an abstraction lifted from reconstruct-completed
 : (-> syntax? syntax? syntax?)
 hide-completed? : syntax? -> boolean?
                     ;                                               ;
 ;;  ;;;    ;;;   ;;;   ; ;;    ;;; ;;;; ; ;; ;   ;   ;;; ;;;;         ;;;  ;   ;  ; ;; ; ;;  ;;;   ; ;;  ;;;;
   ;   ;  ;     ;   ;  ;;  ;  ;     ;   ;;   ;   ;  ;     ;          ;     ;   ;  ;;   ;;   ;   ;  ;;  ;  ;
    ;   ;  ;     ;   ;  ;   ;  ;     ;   ;    ;   ;  ;     ;          ;     ;   ;  ;    ;    ;   ;  ;   ;  ;
    ;;;;;  ;     ;   ;  ;   ;   ;;   ;   ;    ;   ;  ;     ;   ;;;;;  ;     ;   ;  ;    ;    ;;;;;  ;   ;  ;
    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;   ;  ;     ;          ;     ;   ;  ;    ;    ;      ;   ;  ;
    ;      ;     ;   ;  ;   ;     ;  ;   ;    ;  ;;  ;     ;          ;     ;  ;;  ;    ;    ;      ;   ;  ;
     ;;;;   ;;;   ;;;   ;   ;  ;;;    ;; ;     ;; ;   ;;;   ;;         ;;;   ;; ;  ;    ;     ;;;;  ;   ;   ;;
 front ends for reconstruct-current:
 reconstruct-current : takes a list of marks, the kind of break, and
 (the result of reconstruction) --- which may contain holes, indicated by the
 highlight-placeholder --- and a list of sexps which go in the holes
 ;;  ;;;    ;;;   ;;;   ; ;;          ;  ; ;;   ; ;;    ;;;   ; ;;
   ;   ;  ;     ;   ;  ;;  ;         ;  ;;  ;  ;;  ;  ;   ;  ;;
    ;   ;  ;     ;   ;  ;   ;         ;  ;   ;  ;   ;  ;   ;  ;
    ;;;;;  ;     ;   ;  ;   ;  ;;;;;  ;  ;   ;  ;   ;  ;;;;;  ;
    ;      ;     ;   ;  ;   ;         ;  ;   ;  ;   ;  ;      ;
    ;      ;     ;   ;  ;   ;         ;  ;   ;  ;   ;  ;      ;
     ;;;;   ;;;   ;;;   ;   ;         ;  ;   ;  ;   ;   ;;;;  ;
 Means that promise is being evaluated.
 NOTE: This wont wind running promises nested in another promise.
       Those wont be detected until the outer promise is being
       reconed, so we cant handle it until then.
 variable references
 applications
 unevaluated = null
 in unannotated code ... can this occur?
 object-name is good enough here, so dont need to add another "special val"
 define-struct

               [(z:struct-form? expr)
                 (if (comes-from-define-struct? expr)
                     so-far
                     (let ([super-expr (z:struct-form-super expr)]
                           [raw-type (utils:read->raw (z:struct-form-type expr))]
                           [raw-fields (map utils:read->raw (z:struct-form-fields expr))])
                       (if super-expr
                           `(struct (,raw-type ,so-far)
                                    ,raw-fields)
                           `(struct ,raw-type ,raw-fields))))]
 if
 quote : there is no break on a quote.
 advanced-begin : okay, here comes advanced-begin.
 even in advanced, begin expands into a let-values.
 these arise as the expansion of ... ?
 these are all dead code, right?
[(begin clause)
[(begin)
 begin0 :
 many-body case.
 term is being evaluated
 don't know what goes hereyet
 let-values
 lambda : there is no break on a lambda
 the main recursive reconstruction loop is in recon:
 recon : (syntax mark-list boolean -> syntax)
 now taken to indicate a callback:
(error `recon "expcted a top-level mark at the end of the mark list.")
 uncomment to see all breaks coming in:
(define _ (printf "break-kind: ~a\ninnermost source: ~a\nreturned-value-list: ~a\n"
 is it a normal-break/values?
 is it an expr -> value reduction?
  a varref can only occur at the top of a mark - list
  a varref at the top of the mark - list must either be a top - level - variable

#lang racket/base

(require (prefix-in kernel: syntax/kerncase)
         racket/contract
         racket/match
         "marks.rkt"
         "model-settings.rkt"
         "shared.rkt"
         "shared-typed.rkt"
         "syntax-hider.rkt"
         "syntax-property.rkt"
         "my-macros.rkt"
         (for-syntax racket/base)
         racket/private/promise)

(define-logger stepper)

(provide/contract
 [reconstruct-completed (syntax?
                         (or/c (listof natural-number/c) false/c)
                         (-> (listof any/c))
                         render-settings?
                         . -> .
                         (vector/c syntax? boolean?))]
 [hide-completed? (syntax? . -> . boolean?)]

 [reconstruct-left-side (mark-list?
                         (or/c (listof any/c) false/c)
                         render-settings?
                         . -> .
                         syntax?)]
 [reconstruct-right-side (mark-list?
                          (or/c (listof any/c) false/c)
                          render-settings?
                          . -> .
                          syntax?)]
 [reconstruct-double-break (mark-list?
                            render-settings?
                            . -> .
                            (list/c syntax? syntax?))]

 [skip-step? (-> break-kind? (or/c mark-list? false/c) render-settings? boolean?)]
 [step-was-app? (-> mark-list? boolean?)]

 [reset-lazy-tables (-> any)])

(define nothing-so-far (gensym "nothing-so-far-"))


(define-struct let-glump (name-set exp val-set))

  split - list : ( ' a - > boolean ) ( listof ' a ) - > ( vector ( listof ' a ) ( listof ' a ) )
  split - list splits a list into two lists at the first element   ( fn element ) = > true ) .

(define (split-list fn lst)
  (let loop ([remaining lst] [so-far null])
    (cond [(null? remaining)
           (vector (reverse so-far) null)]
          [else
           (if (fn (car remaining))
               (vector (reverse so-far) remaining)
               (loop (cdr remaining) (cons (car remaining) so-far)))])))

  ( test ( vector ' ( 93 4 2 ) ' ( 0 2 1 ) ) split - list ( lambda ( x ) (= x 0 ) ) ' ( 93 4 2 0 2 1 ) )
  ( test ( vector ' ( 3 4 5 ) ' ( ) ) split - list ( lambda ( x ) (= x 0 ) ) ' ( 3 4 5 ) )

  n - split - list :  ( ' a list ) - > ( ' a list ) ( ' a list )
  n - split - list splits a given list A into two lists B and C , such that B contains the

(define (n-split-list num lst)
  (when (> num (length lst))
    (error 'n-split-list "can't split list ~a after ~ath element; not long enough" lst num))
  (let loop ([count num] [remaining lst] [so-far null])
    (if (= count 0)
        (vector (reverse so-far) remaining)
        (loop (- count 1) (cdr remaining) (cons (car remaining) so-far)))))

  ( test ( vector ' ( a b c ) ' ( d e f ) ) n - split - list 3 ' ( a b c d e f ) )


(define (mark-as-highlight stx)
  (stepper-syntax-property stx 'stepper-highlight #t))



(define (recon-value val render-settings [assigned-name #f]
                     [current-so-far nothing-so-far] [seen-promises null])
  (cond
    [(hash-ref finished-xml-box-table val (lambda () #f))
     (stepper-syntax-property #`(quote #,val) 'stepper-xml-value-hint 'from-xml-box)]
    [else
     (define extracted-proc (unwrap-proc val))
     (match (and (annotated-proc? extracted-proc)
                 (annotated-proc-info extracted-proc))
       [(Closure-Record base-name (smrk mark) lifted-index)
        (if base-name
            (let* ([name
                    (if lifted-index
                        (construct-lifted-name (sstx-s base-name) (sstx-s lifted-index))
                        (sstx-s base-name))])
              (if (and assigned-name
                       (free-identifier=? (sstx-s base-name) assigned-name))
                  (recon-source-expr
                   (mark-source mark) (list mark) null null render-settings)
                  #`#,name))
            (recon-source-expr
             (mark-source mark) (list mark) null null render-settings))]
       [#f
        (cond
          [(promise? val)
           (cond
             [(or (hash-ref partially-evaluated-promises-table val (λ () #f))
                  (hash-ref partially-evaluated-promises-table (pref val) (λ () #f)))]
             [(and (nested-promise-running? val)
                   (not (eq? current-so-far nothing-so-far)))
              (hash-set! partially-evaluated-promises-table val current-so-far)
              current-so-far]
[ ( and ( nested - promise - running ?  )
                     (not (null? last-so-far)))
                last-so-far]
             [(and (promise-forced? val)
                   (not (nested-promise-running? val))
                   (not (assq val seen-promises)))
              (recon-value (force val) render-settings
                           assigned-name current-so-far
                           (cons (list val assigned-name) seen-promises))]
             [(let ([v (assq val seen-promises)])
                (and v (cadr v)))]
             [(hash-ref unknown-promises-table val (λ () #f))
              =>
              render-unknown-promise]
              (begin0
                (render-unknown-promise next-unknown-promise)
                (hash-set! unknown-promises-table
                           val next-unknown-promise)
                (set! next-unknown-promise
                      (add1 next-unknown-promise)))])]
          
  STC : handle lists here , instead of deferring to render - to - sexp fn
[ ( null ?  ) # ' empty ]
          [(and (not (null? val))
                (list? val)
                (ormap promise? val))
           (with-syntax
               ([(reconed-vals ...)
                 (for/list ([v (in-list val)])
                   (recon-value v render-settings #f current-so-far seen-promises))])
             (if (render-settings-constructor-style-printing? render-settings)
                 #'(#%plain-app list reconed-vals ...)
                 #'`(reconed-vals ...)))]
          [(and (pair? val)
                (or (promise? (car val))
                    (promise? (cdr val))))
           (with-syntax
               ([reconed-car
                 (recon-value (car val) render-settings
                              #f current-so-far seen-promises)]
                [reconed-cdr
                 (recon-value (cdr val) render-settings
                              #f current-so-far seen-promises)])
             #'(#%plain-app cons reconed-car reconed-cdr))]
          [else
           (define rendered ((render-settings-render-to-sexp render-settings) val))
           (if (symbol? rendered)
               #`#,rendered
               #`(quote #,rendered))])])]))

  STC : helper fns for recon - value , to reconstruct promises
(define (extract-proc-if-struct f)
  (if (and (procedure? f) (not (annotated-proc? f)))
      (or (procedure-extract-target f)
          f)
      f))
(define (extract-proc-if-promise p)
  (if (promise? p)
      (extract-proc-if-promise (pref p))
      p))
(define (unwrap-proc f)
  (extract-proc-if-promise (extract-proc-if-struct f)))

  one level for a running promise
(define (nested-promise-running? p)
  (if (promise? p)
      (let ([v (pref p)])
        (or (running? v)
            (and (promise? v)
                 (nested-promise-running? v))))
      (raise-type-error 'nested-promise-running? "promise" p)))

    ( ie - each half - step reconstruction )
(define partially-evaluated-promises-table null)

  ie , promises created from lib fns
(define unknown-promises-table null)
(define next-unknown-promise 0)

(define (render-unknown-promise x)
  #`(quote #,(string->symbol
              (string-append "<DelayedEvaluation#" (number->string x) ">"))))

(define last-so-far null)

(define (skip-step? break-kind mark-list render-settings)
  (case break-kind
    [(result-value-break)
     (and (pair? mark-list)
          (let ([expr (mark-source (car mark-list))])
            (stepper-syntax-property expr 'stepper-hide-reduction)))]
    [(result-exp-break)
     (let ([and/or-clauses-consumed (stepper-syntax-property (mark-source (car mark-list))
                                                            'stepper-and/or-clauses-consumed)])
       (and and/or-clauses-consumed
            (> and/or-clauses-consumed 0)))]
    [(normal-break normal-break/values)
     (skip-redex-step? mark-list render-settings)]
    [(double-break)
     (or
      (let ([expr (mark-source (car mark-list))])
        (eq? (stepper-syntax-property expr 'stepper-hint) 'comes-from-begin))
      (not (render-settings-lifting? render-settings)))]
    [(expr-finished-break define-struct-break late-let-break) #f]))

(define (skip-redex-step? mark-list render-settings)

  before & after are the same ( JBC , 2015 - 06 - 24 )
  principled way to obtain this result ( JBC , 2015 - 08 - 31 )
  (define (varref-skip-step? varref)
    (with-handlers ([exn:fail:contract:variable? (lambda (dc-exn) #f)])
      (let ([val (lookup-binding mark-list varref)])
        (equal? (syntax->interned-datum (recon-value val render-settings))
                (syntax->interned-datum
                 (case (stepper-syntax-property varref 'stepper-binding-type)
                   ([let-bound]
                    (binding-lifted-name mark-list varref))
                   ([non-lexical]
                    varref)
                   (else
                    (error 'varref-skip-step?
                           "unexpected value for stepper-binding-type: ~e for variable: ~.s\n"
                           (stepper-syntax-property varref 'stepper-binding-type)
                           varref))))))))

  (and (pair? mark-list)
       (let ([expr (mark-source (car mark-list))])
         (or (stepper-syntax-property expr 'stepper-hide-reduction)
             (kernel:kernel-syntax-case
              expr #f
              [id
               (identifier? expr)
               (case (stepper-syntax-property expr 'stepper-binding-type)
                 [(let-bound)
                  (varref-skip-step? expr)]
                 [(non-lexical)
                  (varref-skip-step? expr)])]
              [(#%top . id-stx)
               (varref-skip-step? #`id-stx)]
              [(#%plain-app . terms) #f]
              [else #f])))))


(define (reset-lazy-tables)
  (set! unknown-promises-table (make-weak-hash))
  (set! next-unknown-promise 0))

(define (second-arg-is-list? mark-list)
  (let ([arg-val (lookup-binding mark-list (get-arg-var 2))])
    (list? arg-val)))

                            [ new - index ( + old - index 1 ) ] )


(define/contract construct-lifted-name
  (-> syntax? number? syntax?)
  (lambda (binding dynamic-index)
    #`#,(string->symbol
         (string-append (symbol->string (syntax-e binding)) "_"
                        (number->string dynamic-index)))))


(define/contract binding-lifted-name
  (-> mark-list? syntax? syntax?)
  (lambda (mark-list binding)
    (construct-lifted-name binding (lookup-binding mark-list (get-lifted-var binding)))))


(define (step-was-app? mark-list)
  (and (not (null? mark-list))
       (syntax-case (mark-source (car mark-list)) (#%plain-app)
         [(#%plain-app . rest)
          #t]
         [else
          #f])))









  NB : the variable ' dont - lookup ' contains a list of variables whose bindings occur INSIDE the


(define (recon-source-expr expr mark-list dont-lookup use-lifted-names render-settings)
  (define (recur expr) (recon-source-expr expr mark-list dont-lookup
                                          use-lifted-names render-settings))
  (define (let-recur expr bindings)
    (recon-source-expr expr mark-list (append bindings dont-lookup)
                       use-lifted-names render-settings))

  (or
   (stepper-syntax-property expr 'stepper-black-box-expr)
   (and
    (stepper-syntax-property expr 'stepper-skipto)
    (skipto/auto
    expr
    #t
    (lambda (expr)
      (recon-source-expr expr mark-list dont-lookup use-lifted-names render-settings))))
   (let ()
     (define (recon-basic)
       (with-syntax ([(label . bodies) expr])
         #`(label #,@(map recur (filter-skipped
                                 (syntax->list (syntax bodies)))))))
     (define (recon-let/rec rec?)
       (with-syntax ([(label  ((vars val) ...) body ...) expr])
         (let* ([bindings (map syntax->list (syntax->list
                                             (syntax (vars ...))))]
                [binding-list (apply append bindings)]
                [recur-fn (if rec?
                              (lambda (expr) (let-recur expr binding-list))
                              recur)]
                [right-sides (map recur-fn (syntax->list (syntax (val ...))))]
                [recon-bodies (map (lambda (x) (let-recur x binding-list))
                                   (syntax->list #`(body ...)))])
           (with-syntax
               ([(recon-val ...) right-sides]
                [(recon-body ...) recon-bodies]
                [(new-vars ...)
                 (map (lx (map (lx (if (ormap (lambda (binding)
                                                (bound-identifier=? binding _))
                                              use-lifted-names)
                                       (stepper-syntax-property
                                        _
                                        'stepper-lifted-name
                                        (binding-lifted-name mark-list _))
                                       _))
                               _))
                      bindings)])
             (syntax (label ((new-vars recon-val) ...) recon-body ...))))))
     
     (define (recon-lambda-clause clause)
       (with-syntax ([(args . bodies-stx) clause])
         (let* ([arglist (arglist-flatten #'args)]
                [bodies (map (lambda (body) (let-recur body arglist))
                             (filter-skipped (syntax->list (syntax bodies-stx))))])
           (cons (syntax args) bodies))))
     (define (recon)
       (kernel:kernel-syntax-case
        expr #f
        
        [(#%plain-lambda . clause-stx)
         (let* ([clause (recon-lambda-clause (syntax clause-stx))])
           #`(#%plain-lambda #,@clause))]
        
        [(case-lambda . clauses-stx)
         (let* ([clauses (map recon-lambda-clause (syntax->list (syntax clauses-stx)))])
           #`(case-lambda #,@clauses))]
        
  if , begin , 
        [(if test then else) (recon-basic)]
        [(if test then) (recon-basic)]
        [(begin . bodies) (recon-basic)]
        [(begin0 . bodies)
         (if (stepper-syntax-property expr 'stepper-fake-exp)
             (if (null? (syntax->list #`bodies))
                 (recon-value (lookup-binding mark-list begin0-temp) render-settings)
  prepend the computed value of the first arg :
                 #`(begin0 #,(recon-value (lookup-binding mark-list begin0-temp) render-settings)
                           #,@(map recur (filter-skipped (syntax->list #`bodies)))))
             (recon-basic))]
        
        [(let-values . rest) (recon-let/rec #f)]
        [(letrec-values . rest) (recon-let/rec #t)]
        
        [(set! var rhs)
         (let ([rendered-var
                (if (and (ormap (lambda (binding)
                                  (bound-identifier=? binding #`var))
                                dont-lookup)
                         (not (ormap (lambda (binding)
                                       (bound-identifier=? binding #`var))
                                     use-lifted-names)))
                    #`var
                    (reconstruct-set!-var mark-list #`var))])
           #`(set! #,rendered-var #,(recur #'rhs)))]
        
        [(quote body) (recon-value (eval-quoted expr) render-settings)]
        
        
        [(with-continuation-mark . rest) (recon-basic)]
        
        [(#%plain-app . terms) (recon-basic)]
        
  varref
        [var-stx
         (identifier? expr)
         (let* ([var (syntax var-stx)])
           (if (render-settings-all-bindings-mutable? render-settings)
               var
               (cond [(eq? (identifier-binding var) 'lexical)
  has this varref 's binding not been evaluated yet ?
  ( and this varref is n't in the list of must - lookups ? )
                      (if (and (ormap (lambda (binding)
                                        (bound-identifier=? binding var))
                                      dont-lookup)
                               (not (ormap (lambda (binding)
                                             (bound-identifier=? binding var))
                                           use-lifted-names)))
                          var
                          
                          (case (stepper-syntax-property var 'stepper-binding-type)
                            ((lambda-bound)
                             (recon-value (lookup-binding mark-list var) render-settings))
                            ((macro-bound)
                             (recon-value (lookup-binding mark-list var) render-settings))
                            ((let-bound)
                             (if (stepper-syntax-property var 'stepper-no-lifting-info)
                                 var
                                 (stepper-syntax-property var
                                                          'stepper-lifted-name
                                                          (binding-lifted-name mark-list var))))
                            ((stepper-temp)
                             (error 'recon-source-expr
                                    "internal error: stepper-temp showed up in source?!?"))
                            ((non-lexical)
                             (error
                              'recon-source-expr
                              "internal error, unreachable: lexical identifier labeled as non-lexical"))
                            (else
                             (error 'recon-source-expr
                                    "unknown 'stepper-binding-type property: ~a on var: ~a"
                                    (stepper-syntax-property var 'stepper-binding-type)
                                    (syntax->datum var)))))]
                      (fixup-name
                       var)])))]
        [(#%top . var)
         (syntax var)]
        
        [else
         (error 'recon-source "no matching clause for syntax: ~a" (if (syntax? expr)
                                                                      (syntax->datum expr)
                                                                      expr))]))
     (if (stepper-syntax-property expr 'stepper-prim-name)
         (stepper-syntax-property expr 'stepper-prim-name)
         (let* ()
           (attach-info (recon) expr))))))


(define (reconstruct-set!-var mark-list var)
  (case (stepper-syntax-property var 'stepper-binding-type)
    ((lambda-bound)
     (error 'reconstruct-inner "lambda-bound variables can't be mutated"))
    ((macro-bound)
     (error 'reconstruct-inner "macro-bound variables can't occur in a set!"))
    ((non-lexical) var)
    ((let-bound)
     (stepper-syntax-property var
                              'stepper-lifted-name
                              (binding-lifted-name mark-list var)))
    ((stepper-temp)
     (error 'recon-source-expr "stepper-temp showed up in source?!?"))
    (else
     (error 'recon-source-expr "unknown 'stepper-binding-type property: ~a"
            (stepper-syntax-property var 'stepper-binding-type)))))

  filter - skipped : ( listof syntax ? ) - > ( listof syntax ? )
  filter out any elements of the list with ' stepper - skip - completely set , except those with stepper - prim - name set . ( HACK ) .
(define (filter-skipped los)
  (filter (lambda (stx)
            (or (stepper-syntax-property stx 'stepper-prim-name)
                (stepper-syntax-property stx 'stepper-black-box-expr)
                (not (stepper-syntax-property stx 'stepper-skip-completely))))
          los))


  mflatt : MAJOR HACK - work around the prefix on
(define (fixup-name s)
  (let ([m (regexp-match re:beginner: (symbol->string (syntax-e s)))])
    (if m
        (datum->syntax s (string->symbol (cadr m)) s s)
        s)))
(define re:beginner: (regexp "^beginner-(.*)$"))



(define (eval-quoted stx)
  (syntax-case stx (quote)
    [(quote . dont-care) (eval stx)]
    [else (error 'eval-quoted "eval-quoted called with syntax that is not a quote: ~v" stx)]))





(define (reconstruct-completed exp lifting-indices vals-getter render-settings)
  (if lifting-indices
      (syntax-case exp ()
        [(vars-stx rhs ...)
         (let* ([vars (map (lambda (var index) (stepper-syntax-property var 'stepper-lifted-name (construct-lifted-name var index)))
                           (syntax->list #`vars-stx)
                           lifting-indices)])
           (vector (reconstruct-completed-define exp vars (vals-getter) render-settings) #f))])
      (let ([exp (skipto/auto exp #t (lambda (exp) exp))])
        (cond
          [(stepper-syntax-property exp 'stepper-black-box-expr)
           (vector (stepper-syntax-property exp 'stepper-black-box-expr) #t)]
          [(stepper-syntax-property exp 'stepper-use-val-as-final)
           (vector (recon-value (car (vals-getter)) render-settings) #f)]
          [else
           (vector
            (kernel:kernel-syntax-case exp #f
                                       [(define-values vars-stx body)
                                        (reconstruct-completed-define exp (syntax->list #`vars-stx) (vals-getter) render-settings)]
                                       [else
                                        (let* ([recon-vals (map (lambda (val)
                                                                  (recon-value val render-settings))
                                                                (vals-getter))])
                                          (if (= (length recon-vals) 1)
                                              (attach-info (car recon-vals) exp)
                                              (attach-info #`(values #,@recon-vals) exp)))])
            #f)]))))

(define (reconstruct-completed-define exp vars vals render-settings)
  (let* ([_ (unless (equal? (length vars) (length vals))
              (error "length of var list and val list unequal: ~v ~v" (map syntax->list vars) vals))]
         [recon-vals (map (lambda (val var)
                            (recon-value val render-settings var))
                          vals
                          vars)])
    (if (= (length recon-vals) 1)
        (attach-info #`(define-values #,vars #,(car recon-vals)) exp)
        (attach-info #`(define-values #,vars (values #,@recon-vals)) exp))))



(define (reconstruct-top-level source reconstructed)
  (skipto/auto
   source
   #t
   (lambda (source)
     (kernel:kernel-syntax-case
      source #f
      [(define-values vars-stx body)
       (attach-info #`(define-values vars-stx #,reconstructed)
                    source)]
      [else
       reconstructed]))))


(define (hide-completed? stx)
  (syntax-case stx ()
    [(define-values (v) rhs)
     (or
      (stepper-syntax-property #'v 'stepper-hide-completed)
      (stepper-syntax-property #'rhs 'stepper-hide-completed))]
    [else #f]))





(define (reconstruct-left-side mark-list returned-value-list render-settings)
  (reconstruct-current mark-list 'left-side returned-value-list render-settings))


(define (reconstruct-right-side mark-list returned-value-list render-settings)
  (reconstruct-current mark-list 'right-side returned-value-list render-settings))


(define (reconstruct-double-break mark-list render-settings)
  (reconstruct-current mark-list 'double-break null render-settings))


  any values that may have been returned at the break point . It produces a list of sexps

(define (reconstruct-current mark-list break-kind returned-value-list render-settings)



  (define (recon-inner mark-list so-far)
    (define (recon-source-current-marks expr)
      (recon-source-expr expr mark-list null null render-settings))
    (define top-mark (car mark-list))
    (define exp (mark-source top-mark))
    (define (recon-let)
      (with-syntax ([(label ((vars rhs) ...) . bodies) exp])
        (match-let*
            ([binding-sets (map syntax->list (syntax->list #'(vars ...)))]
             [binding-list (apply append binding-sets)]
             [glumps
              (map (lambda (binding-set rhs)
                     (make-let-glump
                      (map (lambda (binding)
                             (stepper-syntax-property binding
                                                      'stepper-lifted-name
                                                      (binding-lifted-name mark-list binding)))
                           binding-set)
                      rhs
                      (map (lambda (arg-binding)
                             (lookup-binding mark-list arg-binding))
                           binding-set)))
                   binding-sets
                   (syntax->list #`(rhs ...)))]
             [num-defns-done (lookup-binding mark-list let-counter)]
             [(vector done-glumps not-done-glumps)
              (n-split-list num-defns-done glumps)]
             [recon-lifted
              (lambda (names expr)
                #`(#,names #,expr))]
             [before-bindings
              (map
               (lambda (glump)
                 (let* ([name-set (let-glump-name-set glump)]
                        [rhs-val-set (map (lambda (val)
                                            (if (> (length name-set) 0)
                                                (recon-value val render-settings (car name-set))
                                                (recon-value val render-settings)))
                                          (let-glump-val-set glump))])
                   (if (= (length rhs-val-set) 1)
                       #`(#,name-set #,@rhs-val-set)
                       #`(#,name-set (values #,rhs-val-set)))))
               done-glumps)]
             [reconstruct-remaining-def
              (lambda (glump)
                (let ([rhs-source (let-glump-exp glump)]
                      [rhs-name-set (let-glump-name-set glump)])
                  (recon-lifted rhs-name-set
                                (recon-source-current-marks rhs-source))))]
             [after-bindings
              (if (pair? not-done-glumps)
                  (if (eq? so-far nothing-so-far)
                      (map reconstruct-remaining-def not-done-glumps)
                      (cons (recon-lifted (let-glump-name-set (car not-done-glumps)) so-far)
                            (map reconstruct-remaining-def (cdr not-done-glumps))))
                  null)]
             [recon-bindings (append before-bindings after-bindings)]
             [rectified-bodies
              (for/list ([body (in-list (syntax->list #'bodies))])
                        (recon-source-expr body mark-list binding-list binding-list render-settings))])
          (attach-info #`(label #,recon-bindings #,@rectified-bodies) exp))))

  STC : cache any running promises in the top mark
    (let ([maybe-running-promise
           (findf (λ (f) (and (promise? f) (nested-promise-running? f)))
                  (map mark-binding-value (mark-bindings top-mark)))])
      (when (and maybe-running-promise
                 (not (hash-has-key? partially-evaluated-promises-table
                                     maybe-running-promise))
                 (not (eq? so-far nothing-so-far)))
        (hash-set! partially-evaluated-promises-table
                   maybe-running-promise so-far)))

    (if (stepper-syntax-property exp 'stepper-fake-exp)

        (kernel:kernel-syntax-case exp #f
         [(begin . bodies)
          (if (eq? so-far nothing-so-far)
              (error 'recon-inner "breakpoint before a begin reduction should have a result value in exp: ~a" (syntax->datum exp))
              #`(begin #,so-far #,@(map recon-source-current-marks (cdr (syntax->list #'bodies)))))]
         [(begin0 first-body . rest-bodies)
          (if (eq? so-far nothing-so-far)
              (error 'recon-inner "breakpoint before a begin0 reduction should have a result value in exp: ~a" (syntax->datum exp))
              #`(begin0 #,(recon-value (lookup-binding mark-list begin0-temp) render-settings)
                        #,so-far
                        #,@(map recon-source-current-marks (syntax->list #`rest-bodies))))]
         [else
          (error 'recon-inner "unexpected fake-exp expression: ~a" (syntax->datum exp))])

        (kernel:kernel-syntax-case exp #f
         [id
          (identifier? (syntax id))
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "variable reference given as context: ~a" exp))]

         [(#%top . id)
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "variable reference given as context: ~a" exp))]

         [(#%plain-app . terms)
          (attach-info
           (match-let*
               ([sub-exprs (syntax->list (syntax terms))]
                [arg-temps (for/list ([i (in-range (length sub-exprs))])
                                     (get-arg-var i))]
                [arg-vals (map (lambda (arg-temp)
                                 (lookup-binding mark-list arg-temp))
                               arg-temps)]
                [(vector evaluated unevaluated) (split-list (lambda (x) (eq? (cadr x) *unevaluated*))
                                                            (zip sub-exprs arg-vals))]
                [rectified-evaluated (map (lx (recon-value _ render-settings #f so-far))
                                          (map cadr evaluated))])
             (case (mark-label (car mark-list))
               ((not-yet-called)
                (if (null? unevaluated)
                    #`(#%plain-app . #,rectified-evaluated)
                    #`(#%plain-app
                       #,@rectified-evaluated
                       #,so-far
                       #,@(map recon-source-current-marks (cdr (map car unevaluated))))))
                (stepper-syntax-property
                 (if (eq? so-far nothing-so-far)
  do nt show ellipses for force ( and other lazy fns )
                     (let ([obj-name (object-name (car arg-vals))])
                       (cond [(ormap
                               (lx (eq? obj-name _))
                               '(force ! !! !list !!list
                                       caar cadr cdar cddr caaar caadr cadar caddr cdaar cdadr cddar
                                       cdddr caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr
                                       cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr
                                       first second third fourth fifth sixth seventh eighth take
                                       eq? eqv? equal? list? length list-ref list-tail append reverse
                                       empty? assoc assq assv cons? remove remq remv member memq memv))
                              #`(#%plain-app . #,rectified-evaluated)]
                             [else
                              (datum->syntax #'here `(,#'#%plain-app ... ,so-far ...))])))
                 'stepper-args-of-call
                 rectified-evaluated))
               (else
                (error 'recon-inner "bad label (~v) in application mark in expr: ~a" (mark-label (car mark-list)) exp))))
           exp)]


         [(if test then else)
          (begin
            (when (eq? so-far nothing-so-far)
              (error 'reconstruct "breakpoint before an if reduction should have a result value"))
            (attach-info
             #`(if #,so-far
                   #,(recon-source-current-marks (syntax then))
                   #,(recon-source-current-marks (syntax else)))
             exp))]

  one - armed if

         [(if test then)
          (begin
            (when (eq? so-far nothing-so-far)
              (error 'reconstruct "breakpoint before an if reduction should have a result value"))
            (attach-info
             #`(if #,so-far #,(recon-source-current-marks (syntax then)))
             exp))]



  gets generated by DeinProgramm match construct
         [(begin term)
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "one-body begin given as context: ~a" exp))]

         [(begin . terms)
          (error 'reconstruct/inner "begin in non-teaching-languages not implemented in reconstruct")]

  begin : in the current expansion of begin , there are only two - element begin 's , one - element begins , and


[ ( begin stx - a stx - b )
            (attach-info
             (if (eq? so-far nothing-so-far)
                 #`(begin #,(recon-source-current-marks #`stx-a) #,(recon-source-current-marks #`stx-b))
                 #`(begin #,so-far #,(recon-source-current-marks #`stx-b))))]

            (attach-info
             (if (eq? so-far nothing-so-far)
                 #`(begin #,(recon-source-current-marks (syntax clause)))
                 (error
                  'recon-inner
                  "stepper:reconstruct: one-clause begin appeared as context: ~a" (syntax->datum exp)))
             exp)]

            (attach-info
             (if (eq? so-far nothing-so-far)
                 #`(begin)
                 (error
                  'recon-inner
                  "stepper-reconstruct: zero-clause begin appeared as context: ~a" (syntax->datum exp))))]

  one - body  : perhaps this will turn out to be a special case of the
         [(begin0 body)
          (if (eq? so-far nothing-so-far)
              (recon-source-current-marks exp)
              (error 'recon-inner "one-body begin0 given as context: ~a" exp))]

  the only time  shows up other than in a fake - exp is when the first
         [(begin0 first-body . rest-bodies)
          (if (eq? so-far nothing-so-far)
              (error 'foo "not implemented")
              #`(begin0 #,so-far #,@(map recon-source-current-marks (syntax->list #`rest-bodies))))]


         [(let-values . rest) (recon-let)]

         [(letrec-values . rest) (recon-let)]

         [(set! var rhs)
          (begin
            (when (eq? so-far nothing-so-far)
              (error 'reconstruct "breakpoint before an if reduction should have a result value"))
            (attach-info
             (let ([rendered-var (reconstruct-set!-var mark-list #`var)])
               #`(set! #,rendered-var #,so-far))
             exp))]


         [else
          (error
           'recon-inner
           "stepper:reconstruct: unknown object to reconstruct: ~a" (syntax->datum exp))])))


  (define (recon so-far mark-list first)
           (unless (eq? so-far nothing-so-far)
             (set! last-so-far so-far))
           so-far
           ]
          [else
           (case (mark-label (car mark-list))
             [(top-level)
              (if (null? (cdr mark-list))
                  (reconstruct-top-level (mark-source (car mark-list)) so-far)
                  (error 'recon "top-level-define mark found at non-end of mark list"))]
             [else
              (let ([reconstructed (recon-inner mark-list so-far)])
                (recon
                 (if first
                     (mark-as-highlight reconstructed)
                     reconstructed)
                 (cdr mark-list)
                 #f))])]))

                      break-kind
                      (and (pair? mark-list)
                           (syntax->datum (mark-source (car mark-list))))
                      returned-value-list))

  STC : reset partial - eval - promise table on each call to recon
  (set! partially-evaluated-promises-table (make-weak-hash))
  (set! last-so-far null)

  (case break-kind
    ((left-side)
     (let* ([innermost
                 (begin
                   (unless (and (pair? returned-value-list)
                                (null? (cdr returned-value-list)))
                     (error 'reconstruct
                            "context expected one value, given ~v"
                            returned-value-list))
                   (recon-value (car returned-value-list) render-settings))
                 nothing-so-far)])
       (recon innermost mark-list #t)))
    ((right-side)
     (let* ([innermost
                 (begin
                   (unless (and (pair? returned-value-list)
                                (null? (cdr returned-value-list)))
                     (error 'reconstruct
                            "context expected one value, given ~v"
                            returned-value-list))
                   (recon-value (car returned-value-list) render-settings))
                 (recon-source-expr (mark-source (car mark-list))
                                    mark-list null null render-settings))])
       (recon (mark-as-highlight innermost) (cdr mark-list) #f)))
    ((double-break)
     (let* ([source-expr (mark-source (car mark-list))]
            [innermost-before
             (mark-as-highlight
              (recon-source-expr source-expr mark-list null null render-settings))]
            [newly-lifted-bindings
             (syntax-case source-expr (letrec-values)
               [(letrec-values ([vars . rest] ...) . bodies)
                (apply append (map syntax->list (syntax->list #`(vars ...))))]
               [(let-values ([vars . rest] ...) . bodies)
                (apply append (map syntax->list (syntax->list #`(vars ...))))]
               [else (error
                      'reconstruct
                      "expected a let-values as source for a double-break, got: ~.s"
                      (syntax->datum source-expr))])]
            [innermost-after
             (mark-as-highlight
              (recon-source-expr
               (mark-source (car mark-list))
               mark-list null newly-lifted-bindings render-settings))])
       (list (recon innermost-before (cdr mark-list) #f)
             (recon innermost-after (cdr mark-list) #f))))))
