tweak name ticking

2 files changed, 2 insertions, 2 deletions

diff --git a/lc/Builtins.lc b/lc/Builtins.lc
index 29533cbf..6aac18f8 100644
--- a/lc/Builtins.lc
+++ b/lc/Builtins.lc
@@ -525,7 +525,7 @@ accumulate ctx fshader fstr fb = Accumulate ctx (mapFragments fshader fstr) fb
 
 -- texture support
 PrjImage            :: FrameBuffer 1 '[a] -> Image 1 a
-PrjImageColor       :: FrameBuffer 1 '[Depth 'Float, Color '(Vec 4 Float)] -> Image 1 (Color (Vec 4 Float))
+PrjImageColor       :: FrameBuffer 1 '[ 'Depth Float, 'Color (Vec 4 Float)] -> Image 1 (Color (Vec 4 Float))
 
 data Output where
   ScreenOut           :: FrameBuffer a b -> Output
diff --git a/lc/Prelude.lc b/lc/Prelude.lc
index ecb9852f..28c7fab8 100644
--- a/lc/Prelude.lc
+++ b/lc/Prelude.lc
@@ -133,7 +133,7 @@ fstTup (HCons a _) = a
 sndTup (HCons _ a) = a
 
 -- todo: don't use unsafeCoerce
-project :: forall a (xs :: [RecItem]) . forall (s :: String) -> 'isKeyC s a xs => RecordC xs -> a
+project :: forall a (xs :: [RecItem]) . forall (s :: String) -> isKeyC s a xs => RecordC xs -> a
 project @a @(RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)
 project @a @(RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(isKeyC s a xs)) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)))