diff options
| author | Eduardo Julian | 2016-10-14 21:13:28 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-10-14 21:13:28 -0400 |
| commit | b009b396ed92618974385575df7bbde87a4e2e96 (patch) | |
| tree | d439a751e5768a80e2a807a009c4ed80967c3a76 /src/lux/type.clj | |
| parent | fe2db2f30dcd0d11fbf863ed7e2ed95174fe0143 (diff) | |
- Slightly cheaper compilation of numeric literals.
Diffstat (limited to '')
| -rw-r--r-- | src/lux/type.clj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lux/type.clj b/src/lux/type.clj index 05a353e85..87c330691 100644 --- a/src/lux/type.clj +++ b/src/lux/type.clj @@ -815,10 +815,10 @@ (return fixpoints) (check-error "" expected actual)) - [(&/$NamedT ?ename ?etype) _] + [(&/$NamedT _ ?etype) _] (check* class-loader fixpoints invariant?? ?etype actual) - [_ (&/$NamedT ?aname ?atype)] + [_ (&/$NamedT _ ?atype)] (check* class-loader fixpoints invariant?? expected ?atype) [_ _] |