From 813b064e22ec20301b8131d594bd5ecdbcbc203a Mon Sep 17 00:00:00 2001
From: Owen Lynch <root@owenlynch.org>
Date: Wed, 3 Jul 2024 12:07:49 -0700
Subject: [PATCH] cover parsing code

---
 test/util/SumTypes.jl | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/test/util/SumTypes.jl b/test/util/SumTypes.jl
index e19b157..e2069c1 100644
--- a/test/util/SumTypes.jl
+++ b/test/util/SumTypes.jl
@@ -4,6 +4,24 @@ using MLStyle
 using GATlab.Util.SumTypes
 using Test
 
+# Unit tests of parsing
+
+@test SumTypes.fromexpr(:(x<:Int), SumTypes.TypeArg) isa SumTypes.TypeArg
+@test_throws ErrorException SumTypes.fromexpr(:(x::Int), SumTypes.TypeArg)
+
+@test SumTypes.toexpr(SumTypes.fromexpr(:(x<:Int), SumTypes.TypeArg)) == :(x<:Int)
+
+@test SumTypes.toexpr(SumTypes.fromexpr(:(X{Y}), SumTypes.BaseType)) == :(X{Y})
+@test_throws ErrorException SumTypes.fromexpr(:(1+1), SumTypes.BaseType)
+
+@test SumTypes.fromexpr(:(x::Int), SumTypes.Field) isa SumTypes.Field
+@test_throws ErrorException SumTypes.fromexpr(:(1+1), SumTypes.Field)
+
+@test SumTypes.fromexpr(:(V(x::Int)), SumTypes.Variant, :T) isa SumTypes.Variant
+@test_throws ErrorException SumTypes.fromexpr(:(V{}), SumTypes.Variant, :T)
+
+# Integration tests
+
 @sum AlgebraExpr{T} begin
   Const(x::T)
   Sum(summands::Vector{Self})
@@ -20,7 +38,7 @@ expr_type = sprint(show, AlgebraExpr)
       "$sum_type($expr_type{Int64}[$const_type(3)::$expr_type{Int64}])::$expr_type{Int64}"
 
 @sum MonoidExpr begin
-  Zero()
+  Zero
   Plus(t1::Self, t2::Self)
 end