Luke Boswell (Nov 28 2023 at 21:35): Luke Boswell (Nov 28 2023 at 21:35):Just cleaning up a bunch of things and adding some more content for the tutorial and noticed the Phantom Types section is empty. Is anyone able to give me a clue as to what this is referring to? Is this just having a type variable that isn't actually included in the opaque definition, i.e. they aren't used, but just distinguish between different things.
Richard Feldman (Nov 28 2023 at 21:46):yeah exactly
Richard Feldman (Nov 28 2023 at 21:46):I don't know if that actually needs to be in the tutorial though
Richard Feldman (Nov 28 2023 at 21:46):probably a better fit for the language reference
Luke Boswell (Nov 28 2023 at 21:46):I might pull it out for now, instead of having a (coming soon) section
Last updated: Jul 26 2025 at 12:14 UTC