diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type/opaque.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/opaque.lux b/stdlib/source/lux/type/opaque.lux index 6bbf4c2a9..8327a851a 100644 --- a/stdlib/source/lux/type/opaque.lux +++ b/stdlib/source/lux/type/opaque.lux @@ -152,13 +152,13 @@ [annotations (p;default cs;empty-annotations csr;annotations)] representation-type [primitives (p;some s;any)]) - (let [hidden-name (code;local-symbol (representation-name name)) + (let [hidden-name (representation-name name) type-varsC (list/map code;local-symbol type-vars) opaque-declaration (` ((~ (code;local-symbol name)) (~@ type-varsC))) - representation-declaration (` ((~ hidden-name) (~@ type-varsC)))] + representation-declaration (` ((~ (code;local-symbol hidden-name)) (~@ type-varsC)))] (wrap (list& (` (type: (~@ (csw;export export)) (~ opaque-declaration) (~ (csw;annotations annotations)) - (primitive (~ hidden-name) [(~@ type-varsC)]))) + (primitive (~ (code;text hidden-name)) [(~@ type-varsC)]))) (` (type: (~@ (csw;export export)) (~ representation-declaration) (~ representation-type))) (` (install-casts (~ (code;local-symbol name)) [(~@ type-varsC)])) |