compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
431 stars 49 forks source link

tracing output incoherent while multiple modules are building #39

Open cartazio opened 6 years ago

cartazio commented 6 years ago

found this gem in my terminal

                @ a
                                      (subC @ (->) @ Double ($fNumCat(->)a @ Double $fNumDouble))
(irred1
                                         `cast` (Sub      (D# 1.0## (D:R:Ok:**:[0] <Syn>_N <(:>)>_N) <a>_N
)
                                                      r1
 ::    Cont:   Stop[RhsCtxt] R
 (Ok (Syn :**: (:>)) a :: Constraint)
                                            ~R#
                                            ((&+&) (Ok Syn) (Ok (:>)) a :: Constraint))),
                        Rule fired
      $p1&+&
    Rule:                 rebox2
            Module:        @ (ConCat.Rebox)
    Before: *
         /## ValArg         1.0##                 ValArg@ y
    After:  (Ok Syn)
         let                        @ (Ok (:>))
 {
                                              $dFractionalCat ::@ b
 FractionalCat (->) Double
                                      $dFractionalCat
                        = $fFractionalCat(->)a @ Double $fFractionalDouble } in
        (irred
    \                                 `cast` (Sub (u# :: Double#) (v# :: (D:R:Ok:**:[0] <Syn>_N <(:>)>_N) <b>_N
 Double#) ->
                                         ::      unboxD (divideC @ (->) @ Double $dFractionalCat (boxD u#, boxD v#))
    Cont:   Select nodup wild4
         (Ok (Syn :**: (:>)) b ::    Stop[BoringCtxt Constraint)
] Bool
                                            ~R#
                                            ((&+&) (Ok Syn) (Ok (:>)) b :: Constraint))))
            Stop[BoringCtxtRule fired
    Rule:] Syn (Prod Syn a b) a
 rebox2
cartazio commented 6 years ago

is this supposed to look this way or is it the interleaving of several things?

conal commented 6 years ago

Yow. What a mess. I guess Stack arranges for these streams to go to different places.

cartazio commented 6 years ago

It may be simply that stack only does parallel packages but single threaded build per package ? Idk.

On Fri, Jun 8, 2018 at 6:49 PM Conal Elliott notifications@github.com wrote:

Yow. What a mess. I guess Stack arranges for these streams to go to different places.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/conal/concat/issues/39#issuecomment-395912973, or mute the thread https://github.com/notifications/unsubscribe-auth/AAAQwhoc7HgAAghGVwJ89WLYY9N7PE-Iks5t6v-DgaJpZM4UhCpk .