Corrected primus_dictionary_main.ml (#1558)

A-Benlolo · web-flow · commit 4cdae321bd46 · 2022-11-08T13:36:56.000-05:00
Corrected dict-length to map to Length module instead of First module.
diff --git a/plugins/primus_dictionary/primus_dictionary_main.ml b/plugins/primus_dictionary/primus_dictionary_main.ml
@@ -163,7 +163,7 @@ module Main(Machine : Primus.Machine.S) = struct
         Returns nil if KEY was the last key in the dictionary.
         Could be used together with DICT-FIRST for iterating.|};
 
-      def "dict-length" (tuple [sym] @-> int) (module First)
+      def "dict-length" (tuple [sym] @-> int) (module Length)
         {|(dict-first DIC) is the total number of keys in DIC.|};
     ]
 end

Original file line number	Diff line number	Diff line change
`@@ -163,7 +163,7 @@ module Main(Machine : Primus.Machine.S) = struct`
`163`	`163`	`Returns nil if KEY was the last key in the dictionary.`
`164`	`164`	`Could be used together with DICT-FIRST for iterating.\|};`
`165`	`165`
`166`		`- def "dict-length" (tuple [sym] @-> int) (module First)`
	`166`	`+ def "dict-length" (tuple [sym] @-> int) (module Length)`
`167`	`167`	`{\|(dict-first DIC) is the total number of keys in DIC.\|};`
`168`	`168`	`]`
`169`	`169`	`end`