Only allow global nullable pointers to be stored in structures

Do exactly what doc says. Avoid situations like GaloisInc#89
DistRap · Dec 17, 2023 · 65730b9 · 65730b9
1 parent 316893b
commit 65730b9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/ivory/src/Ivory/Language/Ref.hs b/ivory/src/Ivory/Language/Ref.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE FlexibleInstances #-}
@@ -102,5 +103,5 @@ instance IvoryStore Sint32
 instance IvoryStore Sint64
 
 -- Only allow global nullable pointers to be stored in structures.
-instance (KnownConstancy c, IvoryArea a) =>
-         IvoryStore (Pointer 'Nullable c 'Global a)
+instance (KnownConstancy c, IvoryArea a, n ~ 'Nullable, s ~ 'Global) =>
+         IvoryStore (Pointer n c s a)