feat: Create new type parameters with hole kind, rather than type

Signed-off-by: George Thomas <[email protected]>
hackworthltd · Jul 26, 2023 · 4798b9b · 4798b9b
1 parent 44cead0
commit 4798b9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/primer/src/Primer/Action.hs b/primer/src/Primer/Action.hs
@@ -1309,7 +1309,7 @@ toProgActionInput def0 sel0 opt0 = \case
     opt <- optNoCxt
     sel <- typeSel
     index <- length . astTypeDefParameters <$> typeDef -- for now, we always add on to the end
-    pure [AddTypeParam sel.def index opt $ C.KType ()]
+    pure [AddTypeParam sel.def index opt $ C.KHole ()]
   where
     termSel = case sel0 of
       SelectionDef s -> pure s