Skip to content

Double parens in type causes crash on master#3085

Description

@LiamGoodacre

Having double parentheses in a type causes a crash 馃槃

type Eg = ((Int))
Compiling Main
purs: An internal error occurred during compilation: "Invalid argument to infer: ParensInType (TypeConstructor (Qualified (Just (ModuleName [ProperName {runProperName = \"Prim\"}])) (ProperName {runProperName = \"Int\"})))"
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/Kinds.hs:268:11 in purescript-0.11.6-4vkhJJqnGWo13TgqQuOCFm:Language.PureScript.TypeChecker.Kinds
purs: thread blocked indefinitely in an MVar operation
* ERROR: Subcommand terminated with exit code 1

This doesn't appear to cause any issues on try purs, so I think it's master only at the moment.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions