Graph based checking error with CompilationRepresentationFlags.ModuleSuffix

[kerams]

Create a new fsproj, add a.fs, b.fs and c.fs in this order, and enable graph based checking.

a.fs

namespace F.General

b.fs

[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module F

let br () = ()

c.fs

module S

[<EntryPoint>]
let main _ =
    F.br ()
    0

Build.

Expected behavior

Compiles successfully.

Actual behavior

c.fs(5,5): error FS0039: The value, namespace, type or module 'F' is not defined. It looks like it has been established that c.fs does not depend on b.fs, and both files are checked in parallel.

Known workarounds

Disable graph based checking.

Related information

SDK 8.0.100-rc.1.23455.8

[kerams]

I'll leave this here too:).

a.fs

namespace F

[<AutoOpen>]
module General =
    let br () = printfn "a"

b.fs

[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module F

let br () = printfn "b"

c.fs

module S

open F

[<EntryPoint>]
let main _ =
    br ()
    0

[nojaf]

@kerams did you extract this from a production scenario?

[kerams]

Not quite. I encountered it when building a Fable project in VS by accident. Fable compiler is not affected, for the time being at least.

[nojaf]

Thanks, I was curious if you found this in the wild or more synthetically composed this.
Fable compiler won't be affected by this I assume as --test:GraphBasedChecking is not yet used in the FCS service layer.