v0d1ch (Sasa Bogicevic)
User

Projects

User does not belong to any projects.

User Details

User Since
Jun 3 2018, 3:24 PM (6 w, 10 h)

Recent Activity

Wed, Jul 11

v0d1ch updated the diff for D4943: Notify user when a kind mismatch holds up a type family reduction.
  • Revert changes and start from scratch
Wed, Jul 11, 4:59 PM

Tue, Jul 10

v0d1ch abandoned D4949: Notify user when a kind mismatch holds up a type family reduction.
Tue, Jul 10, 2:29 AM
v0d1ch removed a dependency for D4949: Notify user when a kind mismatch holds up a type family reduction: D4943: Notify user when a kind mismatch holds up a type family reduction.
Tue, Jul 10, 2:25 AM
v0d1ch removed a dependent revision for D4943: Notify user when a kind mismatch holds up a type family reduction: D4949: Notify user when a kind mismatch holds up a type family reduction.
Tue, Jul 10, 2:25 AM
v0d1ch added a comment to D4949: Notify user when a kind mismatch holds up a type family reduction.

arc diff <other usual stuff> -update D4943

Tue, Jul 10, 2:24 AM
v0d1ch updated the diff for D4943: Notify user when a kind mismatch holds up a type family reduction.

Fix number of lines warn in TcErrors.hs

Tue, Jul 10, 2:21 AM

Mon, Jul 9

v0d1ch added a dependency for D4949: Notify user when a kind mismatch holds up a type family reduction: D4943: Notify user when a kind mismatch holds up a type family reduction.
Mon, Jul 9, 5:42 PM
v0d1ch added a dependent revision for D4943: Notify user when a kind mismatch holds up a type family reduction: D4949: Notify user when a kind mismatch holds up a type family reduction.
Mon, Jul 9, 5:42 PM
v0d1ch added a comment to D4949: Notify user when a kind mismatch holds up a type family reduction.

Is there a way to merge somehow parent differential D4943 with this one ? I managed to delete my previous commits locally (facepalm) and this diff should really be an update for D4943

Mon, Jul 9, 5:33 PM
Herald added a reviewer for D4949: Notify user when a kind mismatch holds up a type family reduction: goldfire.
Mon, Jul 9, 5:28 PM

Fri, Jul 6

v0d1ch added inline comments to D4943: Notify user when a kind mismatch holds up a type family reduction.
Fri, Jul 6, 6:13 PM
Herald added a reviewer for D4943: Notify user when a kind mismatch holds up a type family reduction: goldfire.
Fri, Jul 6, 5:24 PM