LiquidHaskell Copyright 2013-17 Regents of the University of California. All Rights Reserved.


**** DONE:  A-Normalization ****************************************************
 

**** DONE:  Extracted Core using GHC *******************************************
 

**** DONE:  Transformed Core ***************************************************
 

**** DONE:  Uniqify & Rename ***************************************************
 

**** DONE:  annotate ***********************************************************
 

**** RESULT: UNSAFE ************************************************************


 /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1500715593_2630.hs:29:32-39: Error: Liquid Type Mismatch
 
 29 | toPos v = if v > 0 then v else blame ""
                                     ^^^^^^^^
   Inferred type
     VV : {v : [Char] | len v == 0
                        && len v >= 0
                        && v == ?a
                        && len v >= 0}
  
   not a subtype of Required type
     VV : {VV : [Char] | false}
  
   In Context
     ?a : {?a : [Char] | len ?a == 0
                         && len ?a >= 0}