Merge pull request #148 from int-index/no-star
authorLennart Kolmodin <kolmodin@gmail.com>
Thu, 7 Jun 2018 19:58:05 +0000 (21:58 +0200)
committerGitHub <noreply@github.com>
Thu, 7 Jun 2018 19:58:05 +0000 (21:58 +0200)
commit6eedd64a9607a8ce3558977a0a585c8d8bad3d63
treee77e9a1e457a14f1a66cbd79cdbcf3a1f56cc6f4
parentb660e3d2e4a78c6ed95f5632694c7eac6e520989
parentd0912c8dda8b17c75e6020a970f93d27200d118c
Merge pull request #148 from int-index/no-star

Don't use * as Type in the presence of TypeOperators