File tree Expand file tree Collapse file tree 2 files changed +5
-2
lines changed Expand file tree Collapse file tree 2 files changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -43,7 +43,8 @@ module Fixed = struct
4343 indices
4444 | EAnd (l , r ) -> Fmt. pf ppf " %a && %a" pp_e l pp_e r
4545 | EOr (l , r ) -> Fmt. pf ppf " %a || %a" pp_e l pp_e r
46- | Promotion (from , ut ) -> Fmt. pf ppf " %a -> %a" pp_e from UnsizedType. pp ut
46+ | Promotion (from , ut ) ->
47+ Fmt. pf ppf " %a -> %a" pp_e from UnsizedType. pp ut
4748
4849 include Foldable. Make (struct
4950 type nonrec 'a t = 'a t
Original file line number Diff line number Diff line change @@ -527,7 +527,9 @@ and pp_expr ppf Expr.Fixed.({pattern; meta} as e) =
527527 | Lit (Str, s ) -> pf ppf " \" %s\" " (Cpp_str. escaped s)
528528 | Lit (Imaginary, s ) -> pf ppf " to_complex(0, %s)" s
529529 | Lit ((Real | Int ), s ) -> pf ppf " %s" s
530- | Promotion (expr , ut ) -> pf ppf " stan::math::promote_scalar_t<%a>(%a)" pp_unsizedtype_local (meta.adlevel, ut) pp_expr expr
530+ | Promotion (expr , ut ) ->
531+ pf ppf " stan::math::promote_scalar_t<%a>(%a)" pp_unsizedtype_local
532+ (meta.adlevel, ut) pp_expr expr
531533 | FunApp
532534 ( StanLib (op, _, _)
533535 , [ { meta= {type_= URowVector ; _}
You can’t perform that action at this time.
0 commit comments