add todo for deserializer test

awalterschulze · awalterschulze · commit 3b3dfcceb9ed · 2025-07-21T11:24:18.000+01:00
diff --git a/Validator/Parser.lean b/Validator/Parser.lean
@@ -1,3 +1,4 @@
+import Validator.Parser.DeserializeTest
 import Validator.Parser.EncodeTree
 import Validator.Parser.Hint
 import Validator.Parser.ParseTree
diff --git a/Validator/Parser/DeserializeTest.lean b/Validator/Parser/DeserializeTest.lean
@@ -0,0 +1 @@
+-- TODO: write test that deserializes from a parser into a structure.

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+import Validator.Parser.DeserializeTest`
`1`	`2`	`import Validator.Parser.EncodeTree`
`2`	`3`	`import Validator.Parser.Hint`
`3`	`4`	`import Validator.Parser.ParseTree`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+-- TODO: write test that deserializes from a parser into a structure.`