Error found:
in module Main
at tests/purs/failing/CompareInt5.purs:14:16 - 14:29 (line 14, column 16 - line 14, column 29)

  Could not match type
      
    LT
      
  with type
      
    GT
      

while solving type class constraint
                     
  Prim.Int.Compare c0
                   a1
                   GT
                     
while checking that type forall (l :: Int) (r :: Int).       
                           Compare l r GT => Proxy @(Row Int)
                                               ( left :: l   
                                               , right :: r  
                                               )             
  is at least as general as type Proxy @(Row Int)
                                   ( left :: c0  
                                   , right :: a1 
                                   )             
while checking that expression assertGreater
  has type Proxy @(Row Int)
             ( left :: c0  
             , right :: a1 
             )             
in value declaration impossible

where a1 is a rigid type variable
        bound at (line 0, column 0 - line 0, column 0)
      c0 is a rigid type variable
        bound at (line 0, column 0 - line 0, column 0)

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.