warning police

robdockins · robdockins · commit 55e3eb13265e · 2021-06-14T17:51:08.000-07:00
diff --git a/src/SAWScript/Value.hs b/src/SAWScript/Value.hs
@@ -343,7 +343,7 @@ evaluate sc t =
 evaluateTypedTerm :: SharedContext -> TypedTerm -> IO C.Value
 evaluateTypedTerm sc (TypedTerm (TypedTermSchema schema) trm) =
   C.runEval mempty . exportValueWithSchema schema =<< evaluate sc trm
-evaluateTypedTerm sc (TypedTerm tp _) =
+evaluateTypedTerm _sc (TypedTerm tp _) =
   fail $ unlines [ "Could not evaluate term with type"
                  , show (CMS.ppTypedTermType tp)
                  ]

Original file line number	Diff line number	Diff line change
`@@ -343,7 +343,7 @@ evaluate sc t =`
`343`	`343`	`evaluateTypedTerm :: SharedContext -> TypedTerm -> IO C.Value`
`344`	`344`	`evaluateTypedTerm sc (TypedTerm (TypedTermSchema schema) trm) =`
`345`	`345`	`C.runEval mempty . exportValueWithSchema schema =<< evaluate sc trm`
`346`		`-evaluateTypedTerm sc (TypedTerm tp _) =`
	`346`	`+evaluateTypedTerm _sc (TypedTerm tp _) =`
`347`	`347`	`fail $ unlines [ "Could not evaluate term with type"`
`348`	`348`	`, show (CMS.ppTypedTermType tp)`
`349`	`349`	`]`