This report explores the validity of the insight that pointer types (classes, slices, pointers to structs) should not trigger cyclic type errors when contained in templated types, because pointers have a known fixed size regardless of the pointee type. The current semantic analysis performs "deep" analysis of field types, which causes false-positive cyclic errors for valid recursive data structures.
Richard (Rikki) Andrew Cattermole rikkimax
rikkimax
/ template_cyclic_pointer_analysis.md
Created
March 5, 2026 13:54
rikkimax
/ opUnwrapIfTrue.md
Created
February 26, 2026 13:49
| Field | Value |
|---|---|
| DIP: | (number/id -- assigned by DIP Manager) |
| Author: | Richard (Rikki) Andrew Cattermole |
| Implementation: | dlang/dmd#22570 |
| Status: | Draft |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module diagreport.app; | |
| import diagreport.defs; | |
| import diagreport.geometry; | |
| import diagreport.renderer; | |
| import std.stdio; | |
| import std.conv; | |
| import std.range; | |
| import std.array; | |
| import std.string; |
rikkimax
/ extracted.d
Created
September 15, 2025 01:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module testdfa.extracted; | |
| import core.stdc.stdio; | |
| void funcCall() | |
| { | |
| static struct S | |
| { | |
| int field; | |
| void method() |
rikkimax
/ DIP-escape-analysis.md
Last active
December 16, 2024 14:44
TODO: @gcout?
| Field | Value |
|---|---|
| DIP: | (number/id -- assigned by DIP Manager) |
| Author: | Richard (Rikki) Andrew Cattermole firstname@lastname.co.nz |
| Implementation: | (links to implementation PR if any) |
| Status: | Draft |
rikkimax
/ DIP-value-type-exception.md
Created
September 19, 2024 18:12
| Field | Value |
|---|---|
| DIP: | (number/id -- assigned by DIP Manager) |
| Author: | Richard (Rikki) Andrew Cattermole firstname@lastname.co.nz |
| Implementation: | (links to implementation PR if any) |
| Status: | Draft |
rikkimax
/ DIP-escape-set.md
Last active
September 18, 2024 16:31
| Field | Value |
|---|---|
| DIP: | (number/id -- assigned by DIP Manager) |
| Author: | Richard (Rikki) Andrew Cattermole firstname@lastname.co.nz |
| Implementation: | (links to implementation PR if any) |
| Status: | Draft |
rikkimax
/ DIP-sumtype-by-struct.md
Last active
September 19, 2024 17:23
| Field | Value |
|---|---|
| DIP: | (number/id -- assigned by DIP Manager) |
| Author: | Richard (Rikki) Andrew Cattermole firstname@lastname.co.nz |
| Implementation: | (links to implementation PR if any) |
| Status: | Draft |
rikkimax
/ DIP-member-of-operator.md
Last active
September 11, 2024 10:55
| Field | Value |
|---|---|
| DIP: | (number/id -- assigned by DIP Manager) |
| Author: | Richard (Rikki) Andrew Cattermole firstname@lastname.co.nz |
| Implementation: | dlang/dmd#16161 |
| Status: | Draft |
rikkimax
/ DIP-escape-analysis.md
Last active
September 4, 2024 11:03
| Field | Value |
|---|---|
| DIP: | (number/id -- assigned by DIP Manager) |
| Author: | Richard (Rikki) Andrew Cattermole firstname@lastname.co.nz |
| Implementation: | (links to implementation PR if any) |
| Status: | Draft |
NewerOlder