(.module:
  lux
  (lux [macro]
       (data [text]
             text/format))
  (luxc ["&" lang]
        (lang [".L" variable #+ Variable Register]
              (host [lua #+ Lua Expression Statement])))
  [//]
  (// [".T" runtime]))

(template [<register> <translation> <prefix>]
  [(def: #export (<register> register)
     (-> Register Expression)
     (format <prefix> (%i (.int register))))
   
   (def: #export (<translation> register)
     (-> Register (Meta Expression))
     (:: macro.Monad<Meta> wrap (<register> register)))]

  [closure  translate-captured "c"]
  [variable translate-local    "v"])

(def: #export (translate-variable var)
  (-> Variable (Meta Expression))
  (if (variableL.captured? var)
    (translate-captured (variableL.captured-register var))
    (translate-local (.nat var))))

(def: #export global
  (-> Name Expression)
  //.definition-name)

(def: #export (translate-definition name)
  (-> Name (Meta Expression))
  (:: macro.Monad<Meta> wrap (global name)))