Crash using new proxy syntax #3072
Description
Input:
module Main where
class C a b | a -> b
instance c :: C Int String
go :: forall a b. C a b => @a -> b -> b
go _ b = b
foo :: _
foo = go @Int "hello"Output:
purs: An internal error occurred during compilation: "ctorModules: unqualified type name"
Please report this at https://github.com/purescript/purescript/issues
CallStack (from HasCallStack):
error, called at src/Language/PureScript/Crash.hs:24:3 in purescript-0.11.6-4vkhJJqnGWo13TgqQuOCFm:Language.PureScript.Crash
internalError, called at src/Language/PureScript/TypeChecker/Entailment.hs:201:59 in purescript-0.11.6-4vkhJJqnGWo13TgqQuOCFm:Language.PureScript.TypeChecker.Entailment
purs: thread blocked indefinitely in an MVar operation
* ERROR: Subcommand terminated with exit code 1