From c4fe838819744812e07302312477efea329064bf Mon Sep 17 00:00:00 2001 From: Olle Fredriksson Date: Sat, 8 Jun 2024 23:59:49 +0200 Subject: [PATCH] Remove WordRepresentation --- builtin/Builtin.vix | 1 - src/Builtin.hs | 4 ---- 2 files changed, 5 deletions(-) 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"