Absref bugfix

Potential bug fix for tests/todo/absref-crash.hs

Still slightly queasy about it it -- it `pad`s missing `RProp` using `top` which is ok, I guess. But the question is WHY are those missing?

TODO: 
1. check if it breaks any tests (unlikely)
2. check if it actually suffices for `Repeat.hs` and `IcfpDemo.hs`

@gridaphobe: can you check the TODO items above? I can't run it as they require your tweaks to the parser.
Perhaps you can merge this with your `Repeat` branch and see if the tests succeed? If so we could merge...


Duh! Of course! Obvious typo and my bad.  pretty shocked that ALL tests didn't fail. 

Thank god for tests. ;)

> On Aug 29, 2014, at 8:38 AM, Eric Seidel <notifications@github.com> wrote:
> 
> In src/Language/Haskell/Liquid/Misc.hs:
> 
> > @@ -61,3 +61,16 @@ mapNs ns f xs = foldl (\xs n -> mapN n f xs) xs ns
> >  mapN 0 f (x:xs) = f x : xs
> >  mapN n f (x:xs) = x : mapN (n-1) f xs
> >  mapN _ _ []     = []
> > +
> > +
> > + 
> > +pad _ f [] ys   = (f <$> ys, ys)
> > +pad _ f xs []   = (xs, f <$> xs)
> > +pad msg f xs ys
> > +  | nxs == nys  = (xs, f <$> xs)
> @ranjitjhala we've got a bunch of failing neg-tests now, and I suspect they're due to this line. Seems to me we should return both lists as is if they have equal length.
> 
> —
> Reply to this email directly or view it on GitHub.