4e554c4c
diff --git a/‎src/Cornelis/Pretty.hs‎
Lines changed: 2 additions & 0 deletions b/‎src/Cornelis/Pretty.hs‎
Lines changed: 2 additions & 0 deletions
@@ -164,6 +164,7 @@ prettyGoals (GoalSpecific _ scoped ty mhave mboundary mconstraints) =
     ] <>
     [ section "Constraints" (fromMaybe [] mconstraints) pretty
     ]
+--prettyGoals (Constraints mconstraints) = section "Constraints" (fromMaybe [] mconstraints) pretty
 prettyGoals (HelperFunction sig) =
   section "Helper Function"
     [ mempty
@@ -182,6 +183,7 @@ prettyGoals (IntroConstructorUnknown constructors) = vsep
   , section "Constructors available" constructors prettyName
   ]
 prettyGoals (UnknownDisplayInfo v) = annotate CornelisError $ pretty $ show v
+prettyGoals (Version v) = annotate CornelisError $ pretty $ show v
 
 prettyInterval :: AgdaInterval -> Doc HighlightGroup
 prettyInterval (Interval s e)
Original file line number	Diff line number	Diff line change
`@@ -164,6 +164,7 @@ prettyGoals (GoalSpecific _ scoped ty mhave mboundary mconstraints) =`
`164`	`164`	`] <>`
`165`	`165`	`[ section "Constraints" (fromMaybe [] mconstraints) pretty`
`166`	`166`	`]`
	`167`	`+--prettyGoals (Constraints mconstraints) = section "Constraints" (fromMaybe [] mconstraints) pretty`
`167`	`168`	`prettyGoals (HelperFunction sig) =`
`168`	`169`	`section "Helper Function"`
`169`	`170`	`[ mempty`
`@@ -182,6 +183,7 @@ prettyGoals (IntroConstructorUnknown constructors) = vsep`
`182`	`183`	`, section "Constructors available" constructors prettyName`
`183`	`184`	`]`
`184`	`185`	`prettyGoals (UnknownDisplayInfo v) = annotate CornelisError $ pretty $ show v`
	`186`	`+prettyGoals (Version v) = annotate CornelisError $ pretty $ show v`
`185`	`187`
`186`	`188`	`prettyInterval :: AgdaInterval -> Doc HighlightGroup`
`187`	`189`	`prettyInterval (Interval s e)`