openscad quasiquote #480

Activity

1. ovitus commented on Aug 25, 2024

   

   ovitus

   on Aug 25, 2024

   More actions

   Second this. How can this be done via Haskell?
2. aavogt commented on Aug 25, 2024

   

   aavogt

   on Aug 25, 2024

   Author

   More actions

   https://github.com/Haskell-Things/ImplicitCAD/blob/master/programs/extopenscad.hs#L168 shows how it parses scad/runs scad files. SymbolicObj3 contains functions, so the QuasiQuoter probably has to run the parser at runtime because there's no Lift instance, ie. it probably will look like:

   -- | QuasiQuoter for extopenscad expressions
   -- 
   -- > hex ::  Double -> IO SymbolicObj2
   -- > hex d = [scad2d| circle($(d), $fn=6) |]
   scad2d = QuasiQuoter { quoteExp = \ str -> do
     checkSyntax str -- optional: probably calls runOpenscad
     [| (\(_,obj2s,_obj3s,_) -> obj2s) <$> runOpenscad scadOpts _ $(antiquote str) |] }
   
   -- | > antiquote "ab $(c) def" == [| "ab " ++ show c ++ " def" |]
   antiquote :: String -> ExpQ
   antiquote = _

   But maybe the result doesn't have to be in IO.