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/1506066665_3890.hs:54:1-6: Error: Termination Error
 
 54 | length N        = 0
      ^^^^^^
  SimpleRefinements.length
 No decreasing parameter


 /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1506066665_3890.hs:62:36-38: Error: Liquid Type Mismatch
 
 62 |   where go i acc | i < hi    = go (i+1) (f i acc)
                                         ^^^
   Inferred type
     VV : {v : Int | v == i + ?a
                     && v == ?b}
  
   not a subtype of Required type
     VV : {VV : Int | VV >= lo
                      && VV < i
                      && VV >= 0}
  
   In Context
     ?b : {?b : Int | ?b == i + ?a}
      
     lo : Int
      
     ?a : {?a : Int | ?a == 1}
      
     i : {i : Int | i >= lo}


 /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1506066665_3890.hs:68:35-41: Error: Liquid Type Mismatch
 
 68 |   where body   = \i acc -> acc + (xs !! i)
                                        ^^^^^^^
   Inferred type
     VV : {v : Int | v == i}
  
   not a subtype of Required type
     VV : {VV : Int | VV >= 0
                      && VV < llen xs}
  
   In Context
     xs : (L Int)
      
     i : Int


 /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1506066665_3890.hs:74:35-41: Error: Liquid Type Mismatch
 
 74 |   where body   = \i acc -> acc + (xs !! i)
                                        ^^^^^^^
   Inferred type
     VV : {v : Int | v == i}
  
   not a subtype of Required type
     VV : {VV : Int | VV >= 0
                      && VV < llen xs}
  
   In Context
     xs : (L Int)
      
     i : Int