{-#  OPTIONS -fglasgow-exts  #-}

import StateVersions.AppState3
import HAppS.State
import System.Environment
    
entryPoint :: Proxy State
entryPoint = Proxy

main :: IO ()
-- specify program name so the same _local directory gets read
main = withProgName "migration-demo" $ do
  control <- startSystemState entryPoint


  update $ InsertPage "index5" (Page (Title "Home 5") (Header "Header5") (Body "hello, world 5") )
  update $ InsertPage "index6" (Page (Title "Home 6") (Header "Header5") (Body "hello, world 6") )

  query AskPages >>= print

  createCheckpoint control
  shutdownSystem control
  return ()