diff --git a/builtin/Builtin.vix b/builtin/Builtin.vix index 243adab..016224f 100644 --- 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 index 87f22de..affd472 100644 --- 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"