{-#  OPTIONS -fglasgow-exts  #-}

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

main :: IO ()
main = withProgName "migration-demo" $ do
  control <- startSystemState entryPoint

  update $ InsertPage "index" (Page (Title "Home") (Body "hello, world") )
  update $ InsertPage "index" (Page (Title "Home 2") (Body "hello, world 2") )
  update $ InsertPage "index" (Page (Title "Home3 ") (Body "hello, world 3") )

  query AskPages >>= print
  createCheckpoint control
  shutdownSystem control