From d976447be871f0b10b52bfb65f805e94acce7ab7 Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Thu, 7 May 2020 13:06:07 -0400 Subject: [PATCH] remove f from token now that we no longer parameterize our programs with it --- semantic-ast/src/AST/Unmarshal.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/semantic-ast/src/AST/Unmarshal.hs b/semantic-ast/src/AST/Unmarshal.hs index 7305ee83a..190086c51 100644 --- a/semantic-ast/src/AST/Unmarshal.hs +++ b/semantic-ast/src/AST/Unmarshal.hs @@ -162,7 +162,7 @@ instance (Applicative shape, Unmarshal f) => Unmarshal (shape :.: f) where instance Unmarshal t => Unmarshal (Rec1 t) where matchers = coerce (matchers @t) -instance (KnownNat n, KnownSymbol sym) => Unmarshal (Token sym n f) where +instance (KnownNat n, KnownSymbol sym) => Unmarshal (Token sym n) where matchers = singleton (fromIntegral (natVal (Proxy @n)), Match (fmap Token . unmarshalAnn)) @@ -262,7 +262,7 @@ instance SymbolMatching f => SymbolMatching (Rec1 f) where matchedSymbols _ = matchedSymbols (Proxy @f) showFailure _ = showFailure (Proxy @f) -instance (KnownNat n, KnownSymbol sym) => SymbolMatching (Token sym n f) where +instance (KnownNat n, KnownSymbol sym) => SymbolMatching (Token sym n) where matchedSymbols _ = [fromIntegral (natVal (Proxy @n))] showFailure _ _ = "expected " ++ symbolVal (Proxy @sym)