diff options
| author | Eduardo Julian | 2018-07-29 02:30:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-29 02:30:13 -0400 |
| commit | a59fc865aee240afe21b82ffef2681bb9a6ea693 (patch) | |
| tree | b5a2d95ffdec3edd2ecf7615c477ba522779d985 /new-luxc/source/luxc/lang/host/jvm/type.lux | |
| parent | 3b156dca7b4750e99bdd68b3858521e3fd6b3de5 (diff) | |
Adapted new-luxc to some of the latest changes to Lux.
Diffstat (limited to 'new-luxc/source/luxc/lang/host/jvm/type.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/host/jvm/type.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm/type.lux b/new-luxc/source/luxc/lang/host/jvm/type.lux index 866ef1cef..57374337d 100644 --- a/new-luxc/source/luxc/lang/host/jvm/type.lux +++ b/new-luxc/source/luxc/lang/host/jvm/type.lux @@ -36,7 +36,7 @@ (def: #export (array depth elemT) (-> Nat //.Type //.Type) (case depth - +0 elemT + 0 elemT _ (#//.Array (array (dec depth) elemT)))) (def: #export binary-name |