Remove WordRepresentation

ollef · Jun 8, 2024 · c4fe838 · c4fe838
1 parent 360551d
commit c4fe838
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/builtin/Builtin.vix b/builtin/Builtin.vix
@@ -18,7 +18,6 @@ subInt : Int -> Int -> Int
 
 EmptyRepresentation : Type
 PointerRepresentation : Type
-WordRepresentation : Type
 
 maxRepresentation : Type -> Type -> Type
 addRepresentation : Type -> Type -> Type

diff --git a/src/Builtin.hs b/src/Builtin.hs
@@ -96,10 +96,6 @@ pattern EmptyRepresentationName :: Name.Qualified
 pattern EmptyRepresentationName =
   "Sixten.Builtin.EmptyRepresentation"
 
-pattern WordRepresentationName :: Name.Qualified
-pattern WordRepresentationName =
-  "Sixten.Builtin.WordRepresentation"
-
 pattern PointerRepresentationName :: Name.Qualified
 pattern PointerRepresentationName =
   "Sixten.Builtin.PointerRepresentation"