pbackus

Enumerated Unions

Field	Value
DIP:	(number/id -- assigned by DIP Manager)
Author:	Paul Backus ([email protected])
Implementation:	(links to implementation PR if any)
Status:	Draft

Abstract

pbackus

/**
Bindings for the ALSA sequencer API.

See http://alsa-project.org/ for documentation.

License: GNU Lesser General Public License version 2.1

Authors: Jaroslav Kysela <[email protected]>, Abramo Bagnara
<[email protected]>, and Takashi Iwai <[email protected]>.
D bindings by Paul Backus <[email protected]>.

pbackus

issue	c	zig (release-safe)	rust (release)	Nim (release)	Nim (danger)	D (@safe)
out-of-bounds heap read/write	none	runtime	runtime	runtime	none	runtime
null pointer dereference	none	runtime	runtime	runtime	none	runtime¹
type confusion	none	runtime, partial	runtime	compile time	compile time	compile time
integer overflow	none	runtime	runtime	runtime	none	wraps
use after free	none	none	compile time	handled by gc	handled by gc	handled by gc or rc
double free	none	none	compile time	handled by gc	handled by gc	handled by gc or rc
invalid stack read/write	none	none

pbackus

// Mixin to generate a new identifier that won't repeat within a scope
enum gensym(string prefix = "_gensym") =
	`"` ~ prefix ~ `" ~ __traits(identifier, {})["__lambda".length .. $]`;

// Works multiple times on the same line
unittest
{
	enum sym1 = mixin(gensym!()); enum sym2 = mixin(gensym!());
	static assert(sym1 != sym2);
	

pbackus

/// map over a variadic argument list
template mapArgs(alias fun)
{
	auto mapArgs(Args...)(auto ref Args args)
	{
		import std.typecons: tuple;
		import core.lifetime: forward;
		import std.meta: Map = staticMap;

		auto ref mapArg(alias arg)()

pbackus

struct Ref(T)
{
    T* ptr;

    ref inout(T) deref() inout
    {
        return *ptr;
    }
    alias deref this;
}

pbackus

module tail_unqual;

import std.traits: isPointer;
import std.stdint: uintptr_t;

private union HiddenPointer
{
    // Stores a pointer, cast to an integer.
    uintptr_t address;

pbackus

DC = gdc
COMPILE.d = $(DC) $(DFLAGS) $(TARGET_ARCH) -c
LINK.d = $(DC) $(DFLAGS) $(TARGET_ARCH)

.d:
	$(LINK.d) $^ $(LOADLIBES) $(LDLIBS) -o $@

.d.o:
	$(COMPILE.d) $(OUTPUT_OPTION) $<

pbackus

@system Variables

Field	Value
DIP:	1035
Review Count:	1
Author:	Dennis Korpel [email protected]
Implementation:
Status:	Post-Community 1

pbackus

module brainfuck;

/// Brainfuck memory
struct Memory
{
	private ubyte[] data;

	private void extendTo(size_t i)
	{
		if (i >= data.length) data.length = i + 1;