+11

birdie_snapshots/recursive_generic_function.accepted

Reviewed

··· 1 1 + --- 2 2 + version: 1.5.4 3 3 + title: recursive_generic_function 4 4 + file: ./test/trick_test.gleam 5 5 + test_name: recursive_generic_function_test 6 6 + --- 7 7 + pub fn swap(a: a, b: b) -> f { 8 8 + swap(b, a) 9 9 + } 10 10 + 11 11 +

+1 -2

src/trick.gleam

Reviewed

··· 2237 2237 let type_ = 2238 2238 Function(parameters: parameter_types, return: return_type, field_map: None) 2239 2239 2240 2240 - let expression = 2241 2241 - doc_to_expression(Compiled(doc.from_string(name), type_, precedence_unit)) 2240 2240 + let expression = instantiated(doc.from_string(name), type_, precedence_unit) 2242 2241 2243 2242 let body = continue(expression) 2244 2243

+15

test/trick_test.gleam

Reviewed

··· 1724 1724 |> unwrap 1725 1725 |> birdie.snap("custom_type_used_in_function_parameter") 1726 1726 } 1727 1727 + 1728 1728 + pub fn recursive_generic_function_test() { 1729 1729 + { 1730 1730 + use _ <- trick.function("swap", trick.Public, { 1731 1731 + use a <- trick.parameter("a", trick.generic("a")) 1732 1732 + use b <- trick.parameter("b", trick.generic("b")) 1733 1733 + use swap <- trick.recursive 1734 1734 + swap |> trick.call([b, a]) |> trick.expression 1735 1735 + }) 1736 1736 + trick.end_module() 1737 1737 + } 1738 1738 + |> trick.to_string 1739 1739 + |> unwrap 1740 1740 + |> birdie.snap("recursive_generic_function") 1741 1741 + }