aboutsummaryrefslogtreecommitdiff
path: root/src/lux/type.clj
diff options
context:
space:
mode:
authorEduardo Julian2015-09-06 01:03:19 -0400
committerEduardo Julian2015-09-06 01:03:19 -0400
commit455018ec68f2c127db489048351bc48f3982fe23 (patch)
treeeeedcea7b210e4c12ccdedf4fec448e23686aabc /src/lux/type.clj
parent9acccd0847d6bb28e706223439eb44e5a3fe9aff (diff)
- Expanded the standard library.
- Fixed some minor bugs. - Added the updated code for the parser (forgot to add it to a previous commit).
Diffstat (limited to 'src/lux/type.clj')
-rw-r--r--src/lux/type.clj6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/lux/type.clj b/src/lux/type.clj
index 82eab3dd4..8300d470c 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -724,9 +724,9 @@
(fn [state]
(|case ((|do [F1 (deref ?eid)]
(fn [state]
- (|case [((|do [F2 (deref ?aid)]
- (check* class-loader fixpoints (App$ F1 A1) (App$ F2 A2)))
- state)]
+ (|case ((|do [F2 (deref ?aid)]
+ (check* class-loader fixpoints (App$ F1 A1) (App$ F2 A2)))
+ state)
(&/$Right state* output)
(return* state* output)