sig/dolos/result.rbs in dolos-0.2.0 vs sig/dolos/result.rbs in dolos-0.2.1

@@ -13,18 +13,25 @@
     def failure?: -> bool
     def success?: -> bool
   end
 
   class Failure < Result[bot]
+    @message_proc: ^-> String
+    @message_evaluated: bool
+    @message_value: String
+    @state: ParserState
+
     attr_reader committed: bool
     attr_reader error_position: Integer
     attr_reader message: String
 
     def captures: -> []
 
     def failure?: -> bool
 
     def map: [B](^(bot) -> B) -> Result[B]
+
+    def pretty_print: -> String
 
     def success?: -> bool
   end
 end