debian-packages/taggedalgebraic
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Merge pull request #50 from s-ludwig/fix_generic_visitor_error

Browse source 
Avoid instantiating generic visitor with types it cannot handle.
This commit is contained in:
Sönke Ludwig 2020-04-04 13:47:13 +02:00 committed by GitHub
parent f9eb5878ad 96bff347b5
commit ab3e8c5cf8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -3,7 +3,7 @@ TaggedAlgebraic
Implementation of a generic `TaggedUnion` type along with a `TaggedAlgebraic` type that forwards all methods and operators of the contained types using dynamic dispatch.
[![Build Status](https://travis-ci.org/s-ludwig/taggedalgebraic.svg?branch=master)](https://travis-ci.org/s-ludwig/taggedalgebraic) [![codecov](https://codecov.io/gh/s-ludwig/taggedalgebraic/branch/master/graph/badge.svg)](https://codecov.io/gh/s-ludwig/taggedalgebraic)
[![Build Status](https://travis-ci.com/s-ludwig/taggedalgebraic.svg?branch=master)](https://travis-ci.com/s-ludwig/taggedalgebraic) [![codecov](https://codecov.io/gh/s-ludwig/taggedalgebraic/branch/master/graph/badge.svg)](https://codecov.io/gh/s-ludwig/taggedalgebraic)
API Documentation:
- [`taggedalgebraic`](https://vibed.org/api/taggedalgebraic.taggedalgebraic/)

12
source/taggedalgebraic/visit.d
View file

@ -217,7 +217,7 @@ private template matchesType(alias fun) {
else static if (Params.length == 1 && is(T == Params[0])) enum matchesType = true;
else enum matchesType = false;
} else static if (!isUnitType!T) {
static if (isSomeFunction!(fun!T)) {
static if (__traits(compiles, fun!T) && isSomeFunction!(fun!T)) {
alias Params = ParameterTypeTuple!(fun!T);
static if (Params.length == 1 && is(T == Params[0])) enum matchesType = true;
else enum matchesType = false;
@ -226,6 +226,16 @@ private template matchesType(alias fun) {
}
}
unittest {
class C {}
alias mt1 = matchesType!((C c) => true);
alias mt2 = matchesType!((c) { static assert(!is(typeof(c) == C)); });
static assert(mt1!C);
static assert(!mt1!int);
static assert(mt2!int);
static assert(!mt2!C);
}
private template selectHandler(T, VISITORS...)
{
import std.traits : ParameterTypeTuple, isSomeFunction;