test

emarzion · emarzion · commit cd162fd7862b · 2021-02-18T18:54:37.000-06:00
diff --git a/kore/src/Kore/Equation/Registry.hs b/kore/src/Kore/Equation/Registry.hs
@@ -160,6 +160,7 @@ ignoreDefinition Equation { attributes, left }
     | otherwise = (error . show . Pretty.vsep)
         [ "left-hand side of equation was not function-like at:"
         , Pretty.indent 4 $ Pretty.pretty sourceLocation
+        , Pretty.indent 4 $ Pretty.pretty $ show left
         ]
   where
     Attribute.Axiom { sourceLocation } = attributes

Original file line number	Diff line number	Diff line change
`@@ -160,6 +160,7 @@ ignoreDefinition Equation { attributes, left }`
`160`	`160`	`\| otherwise = (error . show . Pretty.vsep)`
`161`	`161`	`[ "left-hand side of equation was not function-like at:"`
`162`	`162`	`, Pretty.indent 4 $ Pretty.pretty sourceLocation`
	`163`	`+ , Pretty.indent 4 $ Pretty.pretty $ show left`
`163`	`164`	`]`
`164`	`165`	`where`
`165`	`166`	`Attribute.Axiom { sourceLocation } = attributes`