fix: stable kind cache when AddConField

hackworthltd · Jun 2, 2023 · c2b3cae · c2b3cae
1 parent 1631114
commit c2b3cae
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/primer/src/Primer/App.hs b/primer/src/Primer/App.hs
@@ -152,7 +152,7 @@ import Primer.Core (
   _exprMeta,
   _exprMetaLens,
   _type,
-  _typeMetaLens,
+  _typeMetaLens, Kind (KType),
  )
 import Primer.Core.DSL (S, create, emptyHole, tEmptyHole)
 import Primer.Core.DSL qualified as DSL
@@ -839,16 +839,18 @@ applyProgAction prog mdefName = \case
             $ Nothing
         )
     where
-      updateType =
-        alterTypeDef
+      updateType  =
+        let new' = runReaderT (liftError (ActionError . TypeError) $ fmap TC.typeTtoType $ TC.checkKind KType =<< generateTypeIDs new)
+                         (progCxt prog)
+        in alterTypeDef
           ( traverseOf #astTypeDefConstructors $
               maybe (throwError $ ConNotFound con) pure
                 <=< findAndAdjustA
                   ((== con) . valConName)
                   ( traverseOf
                       #valConArgs
                       ( maybe (throwError $ IndexOutOfRange index) pure
-                          <=< liftA2 (insertAt index) (generateTypeIDs new) . pure
+                          <=< liftA2 (insertAt index) new' . pure
                       )
                   )
           )