diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/implicit.lux | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type/implicit.lux b/stdlib/source/library/lux/type/implicit.lux index 8949e5fe7..dc460e41d 100644 --- a/stdlib/source/library/lux/type/implicit.lux +++ b/stdlib/source/library/lux/type/implicit.lux @@ -22,8 +22,7 @@ [math ["[0]" number ["n" nat]]] - ["[0]" meta - ["[0]" annotation]] + ["[0]" meta] ["[0]" type ("[1]\[0]" equivalence) ["[0]" check {"+" [Check]}]]]]) @@ -136,7 +135,7 @@ (def: (available_definitions sig_type source_module target_module constants aggregate) (-> Type Text Text (List [Text Definition]) (-> (List [Name Type]) (List [Name Type]))) - (list\mix (function (_ [name [exported? def_type def_anns def_value]] aggregate) + (list\mix (function (_ [name [exported? def_type def_value]] aggregate) (if (and (or (text\= target_module source_module) exported?) (compatible_type? sig_type def_type)) |