File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed
ghengin-core/ghengin-core-indep/Ghengin/Core/Type Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -172,7 +172,7 @@ type family DSetBinding (set :: Nat) (binding :: Nat) (info :: PipelineInfo) ::
172172type family DSetBinding' (set :: Nat ) (binding :: Nat ) (info :: PipelineInfo ) :: Type where
173173 DSetBinding' set binding info =
174174 FromMaybe (DSetBinding set binding info )
175- (TypeError (Text " Uniform [Descriptor Set #" :<>: ShowType set :<>: Text " , Binding #" :<>: ShowType binding :<>: Text " ] not found in " :<>: ShowType info ))
175+ (TypeError (Text " Descriptor [Descriptor Set #" :<>: ShowType set :<>: Text " , Binding #" :<>: ShowType binding :<>: Text " ] not found in " :<>: ShowType info ))
176176
177177type family FindDSetInput (set :: Nat ) (binding :: Nat ) (inputs :: [TLInterfaceVariable ]) :: Maybe Type where
178178 FindDSetInput set binding '[] = 'Nothing
You can’t perform that action at this time.
0 commit comments