aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository/identity.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-08-25 16:47:50 -0400
committerEduardo Julian2021-08-25 16:47:50 -0400
commitb216900093c905b3b20dd45c69e577b192e2f7a3 (patch)
tree4d6ac7d257752a8c54ca77dd58df9753ce357ab6 /stdlib/source/program/aedifex/repository/identity.lux
parent36303d6cb2ce3ab9e36d045b9516c997bd461862 (diff)
Updates to the Lua compiler.
Diffstat (limited to 'stdlib/source/program/aedifex/repository/identity.lux')
-rw-r--r--stdlib/source/program/aedifex/repository/identity.lux5
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 4201123c0..533b4fb4e 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -18,8 +18,9 @@
Text)
(type: .public Identity
- {#user User
- #password Password})
+ (Record
+ {#user User
+ #password Password}))
(def: .public equivalence
(Equivalence Identity)