diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-17 15:08:49 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-17 15:08:49 +0100 |
| commit | c88325920b2000584bf9efc344f2a71ad066f4a4 (patch) | |
| tree | ed24396d788b4426c65a83b91c7cdb4aa6dbe908 /lc | |
| parent | a4d0106183850b6e06b42ee10b51ad46716a6672 (diff) | |
add new test, extend InterpolatedType in Builtins
Diffstat (limited to 'lc')
| -rw-r--r-- | lc/Builtins.lc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lc/Builtins.lc b/lc/Builtins.lc index 5eead277..7ad75672 100644 --- a/lc/Builtins.lc +++ b/lc/Builtins.lc | |||
| @@ -384,6 +384,8 @@ type family InterpolatedType a where | |||
| 384 | InterpolatedType (Interpolated a) = a | 384 | InterpolatedType (Interpolated a) = a |
| 385 | InterpolatedType (Interpolated a, Interpolated b) = (a, b) | 385 | InterpolatedType (Interpolated a, Interpolated b) = (a, b) |
| 386 | InterpolatedType (Interpolated a, Interpolated b, Interpolated c) = (a, b, c) | 386 | InterpolatedType (Interpolated a, Interpolated b, Interpolated c) = (a, b, c) |
| 387 | InterpolatedType (Interpolated a, Interpolated b, Interpolated c, Interpolated d) = (a, b, c, d) | ||
| 388 | InterpolatedType (Interpolated a, Interpolated b, Interpolated c, Interpolated d, Interpolated e) = (a, b, c, d, e) | ||
| 387 | 389 | ||
| 388 | rasterizePrimitive | 390 | rasterizePrimitive |
| 389 | :: ( b ~ InterpolatedType interpolation | 391 | :: ( b ~ InterpolatedType interpolation |