diff options
| author | Eduardo Julian | 2017-11-22 20:37:41 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-22 20:37:41 -0400 |
| commit | 0e3830be97930a01c38d8bca09a1ac9d5bf55465 (patch) | |
| tree | 3078996542de6d53baa43388d0bca96e2b517aa9 /stdlib/source/lux/lang | |
| parent | e37e3713e080606930a5f8442f03dabc4c26a7f9 (diff) | |
- Fixed some bugs.
- Some refactoring.
- Added some alternative snippets of code that new-luxc can handle better.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/lang/type.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/lang/type.lux b/stdlib/source/lux/lang/type.lux index 974561605..d4a3d7d1b 100644 --- a/stdlib/source/lux/lang/type.lux +++ b/stdlib/source/lux/lang/type.lux @@ -30,7 +30,7 @@ (<tag> env def) _ - type)) + (<tag> (list/map (beta-reduce env) old-env) def))) ([#;UnivQ] [#;ExQ]) |