From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 6 Jun 2019 17:12:12 +0000 (+0200)
Subject: Merge pull request #117 from fennecdjay/UnionTmpl
X-Git-Tag: nightly~2445
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=d62e2d7a83570b35e561ffcee6a881ddc443c04b;p=gwion.git

Merge pull request #117 from fennecdjay/UnionTmpl

Improve type system.
---

d62e2d7a83570b35e561ffcee6a881ddc443c04b