bkpreex02.stderr 1.19 KB
Newer Older
Edward Z. Yang's avatar
Edward Z. Yang committed
1
[1 of 5] Processing p
2 3
  [1 of 2] Compiling T[sig]           ( p/T.hsig, nothing )
  [2 of 2] Compiling H[sig]           ( p/H.hsig, nothing )
Edward Z. Yang's avatar
Edward Z. Yang committed
4 5
[2 of 5] Processing timpl
  Instantiating timpl
6
  [1 of 1] Compiling TImpl            ( timpl/TImpl.hs, nothing )
Edward Z. Yang's avatar
Edward Z. Yang committed
7
[3 of 5] Processing q
8 9 10
  [1 of 3] Compiling T[sig]           ( q/T.hsig, nothing )
  [2 of 3] Compiling H[sig]           ( q/H.hsig, nothing )
  [3 of 3] Compiling A                ( q/A.hs, nothing )
Edward Z. Yang's avatar
Edward Z. Yang committed
11 12 13
[4 of 5] Processing r-impl
  Instantiating r-impl
  [1 of 1] Including timpl
14 15
  [1 of 2] Compiling H                ( r-impl/H.hs, nothing )
  [2 of 2] Compiling T                ( r-impl/T.hs, nothing )
Edward Z. Yang's avatar
Edward Z. Yang committed
16 17
[5 of 5] Processing r
  Instantiating r
18 19
  [1 of 1] Including q[H=r-impl:H,T=r-impl:T]
    Instantiating q[H=r-impl:H,T=r-impl:T]
Edward Z. Yang's avatar
Edward Z. Yang committed
20
    [1 of 2] Including timpl
21 22
    [2 of 2] Including p[H=r-impl:H,T=r-impl:T]
      Instantiating p[H=r-impl:H,T=r-impl:T]
23 24 25 26 27
      [1 of 2] Compiling T[sig]           ( p/T.hsig, nothing )
      [2 of 2] Compiling H[sig]           ( p/H.hsig, nothing )
    [1 of 3] Compiling T[sig]           ( q/T.hsig, nothing )
    [2 of 3] Compiling H[sig]           ( q/H.hsig, nothing )
    [3 of 3] Compiling A                ( q/A.hs, nothing )