- | NCicUnification.UnificationFailure _
- | NCicUnification.Uncertain _
- | MultiPassDisambiguator.DisambiguationError _ ->
- raise (GrafiteTypes.Command_error "bad source pattern"))
+ | NCicUnification.UnificationFailure msg
+ | NCicUnification.Uncertain msg ->
+ raise (GrafiteTypes.Command_error ("bad source pattern: " ^
+Lazy.force msg))
+ | MultiPassDisambiguator.DisambiguationError _ ->
+ raise (GrafiteTypes.Command_error ("bad source pattern:
+disambiguation error")))