From cb45d88e17cd7a7fc59bd82b1694f16ce1501bb2 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Mon, 12 May 2025 10:44:02 +0200 Subject: [PATCH] correct type of emptyDict and emptySet --- lib/structures/dict.types.js | 2 +- lib/structures/set.types.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/structures/dict.types.js b/lib/structures/dict.types.js index 5aec705..6e3302c 100644 --- a/lib/structures/dict.types.js +++ b/lib/structures/dict.types.js @@ -13,7 +13,7 @@ const mkType = makeTypeParser({ }); export const ModuleDict = [ - ["emptyDict", newDynamic(emptyDict)(mkType("(a -> a -> Int) -> (a => b) "))], + ["emptyDict", newDynamic(emptyDict)(mkType("(a -> a -> Ordering) -> (a => b) "))], ["has" , newDynamic(has )(mkType("(a => b) -> a -> Bool "))], ["set" , newDynamic(set )(mkType("(a => b) -> a -> b -> (a => b) "))], ["remove" , newDynamic(remove )(mkType("(a => b) -> a -> (a => b) "))], diff --git a/lib/structures/set.types.js b/lib/structures/set.types.js index 00c3483..95edc28 100644 --- a/lib/structures/set.types.js +++ b/lib/structures/set.types.js @@ -13,7 +13,7 @@ const mkType = makeTypeParser({ }); export const ModuleSet = [ - ["emptySet", newDynamic(emptySet)(mkType("(a -> a -> Int) -> {a}" ))], + ["emptySet", newDynamic(emptySet)(mkType("(a -> a -> Ordering) -> {a}" ))], ["has" , newDynamic(has )(mkType("{a} -> a -> Bool" ))], ["add" , newDynamic(add )(mkType("{a} -> a -> {a}" ))], ["remove" , newDynamic(remove )(mkType("{a} -> a -> {a}" ))],