@@ -33,9 +33,11 @@ defmodule Module.Types.Descr do
33
33
defmacrop tuple_literal ( tag , elements ) ,
34
34
do: { :{} , [ ] , [ { tag , elements } , :bdd_top , :bdd_bot , :bdd_bot ] }
35
35
36
- defmacrop list_literal ( list , last ) , do: { :{} , [ ] , [ { list , last } , :bdd_top , :bdd_bot , :bdd_bot ] }
36
+ defmacrop list_literal ( list , last ) ,
37
+ do: { :{} , [ ] , [ { list , last } , :bdd_top , :bdd_bot , :bdd_bot ] }
37
38
38
- defmacrop domain_key ( key ) , do: { :domain_key , key }
39
+ defmacrop domain_key ( key ) ,
40
+ do: { :domain_key , key }
39
41
40
42
@ domain_key_types [
41
43
{ :domain_key , :binary } ,
@@ -1094,7 +1096,6 @@ defmodule Module.Types.Descr do
1094
1096
# Note: Function domains are expressed as tuple types. We use separate representations
1095
1097
# rather than unary functions with tuple domains to handle special cases like representing
1096
1098
# functions of a specific arity (e.g., (none,none->term) for arity 2).
1097
- # NOTE: this is a ternary (lazy) BDD where the middle node encodes unions.
1098
1099
defp fun_new ( inputs , output ) , do: bdd_new ( { inputs , output } )
1099
1100
1100
1101
# Creates a function type from a list of inputs and an output
0 commit comments