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...


Note that this whole business is actually a perfect use case for LH: add a 'numRef' parameter to the tycon and specify that the lenght of the refs equals numRef...

> On Aug 29, 2014, at 8:46 AM, Ranjit Jhala <rjhala@eng.ucsd.edu> wrote:
> 
> 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.