language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-07 14:44:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

glossary flat type (#7918)

Browse source
This commit is contained in:
Anton-4 2025-07-01 16:39:01 +02:00 • committed by GitHub
parent a9a9486aeb
commit edfff29342
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Glossary.md
View file

@ -401,6 +401,14 @@ Related definitions in the compiler:
- old compiler: search "pub enum Content" in [types/src/subs.rs](crates/compiler/types/src/subs.rs)
- new compiler: search "pub const Content" in [check/canonicalize/CIR.zig](src/check/canonicalize/CIR.zig)
## Flat Type
Represents types without indirection, it's the concrete form that types take after
resolving [variables](#type-variable) and [aliases](#type-alias).
definitions in the compiler:
- old compiler: search "pub enum FlatType" in [types/src/subs.rs](crates/compiler/types/src/subs.rs)
- new compiler: search "pub const FlatType" in [types/types.zig](src/types/types.zig)
## Canonicalization

3
src/types/types.zig
View file

@ -208,7 +208,8 @@ pub const TypeIdent = struct {
// flat types //
/// A "flat" data type
/// Represents type without indirection, it's the concrete form that a type
/// takes after resolving type variables and aliases.
pub const FlatType = union(enum) {
str,
box: Var,