Pact schema upgrade

migrate.repl

(begin-tx)

(module m g
  (defcap g () true)
  (defschema s
    a:string
    )
  (deftable t:{s})
  (defun add (k:string a:string)
    (insert t k { 'a: a })
  )
  (defun get-all:[object{s}] ()
    (select t (constantly true))
  )
)
(create-table t)

(add "1" "Bob")
(add "2" "Alice")
(get-all)
(commit-tx)

(begin-tx)

(module m g
  (defcap g () true)
  (defschema s
    a:string
    i:integer
    )
  (deftable t:{s})
  (defun migrate (k:string)
    (let ((old (read t k)))
      (update t k { 'i: 0 })
      [old,(read t k)])
  )
)
(map (migrate) (keys t))

(commit-tx)

(begin-tx)

(module m g
  (defcap g () true)
  (defschema s
    a:string
    i:integer
    )
  (deftable t:{s})
  (defun add (k:string a:string)
    (insert t k { 'a: a })
  )
  (defun get-all:[object{s}] ()
    (select t (constantly true))
  )
)

(get-all)