Skip to content

Giant upgrade#42

Open
alt-romes wants to merge 106 commits into
masterfrom
wip/romes/ghengin-monad
Open

Giant upgrade#42
alt-romes wants to merge 106 commits into
masterfrom
wip/romes/ghengin-monad

Conversation

@alt-romes

Copy link
Copy Markdown
Owner
  • Big refactor of the vulkan rendering
  • Killing backpack signatures
  • Making a Ghengin monad which is unrestricted (closes Make Ghengin use an unrestricted monad #2)
  • Kill RenderPass no longer useful with Vulkan 1.3

Still a work in progress, but getting much closer now.

Unfortunately, the approach here used currently doesn't work on GHC for
lack of multiplicity coercions. See

ghengin-core/Ghengin/Core/Render/Property.hs:373:3: error: [GHC-59840]
    GHC bug #19517: GHC currently does not support programs using GADTs or type families to witness equality of multiplicities
    |
373 |   case prop of
    |   ^^^^^^^^^^^^...
Just can't have it beacuse of GHC bug #19517

This reverts commit f2103d2.
Taking it easy. No over abstractions until I do a game for which the basic trivial thing is not good enough
It's just an unrestricted bool.
These were remnants from before we had `ShaderData` and tried to use
FIR's `Canonical` type family.

Also, re-export the modules from ghengin-core-indep from ghengin-core
howtovulkan.com and fir-examples
This approach is a cleaner way to handle the swapchain and the NoSwapchain case.
Rename a few modules to under that namespace.
@alt-romes alt-romes force-pushed the wip/romes/ghengin-monad branch from c65f020 to af6730d Compare May 27, 2026 23:31
@alt-romes alt-romes force-pushed the wip/romes/ghengin-monad branch from 4195842 to c236d83 Compare June 1, 2026 21:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make Ghengin use an unrestricted monad

1 participant