purs-ICE

gistfile1.txt

purs: An internal error occurred during compilation: "Invalid argument to infer: ObjectUpdateNested (PositionedValue (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 199, sourcePosColumn = 9}, spanEnd = SourcePos {sourcePosLine = 199, sourcePosColumn = 23}}) [] (Var (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 199, sourcePosColumn = 9}, spanEnd = SourcePos {sourcePosLine = 199, sourcePosColumn = 23}}) (Qualified Nothing (Ident \"activePosition\")))) (PathTree (AssocList {runAssocList = [(\"y\",Leaf (PositionedValue (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 200, sourcePosColumn = 17}, spanEnd = SourcePos {sourcePosLine = 200, sourcePosColumn = 21}}) [] (Var (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 200, sourcePosColumn = 17}, spanEnd = SourcePos {sourcePosLine = 200, sourcePosColumn = 21}}) (Qualified Nothing (Ident \"minY\"))))),(\"height\",Leaf (App (App (Var (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 65}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 66}}) (Qualified (Just (ModuleName [ProperName {runProperName = \"Data\"},ProperName {runProperName = \"Ring\"}])) (Ident \"sub\"))) (PositionedValue (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 22}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 64}}) [] (App (App (Var (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 40}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 41}}) (Qualified (Just (ModuleName [ProperName {runProperName = \"Data\"},ProperName {runProperName = \"Semiring\"}])) (Ident \"add\"))) (Accessor \"y\" (PositionedValue (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 23}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 37}}) [] (Var (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 23}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 37}}) (Qualified Nothing (Ident \"activePosition\")))))) (Accessor \"height\" (PositionedValue (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 42}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 56}}) [] (Var (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 42}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 56}}) (Qualified Nothing (Ident \"activePosition\")))))))) (PositionedValue (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 67}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 71}}) [] (Var (SourceSpan {spanName = \"src/Awake/DeviceGraph/Graph.purs\", spanStart = SourcePos {sourcePosLine = 201, sourcePosColumn = 67}, spanEnd = SourcePos {sourcePosLine = 201, sourcePosColumn = 71}}) (Qualified Nothing (Ident \"minY\"))))))]}))"
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.12.0-ItvvOLznCcNBLokghZlX8D:Language.PureScript.Crash
  internalError, called at src/Language/PureScript/TypeChecker/Types.hs:420:12 in purescript-0.12.0-ItvvOLznCcNBLokghZlX8D:Language.PureScript.TypeChecker.Types
purs: thread blocked indefinitely in an MVar operatio