GcodeSpec

module GcodeSpec(gcodeZCon,fixProfstatic,compilerProfstatic) where

import IntState 
import Gcode
import GcodeLow(con0,profconstructor,profstatic,profconstructor,profproducer,profmodule,proftype)
import Extra(dropJust,pair)

gcodeZCon prof state [] = []
gcodeZCon prof state (d:ccs) =
  let dataInfo = (dropJust . lookupIS state) d
      cons = map ( \ (c,n) -> (0 == arityIS state c,c,n)) (zip (constrsI dataInfo) [0::Int ..])
      label = if IEall == expI dataInfo then GLOBAL else LOCAL
      cnos = map (\ (z,c,n) -> if z then label con0 c : DATA_CON 0 n : compilerProfstatic prof state c else []) cons
  in
    cnos ++ (if prof then map (createProfs state) cons else []) ++ gcodeZCon prof state ccs

compilerProfstatic True state i = [DATA_GLB profstatic i, DATA_CREATE,DATA_W 0,DATA_W 0]
compilerProfstatic False state i = []

createProfs state (z,c,n) = -- !!! Need int for module/type
  [GLOBAL profproducer c,GLOBAL profconstructor c,DATA_S (strIS state c),
  ALIGN, LOCAL profstatic c, DATA_GLB profproducer c, DATA_GLB profproducer c, DATA_GLB profconstructor c]

fixProfstatic state ((p,c),i) = -- !!! Need int for module/type
  [LOCAL profstatic i, DATA_GLB profmodule (miIS state), DATA_GLB profproducer p, DATA_GLB profconstructor c]