From 744d7ffbd004669399aa34a69b093c368397f05d Mon Sep 17 00:00:00 2001 From: Mazdak Farrokhzad Date: Wed, 31 Jul 2024 17:10:32 +0200 Subject: [PATCH 1/2] don't use BuiltinType.I/U128, use AlgebraicType.I/U128 --- src/Primitives.cs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Primitives.cs b/src/Primitives.cs index 9466cca5..93ba5e98 100644 --- a/src/Primitives.cs +++ b/src/Primitives.cs @@ -39,7 +39,7 @@ public void Write(BinaryWriter writer, I128 value) } public AlgebraicType GetAlgebraicType(ITypeRegistrar registrar) => - new AlgebraicType.Builtin(new BuiltinType.I128(new Unit())); + new AlgebraicType.I128(new Unit()); } } @@ -76,7 +76,7 @@ public void Write(BinaryWriter writer, U128 value) } public AlgebraicType GetAlgebraicType(ITypeRegistrar registrar) => - new AlgebraicType.Builtin(new BuiltinType.U128(new Unit())); + new AlgebraicType.U128(new Unit()); } } From 7e81cc75c7f3e37150b7bdcddead0aaf2fb20933 Mon Sep 17 00:00:00 2001 From: Zeke Foppa Date: Tue, 6 Aug 2024 11:51:28 -0700 Subject: [PATCH 2/2] bump CI