add json support

Author: ranjitjhala

src/Language/Haskell/Liquid/UX/ACSS.hs

@@ -23,10 +23,8 @@ import qualified Data.HashMap.Strict as M
 import Data.List   (find, isPrefixOf, findIndex, elemIndices, intercalate)
 import Data.Char   (isSpace)
 import Text.Printf
--- import Text.PrettyPrint.HughesPJ            (Doc) 
 import Language.Haskell.Liquid.GHC.Misc
 import Language.Haskell.Liquid.Types.Errors (panic, impossible)
--- import Language.Haskell.Liquid.Types        (AnnInfo) 
 
 data AnnMap  = Ann 
   { types   :: M.HashMap Loc (String, String) -- ^ Loc -> (Var, Type)

src/Language/Haskell/Liquid/UX/Annotate.hs

@@ -448,8 +448,8 @@ instance ToJSON ACSS.AnnMap where
     where 
       toJ (sp, (x,t)) = object [ "start" .= toJSON (srcSpanStartLoc sp) 
                                , "stop"  .= toJSON (srcSpanEndLoc   sp) 
-                               , "var"   .= toJSON x 
-                               , "type"  .= toJSON t 
+                               , "ident" .= toJSON x 
+                               , "ann"  .= toJSON t 
                                ] 
 
 annErrors :: ACSS.AnnMap -> AnnErrors