LiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved.

[1;94m
**** DONE:  A-Normalization ****************************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  Extracted Core using GHC *******************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  Transformed Core ***************************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  Uniqify & Rename ***************************************************
[0m[1;90m 
[0mRESULT: Unsafe [Just 100]
[1;94m
**** DONE:  annotate ***********************************************************
[0m[1;90m 
[0m[1;91m
**** RESULT: UNSAFE ************************************************************
[0m

 /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1496028756_1088.hs:9:1-7: Error: Liquid Type Mismatch
 
 9 | notEven = 7
     ^^^^^^^
 
   Inferred type
     VV : {VV : Int | VV == 7}
  
   not a subtype of Required type
     VV : {VV : Int | VV mod 2 == 0}
  
   In Context