Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
Co-authored-by: Viktor Kleen <viktor.kleen@tweag.io>
  • Loading branch information
yannham and vkleen authored Mar 6, 2024
1 parent 5754b4a commit 8c1cc7e
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions doc/manual/typing.md
Original file line number Diff line number Diff line change
Expand Up @@ -523,7 +523,6 @@ as it is good practice to annotate functions explicitly:
let cmp : Number -> [| 'Greater, 'Lesser |] = fun x =>
if x < 0 then 'Lesser else 'Greater
in

cmp 5 |> match {
'Greater => ">",
'Lesser => "<",
Expand All @@ -545,7 +544,6 @@ You can work around this limitation by introducing polymorphism explicitly on
let cmp : forall tail. Number -> [| 'Greater, 'Lesser; tail |] = fun x =>
if x < 0 then 'Lesser else 'Greater
in

cmp 5 |> match {
'Greater => ">",
'Lesser => "<",
Expand Down

0 comments on commit 8c1cc7e

Please sign in to comment.