Remove the AstBindings abbreviation

Mikolaj · Mar 31, 2024 · 1c4be3a · 1c4be3a
1 parent 616fb1c
commit 1c4be3a
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/HordeAd/Core/Ast.hs b/src/HordeAd/Core/Ast.hs
@@ -9,7 +9,6 @@ module HordeAd.Core.Ast
     AstSpanType(..), AstSpan(..), sameAstSpan
     -- * Assorted small definitions
   , AstInt, IntVarName, pattern AstIntVar, isRankedInt
-  , AstBindings
     -- * More and less typed variables and type synonyms containing them
   , AstVarName(..), varNameToAstVarId
   , AstArtifactRev, AstArtifactFwd
@@ -124,8 +123,6 @@ isRankedInt _ = case ( sameAstSpan @s @PrimalSpan
                   (Just Refl, Just Refl, Just Refl) -> Just Refl
                   _ -> Nothing
 
-type AstBindings = AstBindingsD (AstRanked PrimalSpan)
-
 
 -- * More and less typed variables and type synonyms containing them