Fix warning in Func.aes
This commit is contained in:
parent
e93167c6c4
commit
1e1c2c1dfd
@ -2,7 +2,7 @@ namespace Func =
|
|||||||
|
|
||||||
function id(x : 'a) : 'a = x
|
function id(x : 'a) : 'a = x
|
||||||
|
|
||||||
function const(x : 'a) : 'b => 'a = (y) => x
|
function const(x : 'a) : 'b => 'a = (_) => x
|
||||||
|
|
||||||
function flip(f : ('a, 'b) => 'c) : ('b, 'a) => 'c = (b, a) => f(a, b)
|
function flip(f : ('a, 'b) => 'c) : ('b, 'a) => 'c = (b, a) => f(a, b)
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user