Macraのコンパイラに遅延評価を実装

help me .hs

vm'' vmState@(VM a ThawInst _ (val:r) s mem) = do
  case a of
    (Thunk body envRef) -> do
      S.put vmState {
            vmInst = body
            }
      vm' -- 再帰
      newVMState <- S.get
      S.put newVMState {
          , vmEnvMem = -- なんかenvmem更新する処理
            }
      vm'
    _ -> do
      S.liftIO $ do
        putStr $ concat ["Invalid application: ", show a]
      return ()

lazyMacra.hs

-- 今、
"!funcall !lambda x x 1" --＃１
-- をコンパルすると
Right (FrameInst HaltInst (ConstExpr 1.0 (ArgInst (CloseInst "x" (ReferInst "x" ReturnInst) ApplyInst)))) -- ＃２

-- これで1を遅延させるには、thunkに包んでやる。
!funcall !lambda x !funcall x nil !lambda nil 1 --＃3
-- コンパイルするとこうなる
Right (FrameInst HaltInst (CloseInst "nil" (ConstExpr 1.0 ReturnInst) (ArgInst (CloseInst "x" (FrameInst ReturnInst (ReferInst "nil" (ArgInst (ReferInst "x" ApplyInst)))) ApplyInst)))) -- ＃４

-- Macraを遅延評価にするなら、＃１を直接＃４にコンパイルしてやればいい。
-- Thunkは必ず0引数なので、ThunkInstを導入して、CloseInstと区別する.
Right (FrameInst HaltInst (FreezeInst (ConstExpr 1.0 ReturnInst) (CloseInst "x" (FrameInst ReturnInst (ArgInst (ReferInst "x" ApplyInst))) ThawInst)))