
  0 | module Language.Reflection.Expr.Interpolation
  1 | 
  2 | import Language.Reflection.Pretty
  3 | import Language.Reflection.TTImp
  4 | 
  5 | import Text.PrettyPrint.Bernardy
  6 | 
  7 | %default total
  8 | 
  9 | export %hint
 10 | InterpolationTTImp' : Interpolation TTImp
 11 | InterpolationTTImp' = ThroughPretty {layout = Opts {lineLength = 152}}
 12 |