done!


On Tue, Oct 1, 2013 at 8:31 PM, Eric Seidel <notifications@github.com>wrote:

> In Language/Haskell/Liquid/Bare.hs:
>
> > +       let vbs1 = expand3 <$> varSymbols fchoose "Var" lvs (dupSnd <$> xbs1)
> > +       when (not $ noCheckUnknown cfg) $
> > +         checkDefAsserts env vbs1 xbs1
> > +       vts1    <- map (addFst3 mod) <$> mapM mkVarSpec vbs1
> > +       vts2    <- makeAssumeSpec' cfg vs xbs2
> > +       return   $ vts1 ++ vts2
> > +  where (xbs1, xbs2)  = L.partition (inModule mod . fst) xbs
> > +
> > +        dupSnd (x, y)       = (dropMod x, (x, y))
> > +        expand3 (x, (y, w)) = (x, y, w)
> > +
> > +        dropMod  = fmap (stringSymbol . dropModuleNames . symbolString)
> > +
> > +        fchoose ls = maybe ls (:[]) $ L.find (`elem` vs) ls
> > +
> > +        inModule n x = (takeModuleNames $ show $ val x) == (show n)
>
> maybe we could change inModule to something like modElem here, since
> inModule is already defined in Bare as an action in the BareM monad?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/ucsd-progsys/liquidhaskell/pull/128/files#r6696658>
> .
>



-- 
Niki Vazou