Strange behaviour with reflected primitives

[AlecsFerra]

This code passes verification:

{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}

{-@ LIQUID "--ple"               @-}
{-@ LIQUID "--reflection"        @-}

module Reg where

{-@ reflect || @-}

note = True || False

But if the function note is commented out we get the following error:

test/Reg.hs:8:13: error:
    Cannot lift Haskell function `||` to logic
    Symbol exists but is not defined in the current file, and no unfolding is available in the interface files

I'm pretty sure this is a regression as before it was working

[AlecsFerra]

My guess is that this is caused by the new logical aliases thing.
cc @clayrat

[AlecsFerra]

With commit 791567f5cf468ab786abd982d65c51ae7914cbcd it works as expected

[facundominguez]

I cannot reproduce this. Maybe it is worth adding the test to the testsuite.

[AlecsFerra]

I cannot reproduce this. Maybe it is worth adding the test to the testsuite.

Also Alex is having some issue in reproducing the issue

The steps are clone liquid Haskell
Create test/Reg.hs

cabal build && cabal exec ghc -- test/Reg.hs

[clayrat]

Yes, I also can't reproduce it either by running it as a standalone file or as a mini-project.

[clayrat]

Ok, after running cabal update, I can get it too.

The error also goes away if you add import GHC.Classes (and remove note), so I guess some import logic isn't firing properly now.

[clayrat]

It does reproduce for me on 791567f this way however as well, so it looks unrelated to the aliases PR.

[AlecsFerra]

Ok its not a regression and just a bug

[clayrat]

Yes, the bug seems to manifest itself as far back as a5acdd3, so I'm inclined to think it's more or less always been there.

[AlecsFerra]

I guess it's related to this

liquidhaskell/src/GHC/Types_LHAssumptions.hs

Line 12 in 5536a9e

_f = (D#, F#, W#)