Created
June 7, 2023 01:27
-
-
Save UnixJunkie/6d61a3d0f45b327004b99a1f8722cd94 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
dune build @all | |
dune build @doc | |
File "index.mld": | |
Warning: Pages (.mld files) should start with a heading. | |
File "index.mld": | |
Warning: Pages (.mld files) should start with a heading. | |
File "index.mld": | |
Warning: Pages (.mld files) should start with a heading. | |
File "index.mld": | |
Warning: Pages (.mld files) should start with a heading. | |
File "index.mld": | |
Warning: Pages (.mld files) should start with a heading. | |
File "index.mld": | |
Warning: Pages (.mld files) should start with a heading. | |
File "index.mld": | |
Warning: Pages (.mld files) should start with a heading. | |
File "../../../../src/index.mld", line 34, characters 0-36: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "../../../../src/index.mld", line 41, characters 0-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "../../../../src/index.mld", line 47, characters 0-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "../../../../src/index.mld", line 52, characters 0-38: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "../../../../src/index.mld", line 62, characters 0-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "../../../../src/index.mld", line 69, characters 0-13: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "../../../../src/index.mld", line 79, characters 0-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInnerWeaktbl.mli", line 24, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInnerWeaktbl.mli", line 102, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBytes.mli", line 577, characters 28-31: | |
Warning: '{ul ...}' (bulleted list) should begin on its own line. | |
File "src/batOptParse.mli", line 36, characters 6-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 58, characters 6-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 99, characters 6-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 132, characters 6-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 177, characters 6-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 214, characters 6-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 239, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 253, characters 6-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 290, characters 6-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 324, characters 6-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 356, characters 6-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 367, characters 6-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 377, characters 6-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 459, characters 6-35: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOptParse.mli", line 472, characters 6-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batReturn.mli", line 46, characters 3-13: | |
Warning: Unknown tag '@documents'. | |
File "src/batReturn.mli", line 46, characters 3-13: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batInnerIO.mli", line 70, characters 20-40: | |
Warning: '@raise' should begin on its own line. | |
File "src/batInnerIO.mli", line 71, characters 19-42: | |
Warning: '@raise' is not allowed in '@raise'. | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batInnerIO.mli", line 85, characters 11-31: | |
Warning: '@raise' should begin on its own line. | |
File "src/batInnerIO.mli", line 86, characters 15-38: | |
Warning: '@raise' is not allowed in '@raise'. | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batInnerIO.mli", line 123, characters 11-34: | |
Warning: '@raise' should begin on its own line. | |
File "src/batInnerIO.mli", line 282, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInnerIO.mli", line 306, characters 34-49: | |
Warning: '@raise' should begin on its own line. | |
File "src/batInnerIO.mli", line 363, characters 3-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInnerIO.mli", line 403, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInnerIO.mli", line 424, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInnerIO.mli", line 454, characters 3-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInnerIO.mli", line 459, characters 3-33: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batInnerIO.mli", line 472, characters 3-31: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batUnit.mli", line 53, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnit.mli", line 55, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batMarshal.mli", line 165, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batRef.mli", line 115, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 33, characters 3-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 81, characters 3-14: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 92, characters 3-24: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 131, characters 3-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 149, characters 3-25: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 162, characters 3-25: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 195, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 233, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 263, characters 3-35: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 291, characters 3-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 297, characters 3-14: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 327, characters 3-13: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPrintf.mli", line 330, characters 3-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPrintexc.mli", line 130, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintexc.mli", line 170, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintexc.mli", line 182, characters 4-27: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintexc.mli", line 206, characters 4-45: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintexc.mli", line 305, characters 4-27: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPrintexc.mli", line 350, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batGc.mli", line 91, characters 45-59: | |
Warning: '@since' should begin on its own line. | |
File "src/batGc.mli", line 95, characters 18-32: | |
Warning: '@since' should begin on its own line. | |
File "src/batGc.mli", line 167, characters 20-34: | |
Warning: '@since' should begin on its own line. | |
File "src/batGc.mli", line 173, characters 20-50: | |
Warning: '@since' should begin on its own line. | |
File "src/batEnum.mli", line 84, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 170, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 304, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 392, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 499, character 50 to line 501, character 0: | |
Warning: Blank line is not allowed in '[...]' (code). | |
File "src/batEnum.mli", line 530, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 557, characters 3-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 574, characters 12-22: | |
Warning: '@since' should begin on its own line. | |
File "src/batEnum.mli", line 626, characters 4-10: | |
Warning: Unknown tag '@added'. | |
File "src/batEnum.mli", line 644, characters 4-10: | |
Warning: Unknown tag '@added'. | |
File "src/batEnum.mli", line 648, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 662, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 736, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 773, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 812, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batEnum.mli", line 876, characters 4-52: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBitSet.mli", line 95, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBitSet.mli", line 132, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBitSet.mli", line 159, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBitSet.mli", line 196, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBuffer.mli", line 84, characters 42-65: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBuffer.mli", line 145, characters 47-65: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBuffer.mli", line 149, characters 4-13: | |
Warning: Unknown tag '@obsolete'. | |
File "src/batBuffer.mli", line 181, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batChar.mli", line 135, characters 4-54: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batChar.mli", line 140, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFile.mli", line 30, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFile.mli", line 54, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFile.mli", line 118, characters 4-34: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFile.mli", line 143, characters 4-34: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFile.mli", line 173, characters 4-44: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDllist.mli", line 47, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDllist.mli", line 171, characters 4-10: | |
Warning: Unknown tag '@added'. | |
File "src/batDllist.mli", line 206, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDllist.mli", line 217, characters 4-14: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDllist.mli", line 249, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDllist.mli", line 251, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batOption.mli", line 51, characters 4-12: | |
Warning: Unknown tag '@example'. | |
File "src/batOption.mli", line 134, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOption.mli", line 153, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batOption.mli", line 160, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 34, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batUnix.mli", line 34, characters 4-14: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batUnix.mli", line 37, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 131, characters 4-41: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 149, characters 17-33: | |
Warning: '@raise' should begin on its own line. | |
File "src/batUnix.mli", line 173, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 279, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 366, characters 4-58: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 385, characters 4-58: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 443, characters 4-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 464, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 507, characters 4-38: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 543, characters 4-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 600, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 635, characters 4-38: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 664, characters 10-27: | |
Warning: '@raise' should begin on its own line. | |
File "src/batUnix.mli", line 667, characters 4-38: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 705, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 741, characters 4-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 754, characters 4-53: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 953, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1010, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1027, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1076, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1112, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1216, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1290, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1301, characters 25-39: | |
Warning: '@raise' should begin on its own line. | |
File "src/batUnix.mli", line 1327, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1444, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1524, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1575, characters 4-35: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1690, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1805, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1816, characters 3-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUnix.mli", line 1832, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStack.mli", line 45, characters 7-19: | |
Warning: '@raise' should begin on its own line. | |
File "src/batStack.mli", line 49, characters 7-19: | |
Warning: '@raise' should begin on its own line. | |
File "src/batStack.mli", line 90, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStack.mli", line 92, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batRandom.mli", line 33, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batRandom.mli", line 33, characters 4-14: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batRandom.mli", line 36, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batRandom.mli", line 102, characters 4-38: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batRandom.mli", line 122, characters 4-37: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batRandom.mli", line 162, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batQueue.mli", line 160, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batQueue.mli", line 162, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batRefList.mli", line 114, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batRefList.mli", line 189, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNumber.mli", line 114, characters 32-43: | |
Warning: '@since' should begin on its own line. | |
File "src/batNumber.mli", line 190, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNumber.mli", line 202, characters 6-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNumber.mli", line 218, characters 6-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNumber.mli", line 227, characters 12-35: | |
Warning: '@raise' should begin on its own line. | |
File "src/batDynArray.mli", line 50, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 71, characters 4-36: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 190, characters 4-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 259, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 464, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 512, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 622, characters 26-27: | |
Warning: Paragraph should begin on its own line. | |
File "src/batDynArray.mli", line 622, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 630, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDynArray.mli", line 632, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batSys.mli", line 63, characters 17-33: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSys.mli", line 118, characters 4-5: | |
Warning: Stray '@'. | |
File "src/batSys.mli", line 172, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSys.mli", line 198, characters 4-54: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batSys.mli", line 343, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 45, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 62, characters 3-12: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 76, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 94, characters 3-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 158, characters 3-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 248, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 303, characters 3-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 324, characters 47-64: | |
Warning: '@raise' should begin on its own line. | |
File "src/batLazyList.mli", line 330, characters 52-69: | |
Warning: '@raise' should begin on its own line. | |
File "src/batLazyList.mli", line 339, characters 42-59: | |
Warning: '@raise' should begin on its own line. | |
File "src/batLazyList.mli", line 345, characters 18-38: | |
Warning: '@raise' should begin on its own line. | |
File "src/batLazyList.mli", line 351, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 378, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 409, characters 51-71: | |
Warning: '@raise' should begin on its own line. | |
File "src/batLazyList.mli", line 415, characters 3-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 463, characters 3-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 477, characters 3-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 517, characters 3-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 554, characters 3-12: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 559, characters 3-14: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 566, characters 3-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 570, characters 17-43: | |
Warning: '@raise' should begin on its own line. | |
File "src/batLazyList.mli", line 636, characters 4-54: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 642, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 644, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batLazyList.mli", line 649, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 46, characters 4-41: | |
Warning: '8': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 76, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 108, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 119, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 184, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 200, characters 4-45: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 259, characters 3-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 316, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 328, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 340, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 382, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 425, characters 8-36: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 464, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 475, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 540, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 556, characters 4-45: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 615, characters 3-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 673, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 686, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 688, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batVect.mli", line 730, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batInnerPervasives.ml", line 67, characters 6-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 98, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batIO.mli", line 98, characters 4-14: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batIO.mli", line 124, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 164, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 183, characters 20-40: | |
Warning: '@raise' should begin on its own line. | |
File "src/batIO.mli", line 184, characters 19-42: | |
Warning: '@raise' is not allowed in '@raise'. | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batIO.mli", line 209, characters 11-31: | |
Warning: '@raise' should begin on its own line. | |
File "src/batIO.mli", line 210, characters 15-38: | |
Warning: '@raise' is not allowed in '@raise'. | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batIO.mli", line 255, characters 11-34: | |
Warning: '@raise' should begin on its own line. | |
File "src/batIO.mli", line 311, characters 4-40: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 359, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 398, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 422, characters 34-49: | |
Warning: '@raise' should begin on its own line. | |
File "src/batIO.mli", line 504, characters 36-51: | |
Warning: '@raise' should begin on its own line. | |
File "src/batIO.mli", line 568, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 600, characters 3-43: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 737, characters 3-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 769, characters 4-37: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 816, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 831, characters 51-66: | |
Warning: '@raise' should begin on its own line. | |
File "src/batIO.mli", line 873, characters 3-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 902, characters 3-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 938, characters 3-27: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIO.mli", line 945, characters 6-38: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 55, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 96, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 120, characters 25-48: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSeq.mli", line 147, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 211, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 240, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 272, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 278, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 296, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSeq.mli", line 306, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 53, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batList.mli", line 71, characters 3-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 81, characters 46-60: | |
Warning: '@raise' should begin on its own line. | |
File "src/batList.mli", line 93, characters 45-68: | |
Warning: '@raise' should begin on its own line. | |
File "src/batList.mli", line 161, characters 3-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 222, characters 3-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 238, characters 3-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 369, characters 4-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 411, characters 3-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 426, characters 3-32: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 438, characters 3-34: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 458, characters 3-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 486, characters 45-61: | |
Warning: '@raise' should begin on its own line. | |
File "src/batList.mli", line 492, characters 18-34: | |
Warning: '@raise' should begin on its own line. | |
File "src/batList.mli", line 504, characters 14-30: | |
Warning: '@raise' should begin on its own line. | |
File "src/batList.mli", line 616, characters 3-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 691, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 710, characters 51-74: | |
Warning: '@raise' should begin on its own line. | |
File "src/batList.mli", line 824, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 851, characters 4-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 868, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 924, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 960, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 962, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 982, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 1001, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batList.mli", line 1105, characters 4-54: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 339, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 406, characters 7-21: | |
Warning: '@raise' should begin on its own line. | |
File "src/batString.mli", line 420, characters 7-21: | |
Warning: '@raise' should begin on its own line. | |
File "src/batString.mli", line 432, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 503, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 600, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 605, characters 38-62: | |
Warning: '@raise' should begin on its own line. | |
File "src/batString.mli", line 617, characters 38-62: | |
Warning: '@raise' should begin on its own line. | |
File "src/batString.mli", line 728, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 738, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 875, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 890, characters 4-35: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1030, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1083, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1085, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1184, characters 4-10: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move 'module' before any tags. | |
File "src/batString.mli", line 1220, characters 6-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1293, characters 6-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1316, characters 6-27: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1335, characters 6-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1367, characters 6-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1414, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1431, characters 6-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1438, characters 6-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batString.mli", line 1448, characters 6-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBool.mli", line 96, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBool.mli", line 101, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBool.mli", line 103, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batComplex.mli", line 163, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batComplex.mli", line 168, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batComplex.mli", line 170, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 33, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batNum.mli", line 33, characters 4-14: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batNum.mli", line 48, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 96, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 126, characters 4-35: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 144, characters 4-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 162, characters 4-41: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 171, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 173, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 176, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNum.mli", line 211, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt32.mli", line 284, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt32.mli", line 311, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt32.mli", line 319, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt32.mli", line 321, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batInt.mli", line 37, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batInt.mli", line 37, characters 4-14: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batInt.mli", line 202, characters 4-50: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt.mli", line 207, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt.mli", line 209, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batInt.mli", line 220, characters 4-15: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batInt.mli", line 377, characters 6-69: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt.mli", line 382, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt64.mli", line 261, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt64.mli", line 268, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt64.mli", line 298, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batInt64.mli", line 300, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batBase64.mli", line 27, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batDeque.mli", line 35, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDeque.mli", line 46, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDeque.mli", line 58, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDeque.mli", line 136, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batDeque.mli", line 157, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLogger.mli", line 38, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLogger.mli", line 60, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLogger.mli", line 100, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLogger.mli", line 178, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLogger.mli", line 202, characters 4-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHeap.mli", line 34, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHeap.mli", line 46, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHeap.mli", line 59, characters 4-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHeap.mli", line 78, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHeap.mli", line 85, characters 4-27: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 23, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 342, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 438, characters 3-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 474, characters 3-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 543, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 551, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 568, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 588, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 629, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 723, characters 5-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 729, characters 5-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 772, characters 6-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 785, characters 5-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 790, characters 5-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 806, characters 6-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 817, characters 6-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 829, characters 6-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 835, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 843, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 889, characters 6-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batArray.mli", line 911, characters 4-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 76, characters 6-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 100, characters 6-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 196, characters 6-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 249, characters 6-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 251, characters 6-41: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 280, characters 6-43: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 308, characters 6-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFingerTree.mli", line 334, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 89, characters 4-13: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 106, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 128, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 171, characters 4-14: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 184, characters 4-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 198, characters 4-73: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 214, characters 4-27: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 247, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 273, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 282, characters 4-27: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 359, characters 4-49: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 383, characters 4-74: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 423, characters 4-60: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 463, characters 4-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 522, characters 4-46: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 610, characters 4-52: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 731, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 743, characters 4-46: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFormat.mli", line 747, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLexing.mli", line 33, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLexing.mli", line 58, characters 4-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLexing.mli", line 153, characters 4-44: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLexing.mli", line 198, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLexing.mli", line 207, characters 4-6: | |
Warning: '{6 ...}' (section heading) should not be empty. | |
File "src/batLexing.mli", line 207, characters 4-9: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batLexing.mli", line 233, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 28, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 30, characters 4-44: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 59, characters 4-24: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 76, characters 4-47: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 90, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 156, characters 5-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 160, characters 6-15: | |
Warning: Unknown tag '@obsolete'. | |
File "src/batScanf.mli", line 165, characters 4-41: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 191, characters 4-44: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 205, characters 4-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 215, characters 4-45: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 231, characters 4-51: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 255, characters 27-51: | |
Warning: '@raise' is not allowed in '-' (bulleted list item). | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batScanf.mli", line 338, characters 4-46: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 362, characters 4-34: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 367, characters 6-31: | |
Warning: '@raise' is not allowed in '-' (bulleted list item). | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batScanf.mli", line 369, characters 6-20: | |
Warning: '@raise' is not allowed in '-' (bulleted list item). | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batScanf.mli", line 371, characters 6-24: | |
Warning: '@raise' is not allowed in '-' (bulleted list item). | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batScanf.mli", line 374, characters 6-29: | |
Warning: '@raise' is not allowed in '-' (bulleted list item). | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batScanf.mli", line 382, characters 4-45: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batScanf.mli", line 413, characters 4-41: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 43, characters 3-13: | |
Warning: Unknown tag '@documents'. | |
File "src/batStream.mli", line 43, characters 3-13: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batStream.mli", line 62, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 87, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 102, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 133, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 137, characters 12-33: | |
Warning: '@raise' should begin on its own line. | |
File "src/batStream.mli", line 143, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 163, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 191, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 197, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 251, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 290, characters 4-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 304, characters 4-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batStream.mli", line 308, characters 12-33: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSubstring.mli", line 88, characters 17-40: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSubstring.mli", line 94, characters 39-62: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSubstring.mli", line 110, characters 32-55: | |
Warning: '@raise' is not allowed in '@raise'. | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batSubstring.mli", line 149, characters 33-49: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSubstring.mli", line 150, characters 24-48: | |
Warning: '@raise' is not allowed in '@raise'. | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batSubstring.mli", line 158, characters 28-44: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSubstring.mli", line 159, characters 20-44: | |
Warning: '@raise' is not allowed in '@raise'. | |
Suggestion: move '@raise' outside of any other markup. | |
File "src/batSubstring.mli", line 232, characters 31-54: | |
Warning: '@raise' should begin on its own line. | |
File "src/batText.mli", line 42, characters 4-41: | |
Warning: '8': bad heading level (0-5 allowed). | |
File "src/batText.mli", line 59, characters 4-19: | |
Warning: '8': bad heading level (0-5 allowed). | |
File "src/batText.mli", line 76, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batText.mli", line 111, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batText.mli", line 128, characters 4-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batText.mli", line 187, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batText.mli", line 247, characters 4-15: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batText.mli", line 415, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batUref.mli", line 50, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 51, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 133, characters 22-45: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBig_int.mli", line 137, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 142, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 191, characters 4-39: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 225, characters 40-63: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBig_int.mli", line 236, characters 60-83: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBig_int.mli", line 255, characters 4-53: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 338, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 375, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 382, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 391, characters 4-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 435, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBig_int.mli", line 437, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 44, characters 3-13: | |
Warning: Unknown tag '@documents'. | |
File "src/batFloat.mli", line 44, characters 3-13: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batFloat.mli", line 54, characters 3-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 127, characters 3-52: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 256, characters 93-103: | |
Warning: '@since' is not allowed in '@return'. | |
Suggestion: move '@since' outside of any other markup. | |
File "src/batFloat.mli", line 259, characters 69-79: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 277, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 304, characters 33-43: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 307, characters 18-29: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 310, characters 14-25: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 313, characters 12-23: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 316, characters 13-24: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 322, characters 15-26: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 325, characters 15-26: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 328, characters 15-26: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 331, characters 15-26: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 334, characters 20-31: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 337, characters 14-25: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 340, characters 20-31: | |
Warning: '@since' should begin on its own line. | |
File "src/batFloat.mli", line 344, character 4 to line 345, character 12: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 378, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 393, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 395, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 423, characters 3-13: | |
Warning: Unknown tag '@documents'. | |
File "src/batFloat.mli", line 423, characters 3-13: | |
Warning: Paragraph is not allowed in the tags section. | |
Suggestion: move '@documents' before any tags. | |
File "src/batFloat.mli", line 436, characters 5-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 493, characters 5-54: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 568, characters 6-77: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 599, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batFloat.mli", line 601, characters 6-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batNativeint.mli", line 77, characters 22-45: | |
Warning: '@raise' should begin on its own line. | |
File "src/batNativeint.mli", line 282, characters 4-47: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNativeint.mli", line 288, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batNativeint.mli", line 290, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batNativeint.mli", line 296, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 24, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 96, characters 4-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 105, characters 4-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 141, characters 4-43: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 156, characters 4-42: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 169, characters 4-32: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 278, characters 4-31: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 350, characters 19-37: | |
Warning: '@raise' should begin on its own line. | |
File "src/batPervasives.mli", line 392, characters 3-42: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 552, characters 3-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 603, characters 3-16: | |
Warning: '{topic loops}': bad markup. | |
Suggestion: did you mean '{!topic loops}' or '[topic loops]'? | |
File "src/batPervasives.mli", line 601, characters 3-28: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 751, characters 3-39: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 838, characters 3-14: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPervasives.mli", line 875, characters 3-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batIMap.mli", line 144, characters 9-25: | |
Warning: '@raise' should begin on its own line. | |
File "src/batSet.mli", line 415, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 417, characters 6-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 423, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 482, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batSet.mli", line 493, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 906, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 909, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 915, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 931, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 1319, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batSet.mli", line 1322, characters 6-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 39, characters 3-23: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 73, characters 4-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 172, characters 4-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 173, characters 4-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 189, characters 4-19: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 226, characters 4-12: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 238, characters 4-14: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batParserCo.mli", line 246, characters 4-54: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batResult.mli", line 30, characters 43-66: | |
Warning: '@raise' should begin on its own line. | |
File "src/batResult.mli", line 35, characters 49-72: | |
Warning: '@raise' should begin on its own line. | |
File "src/batResult.mli", line 150, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batResult.mli", line 173, characters 4-13: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 449, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 451, characters 6-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 460, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 518, characters 30-31: | |
Warning: Paragraph should begin on its own line. | |
File "src/batMap.mli", line 518, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 946, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 948, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 1391, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMap.mli", line 1393, characters 6-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 54, characters 4-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 221, characters 4-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 259, characters 4-25: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 563, characters 4-31: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 620, characters 4-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 753, characters 5-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 772, characters 4-30: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 913, characters 5-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 930, characters 4-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 1096, characters 5-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 1113, characters 4-75: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batBigarray.mli", line 1118, characters 14-44: | |
Warning: '@since' should begin on its own line. | |
File "src/batBigarray.mli", line 1143, characters 24-47: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBigarray.mli", line 1148, characters 24-47: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBigarray.mli", line 1153, characters 24-47: | |
Warning: '@raise' should begin on its own line. | |
File "src/batBigarray.mli", line 1157, characters 4-29: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 42, characters 3-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 112, characters 3-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 128, characters 3-12: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 142, characters 3-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 172, characters 3-17: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 280, characters 4-38: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 290, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 292, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 299, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 309, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batHashtbl.mli", line 342, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batHashtbl.mli", line 369, characters 4-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 443, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 453, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batHashtbl.mli", line 485, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batHashtbl.mli", line 527, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batHashtbl.mli", line 535, characters 5-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 565, characters 5-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 577, characters 5-18: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 591, characters 5-19: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 609, characters 5-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 618, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 620, characters 6-18: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batHashtbl.mli", line 627, characters 6-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMultiMap.mli", line 137, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMultiMap.mli", line 139, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batCharParser.mli", line 58, characters 3-16: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMultiPMap.mli", line 141, characters 4-24: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batMultiPMap.mli", line 143, characters 4-16: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 34, characters 3-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 99, characters 6-16: | |
Warning: Unknown tag '@documents'. | |
File "src/batPathGen.mli", line 140, characters 6-22: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 159, characters 5-15: | |
Warning: Unknown tag '@documents'. | |
File "src/batPathGen.mli", line 270, characters 6-20: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 292, characters 6-21: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 312, characters 6-29: | |
Warning: '7': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 320, characters 6-32: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 352, characters 6-14: | |
Warning: Unknown tag '@example'. | |
File "src/batPathGen.mli", line 371, characters 6-14: | |
Warning: Unknown tag '@example'. | |
File "src/batPathGen.mli", line 400, characters 5-13: | |
Warning: Unknown tag '@example'. | |
File "src/batPathGen.mli", line 429, characters 6-14: | |
Warning: Unknown tag '@example'. | |
File "src/batPathGen.mli", line 448, characters 6-14: | |
Warning: Unknown tag '@example'. | |
File "src/batPathGen.mli", line 464, characters 6-33: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batPathGen.mli", line 474, characters 7-15: | |
Warning: Unknown tag '@example'. | |
File "src/batPathGen.mli", line 490, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batPathGen.mli", line 496, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batGenlex.mli", line 103, characters 3-35: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batGenlex.mli", line 134, characters 8-26: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batGenlex.mli", line 147, characters 8-28: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batGenlex.mli", line 183, characters 8-25: | |
Warning: '6': bad heading level (0-5 allowed). | |
File "src/batRMutex.mli", line 40, characters 4-14: | |
Warning: Unknown tag '@documents'. | |
File "src/batMutex.mli", line 35, characters 27-56: | |
Warning: Failed to resolve reference unresolvedroot(Control).Concurrency.Common Couldn't find "Control" | |
File "src/batMutex.mli", line 88, characters 14-27: | |
Warning: Failed to resolve reference unresolvedroot(Mutex).lock Couldn't find "Mutex" | |
File "src/batMutex.mli", line 84, characters 58-67: | |
Warning: Failed to resolve reference unresolvedroot(RMutex) Couldn't find "RMutex" | |
File "src/batRMutex.mli", line 63, characters 12-26: | |
Warning: Failed to resolve reference unresolvedroot(RMutex).lock Couldn't find "RMutex" | |
File "src/batBuffer.mli", line 219, characters 52-69: | |
Warning: Failed to resolve reference unresolvedroot(Sys).big_endian Couldn't find "Sys" | |
File "src/batBuffer.mli", line 96, characters 40-56: | |
Warning: Failed to resolve reference unresolvedroot(Buffer).create Couldn't find "Buffer" | |
File "src/batBuffer.mli", line 51, characters 32-56: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batBig_int.mli", line 25, characters 50-62: | |
Warning: Failed to resolve reference unresolvedroot(Big_int).t Couldn't find "Big_int" | |
File "src/batComplex.mli", line 29, characters 49-57: | |
Warning: Failed to resolve reference unresolvedroot(float) Couldn't find "float" | |
File "src/batChar.mli", line 26, characters 41-49: | |
Warning: Failed to resolve reference unresolvedroot(UChar) Couldn't find "UChar" | |
File "src/batChar.mli", line 148, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batChar.mli", line 148, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batChar.mli", line 146, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batCharParser.mli", line 25, characters 13-24: | |
Warning: Failed to resolve reference unresolvedroot(ParserCo) Couldn't find "ParserCo" | |
File "src/batDigest.mli", line 98, characters 47-58: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batDigest.mli", line 98, characters 31-42: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batDigest.mli", line 96, characters 18-35: | |
Warning: Failed to resolve reference unresolvedroot(String).compare Couldn't find "String" | |
File "src/batDigest.mli", line 95, characters 23-44: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batBigarray.mli", line 1190, characters 31-50: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).reshape Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1185, characters 27-46: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).reshape Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1181, characters 27-46: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).reshape Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1176, characters 27-46: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).reshape Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 933, characters 24-44: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1107, characters 13-35: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array3.set Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1102, characters 11-33: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array3.get Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1088, characters 14-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array3.modify Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1079, characters 14-36: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array3.map Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1074, characters 19-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array3.t Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1064, characters 10-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.map_file Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1054, characters 10-35: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.fill Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1050, characters 10-35: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.blit Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1043, characters 23-55: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_right Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1035, characters 20-51: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_left Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1027, characters 20-52: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_right Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1018, characters 20-51: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_left Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1010, characters 10-40: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.sub_right Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 1002, characters 10-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.sub_left Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 995, characters 23-47: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.set Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 987, characters 23-47: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.get Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 946, characters 40-67: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.create Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 775, characters 24-44: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 924, characters 13-35: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array2.set Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 919, characters 11-33: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array2.get Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 905, characters 14-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array2.modify Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 896, characters 14-36: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array2.map Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 891, characters 19-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array2.t Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 880, characters 10-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.map_file Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 871, characters 10-35: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.fill Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 867, characters 10-35: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.blit Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 860, characters 43-75: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_right Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 853, characters 20-51: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_left Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 847, characters 10-40: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.sub_right Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 839, characters 10-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.sub_left Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 832, characters 23-47: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.set Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 825, characters 31-55: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.get Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 788, characters 23-50: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.create Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 624, characters 4-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 764, characters 13-35: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array1.set Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 758, characters 11-33: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array1.get Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 744, characters 14-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array1.modify Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 735, characters 14-36: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array1.map Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 730, characters 19-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array1.t Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 710, characters 10-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.map_file Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 691, characters 5-37: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_right Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 690, characters 19-50: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray.slice_left Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 679, characters 6-28: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Array1.get Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 566, characters 23-43: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).Genarray Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 550, characters 19-32: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).t Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 256, characters 15-41: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).fortran_layout Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 255, characters 39-59: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).c_layout Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 249, characters 19-39: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).c_layout Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 225, characters 8-34: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).fortran_layout Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 204, characters 4-16: | |
Warning: Failed to resolve reference unresolvedroot(Complex).t Couldn't find "Complex" | |
File "src/batBigarray.mli", line 197, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 194, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 191, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 188, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 185, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 182, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 179, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 176, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 173, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 170, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 167, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 164, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).char Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 74, characters 38-63: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).nativeint_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 72, characters 30-51: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).int64_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 71, characters 29-50: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).int32_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 70, characters 38-57: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).int_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 68, characters 37-67: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).int16_unsigned_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 68, characters 5-33: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).int16_signed_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 66, characters 36-65: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).int8_unsigned_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 66, characters 5-32: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).int8_signed_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 64, characters 5-30: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).complex64_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 62, characters 5-30: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).complex32_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 60, characters 5-28: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).float64_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 58, characters 5-28: | |
Warning: Failed to resolve reference unresolvedroot(Bigarray).float32_elt Couldn't find "Bigarray" | |
File "src/batBigarray.mli", line 42, characters 5-15: | |
Warning: Failed to resolve reference unresolvedroot(Marshal) Couldn't find "Marshal" | |
File "src/batBigarray.mli", line 41, characters 9-34: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).input_value Couldn't find "Pervasives" | |
File "src/batBigarray.mli", line 40, characters 35-61: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).output_value Couldn't find "Pervasives" | |
File "src/batBigarray.mli", line 38, characters 52-73: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batArray.mli", line 703, characters 54-62: | |
Warning: Failed to resolve reference unresolvedroot(Array) Couldn't find "Array" | |
File "src/batArray.mli", line 657, characters 67-75: | |
Warning: Failed to resolve reference unresolvedroot(Array) Couldn't find "Array" | |
File "src/batArray.mli", line 653, characters 51-59: | |
Warning: Failed to resolve reference unresolvedroot(Array) Couldn't find "Array" | |
File "src/batArray.mli", line 651, characters 18-26: | |
Warning: Failed to resolve reference unresolvedroot(Array) Couldn't find "Array" | |
File "src/batArray.mli", line 637, characters 18-26: | |
Warning: Failed to resolve reference unresolvedroot(Array) Couldn't find "Array" | |
File "src/batArray.mli", line 634, characters 31-39: | |
Warning: Failed to resolve reference unresolvedroot(Array) Couldn't find "Array" | |
File "src/batArray.mli", line 631, characters 55-63: | |
Warning: Failed to resolve reference unresolvedroot(Array) Couldn't find "Array" | |
File "src/batArray.mli", line 534, characters 35-50: | |
Warning: Failed to resolve reference unresolvedroot(Array).filter Couldn't find "Array" | |
File "src/batArray.mli", line 507, characters 12-24: | |
Warning: Failed to resolve reference unresolvedroot(Array).mem Couldn't find "Array" | |
File "src/batArray.mli", line 466, characters 7-19: | |
Warning: Failed to resolve reference unresolvedroot(Array).map Couldn't find "Array" | |
File "src/batArray.mli", line 461, characters 7-22: | |
Warning: Failed to resolve reference unresolvedroot(Array).exists Couldn't find "Array" | |
File "src/batArray.mli", line 455, characters 7-23: | |
Warning: Failed to resolve reference unresolvedroot(Array).for_all Couldn't find "Array" | |
File "src/batArray.mli", line 399, characters 7-36: | |
Warning: Failed to resolve reference unresolvedroot(Array).decorate_stable_sort Couldn't find "Array" | |
File "src/batArray.mli", line 382, characters 29-49: | |
Warning: Failed to resolve reference unresolvedroot(Array).stable_sort Couldn't find "Array" | |
File "src/batArray.mli", line 382, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(Array).sort Couldn't find "Array" | |
File "src/batArray.mli", line 378, characters 60-73: | |
Warning: Failed to resolve reference unresolvedroot(Array).sort Couldn't find "Array" | |
File "src/batArray.mli", line 372, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(Array).sort Couldn't find "Array" | |
File "src/batArray.mli", line 350, characters 43-64: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batArray.mli", line 283, characters 12-24: | |
Warning: Failed to resolve reference unresolvedroot(Array).map Couldn't find "Array" | |
File "src/batArray.mli", line 278, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(Array).iter Couldn't find "Array" | |
File "src/batArray.mli", line 219, character 63 to line 220, character 9: | |
Warning: Failed to resolve reference unresolvedroot( | |
fsum) Couldn't find "\nfsum" | |
File "src/batDeque.mli", line 63, characters 37-54: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(=) Couldn't find "Pervasives" | |
File "src/batEither.mli", line 33, characters 42-53: | |
Warning: Failed to resolve reference unresolvedroot(Result).t Couldn't find "Result" | |
File "src/batBytes.mli", line 35, characters 3-12: | |
Warning: Failed to resolve reference unresolvedroot(String) Couldn't find "String" | |
File "src/batBytes.mli", line 569, characters 52-69: | |
Warning: Failed to resolve reference unresolvedroot(Sys).big_endian Couldn't find "Sys" | |
File "src/batBytes.mli", line 483, characters 17-38: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).from_bytes Couldn't find "Marshal" | |
File "src/batBytes.mli", line 434, characters 13-29: | |
Warning: Failed to resolve reference unresolvedroot(String).length Couldn't find "String" | |
File "src/batBytes.mli", line 429, characters 43-59: | |
Warning: Failed to resolve reference unresolvedroot(String).length Couldn't find "String" | |
File "src/batBytes.mli", line 415, characters 3-17: | |
Warning: Failed to resolve reference unresolvedroot(String).mapi Couldn't find "String" | |
File "src/batBytes.mli", line 414, characters 40-53: | |
Warning: Failed to resolve reference unresolvedroot(String).map Couldn't find "String" | |
File "src/batBytes.mli", line 414, characters 24-38: | |
Warning: Failed to resolve reference unresolvedroot(String).init Couldn't find "String" | |
File "src/batBytes.mli", line 365, characters 42-60: | |
Warning: Failed to resolve reference unresolvedroot(Bytes).of_string Couldn't find "Bytes" | |
File "src/batBytes.mli", line 365, characters 19-37: | |
Warning: Failed to resolve reference unresolvedroot(Bytes).to_string Couldn't find "Bytes" | |
File "src/batBytes.mli", line 338, characters 45-56: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batBytes.mli", line 338, characters 29-40: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batBytes.mli", line 336, characters 21-42: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batBytes.mli", line 213, characters 4-28: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batBytes.mli", line 168, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(Bytes).iter Couldn't find "Bytes" | |
File "src/batBytes.mli", line 160, characters 4-28: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batBytes.mli", line 153, characters 4-28: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batBytes.mli", line 118, characters 16-40: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batBytes.mli", line 82, characters 49-73: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batBytes.mli", line 75, characters 49-73: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batBytes.mli", line 69, characters 49-73: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batFilename.mli", line 238, characters 38-52: | |
Warning: Failed to resolve reference unresolvedroot(Sys).command Couldn't find "Sys" | |
File "src/batFilename.mli", line 236, characters 28-45: | |
Warning: Failed to resolve reference unresolvedroot(Filename).quote Couldn't find "Filename" | |
File "src/batFilename.mli", line 216, characters 4-24: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process Couldn't find "Unix" | |
File "src/batFilename.mli", line 215, characters 46-60: | |
Warning: Failed to resolve reference unresolvedroot(Unix).system Couldn't find "Unix" | |
File "src/batFilename.mli", line 215, characters 30-44: | |
Warning: Failed to resolve reference unresolvedroot(Sys).command Couldn't find "Sys" | |
File "src/batFilename.mli", line 188, characters 42-68: | |
Warning: Failed to resolve reference unresolvedroot(Filename).open_temp_file Couldn't find "Filename" | |
File "src/batFilename.mli", line 188, characters 16-37: | |
Warning: Failed to resolve reference unresolvedroot(Filename).temp_file Couldn't find "Filename" | |
File "src/batFilename.mli", line 187, characters 47-76: | |
Warning: Failed to resolve reference unresolvedroot(Filename).get_temp_dir_name Couldn't find "Filename" | |
File "src/batFilename.mli", line 182, characters 48-77: | |
Warning: Failed to resolve reference unresolvedroot(Filename).set_temp_dir_name Couldn't find "Filename" | |
File "src/batFilename.mli", line 162, characters 12-33: | |
Warning: Failed to resolve reference unresolvedroot(Filename).temp_file Couldn't find "Filename" | |
File "src/batFilename.mli", line 141, characters 47-76: | |
Warning: Failed to resolve reference unresolvedroot(Filename).get_temp_dir_name Couldn't find "Filename" | |
File "src/batFilename.mli", line 124, characters 8-28: | |
Warning: Failed to resolve reference unresolvedroot(Filename).basename Couldn't find "Filename" | |
File "src/batFilename.mli", line 118, characters 56-68: | |
Warning: Failed to resolve reference unresolvedroot(Sys).chdir Couldn't find "Sys" | |
File "src/batFilename.mli", line 116, characters 63-75: | |
Warning: Failed to resolve reference unresolvedroot(Sys).chdir Couldn't find "Sys" | |
File "src/batFilename.mli", line 108, characters 12-40: | |
Warning: Failed to resolve reference unresolvedroot(Filename).remove_extension Couldn't find "Filename" | |
File "src/batFilename.mli", line 97, characters 7-28: | |
Warning: Failed to resolve reference unresolvedroot(Filename).extension Couldn't find "Filename" | |
File "src/batGenlex.mli", line 190, characters 11-28: | |
Warning: Failed to resolve reference unresolvedroot(case_sensitive) Couldn't find "case_sensitive" | |
File "src/batGenlex.mli", line 189, characters 11-31: | |
Warning: Failed to resolve reference unresolvedroot(CharParser).string Couldn't find "CharParser" | |
File "src/batGenlex.mli", line 186, characters 11-28: | |
Warning: Failed to resolve reference unresolvedroot(case_sensitive) Couldn't find "case_sensitive" | |
File "src/batGenlex.mli", line 185, characters 11-29: | |
Warning: Failed to resolve reference unresolvedroot(CharParser).char Couldn't find "CharParser" | |
File "src/batHashtbl.mli", line 389, characters 17-32: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 387, characters 56-73: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).nan Couldn't find "Pervasives" | |
File "src/batHashtbl.mli", line 386, characters 41-56: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 385, characters 16-31: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batFloat.mli", line 405, characters 48-61: | |
Warning: Failed to resolve reference unresolvedroot(Number).NaN Couldn't find "Number" | |
File "src/batFloat.mli", line 404, characters 60-78: | |
Warning: Failed to resolve reference unresolvedroot(Number).Overflow Couldn't find "Number" | |
File "src/batFloat.mli", line 402, characters 25-33: | |
Warning: Failed to resolve reference unresolvedroot(Float) Couldn't find "Float" | |
File "src/batFormat.mli", line 423, characters 4-60: | |
Warning: Label 'tags' is ambiguous. The other occurences are: | |
File "src/batFormat.mli", line 282, character 4 | |
File "src/batFormat.mli", line 282, characters 4-27: | |
Warning: Label 'tags' is ambiguous. The other occurences are: | |
File "src/batFormat.mli", line 423, character 4 | |
File "src/batFormat.mli", line 42, characters 17-34: | |
Warning: Failed to resolve reference unresolvedroot(Format).fprintf Couldn't find "Format" | |
File "src/batGc.mli", line 355, characters 23-40: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).ref Couldn't find "Pervasives" | |
File "src/batGc.mli", line 355, characters 4-17: | |
Warning: Failed to resolve reference unresolvedroot(Array).make Couldn't find "Array" | |
File "src/batGc.mli", line 354, characters 43-59: | |
Warning: Failed to resolve reference unresolvedroot(String).create Couldn't find "String" | |
File "src/batGc.mli", line 354, characters 27-41: | |
Warning: Failed to resolve reference unresolvedroot(String).make Couldn't find "String" | |
File "src/batDynArray.mli", line 636, characters 18-29: | |
Warning: Failed to resolve reference unresolvedroot(DynArray) Couldn't find "DynArray" | |
File "src/batDynArray.mli", line 444, character 63 to line 445, character 9: | |
Warning: Failed to resolve reference unresolvedroot( | |
fsum) Couldn't find "\nfsum" | |
File "src/batFingerTree.mli", line 311, characters 29-40: | |
Warning: While resolving the expansion of include at File "src/batFingerTree.mli", line 380, character 0 | |
Failed to resolve reference unresolvedroot(List).map Couldn't find "List" | |
File "src/batFingerTree.mli", line 311, characters 29-40: | |
Warning: While resolving the expansion of include at File "src/batFingerTree.mli", line 341, character 2 | |
Failed to resolve reference unresolvedroot(List).map Couldn't find "List" | |
File "src/batFingerTree.mli", line 311, characters 29-40: | |
Warning: Failed to resolve reference unresolvedroot(List).map Couldn't find "List" | |
File "src/batEnum.mli", line 878, characters 27-36: | |
Warning: Failed to resolve reference unresolvedroot(Stream) Couldn't find "Stream" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInnerWeaktbl.mli", line 73, characters 16-30: | |
Warning: Failed to resolve reference unresolvedroot(Weaktbl).add Couldn't find "Weaktbl" | |
File "src/batInnerWeaktbl.mli", line 72, characters 39-56: | |
Warning: Failed to resolve reference unresolvedroot(Weaktbl).remove Couldn't find "Weaktbl" | |
File "src/batInnerWeaktbl.mli", line 43, characters 38-55: | |
Warning: Failed to resolve reference unresolvedroot(Weaktbl).remove Couldn't find "Weaktbl" | |
File "src/batInt.mli", line 32, characters 23-41: | |
Warning: Failed to resolve reference unresolvedroot(Number).Discrete Couldn't find "Number" | |
File "src/batInt.mli", line 32, characters 4-21: | |
Warning: Failed to resolve reference unresolvedroot(Number).Bounded Couldn't find "Number" | |
File "src/batInt.mli", line 31, characters 27-44: | |
Warning: Failed to resolve reference unresolvedroot(Number).Numeric Couldn't find "Number" | |
File "src/batInt.mli", line 242, characters 23-41: | |
Warning: Failed to resolve reference unresolvedroot(Number).Discrete Couldn't find "Number" | |
File "src/batInt.mli", line 242, characters 4-21: | |
Warning: Failed to resolve reference unresolvedroot(Number).Bounded Couldn't find "Number" | |
File "src/batInt.mli", line 241, characters 27-44: | |
Warning: Failed to resolve reference unresolvedroot(Number).Numeric Couldn't find "Number" | |
File "src/batInt.mli", line 239, characters 29-47: | |
Warning: Failed to resolve reference unresolvedroot(Number).Overflow Couldn't find "Number" | |
File "src/batInt.mli", line 393, characters 49-62: | |
Warning: Failed to resolve reference unresolvedroot(HashedType) Couldn't find "HashedType" | |
File "src/batInt.mli", line 390, characters 22-33: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batInt.mli", line 390, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batInt.mli", line 388, characters 6-27: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInt.mli", line 353, characters 56-70: | |
Warning: Failed to resolve reference unresolvedroot(Int).max_int Couldn't find "Int" | |
File "src/batInt.mli", line 353, characters 40-54: | |
Warning: Failed to resolve reference unresolvedroot(Int).min_int Couldn't find "Int" | |
File "src/batInt.mli", line 289, characters 51-68: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(/) Couldn't find "Pervasives" | |
File "src/batInt.mli", line 284, characters 51-68: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(/) Couldn't find "Pervasives" | |
File "src/batInt.mli", line 229, characters 47-60: | |
Warning: Failed to resolve reference unresolvedroot(HashedType) Couldn't find "HashedType" | |
File "src/batInt.mli", line 226, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batInt.mli", line 226, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batInt.mli", line 224, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInt.mli", line 134, characters 54-68: | |
Warning: Failed to resolve reference unresolvedroot(Int).max_int Couldn't find "Int" | |
File "src/batInt.mli", line 134, characters 38-52: | |
Warning: Failed to resolve reference unresolvedroot(Int).min_int Couldn't find "Int" | |
File "src/batInt.mli", line 81, characters 49-66: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(/) Couldn't find "Pervasives" | |
File "src/batInt.mli", line 76, characters 49-66: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(/) Couldn't find "Pervasives" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInt32.mli", line 291, characters 37-54: | |
Warning: Failed to resolve reference unresolvedroot(Printf).sprintf Couldn't find "Printf" | |
File "src/batInt32.mli", line 278, characters 54-67: | |
Warning: Failed to resolve reference unresolvedroot(HashedType) Couldn't find "HashedType" | |
File "src/batInt32.mli", line 261, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batInt32.mli", line 261, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batInt32.mli", line 259, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInt32.mli", line 183, characters 56-72: | |
Warning: Failed to resolve reference unresolvedroot(Int32).max_int Couldn't find "Int32" | |
File "src/batInt32.mli", line 183, characters 38-54: | |
Warning: Failed to resolve reference unresolvedroot(Int32).min_int Couldn't find "Int32" | |
File "src/batInt32.mli", line 75, characters 49-66: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(/) Couldn't find "Pervasives" | |
File "src/batInt32.mli", line 32, characters 26-38: | |
Warning: Failed to resolve reference unresolvedroot(Int32).one Couldn't find "Int32" | |
File "src/batInt64.mli", line 38, characters 26-38: | |
Warning: Failed to resolve reference unresolvedroot(Int64).one Couldn't find "Int64" | |
File "src/batInt64.mli", line 275, characters 37-54: | |
Warning: Failed to resolve reference unresolvedroot(Printf).sprintf Couldn't find "Printf" | |
File "src/batInt64.mli", line 273, characters 15-24: | |
Warning: Failed to resolve reference unresolvedroot(Printf) Couldn't find "Printf" | |
File "src/batInt64.mli", line 257, characters 54-67: | |
Warning: Failed to resolve reference unresolvedroot(HashedType) Couldn't find "HashedType" | |
File "src/batInt64.mli", line 240, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batInt64.mli", line 240, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batInt64.mli", line 238, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInt64.mli", line 177, characters 56-72: | |
Warning: Failed to resolve reference unresolvedroot(Int64).max_int Couldn't find "Int64" | |
File "src/batInt64.mli", line 177, characters 38-54: | |
Warning: Failed to resolve reference unresolvedroot(Int64).min_int Couldn't find "Int64" | |
File "src/batInt64.mli", line 77, characters 49-66: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(/) Couldn't find "Pervasives" | |
File "src/batInnerIO.mli", line 265, characters 56-65: | |
Warning: Reference to 'output' is ambiguous. Please specify its kind: type-output, val-output. | |
File "src/batInnerIO.mli", line 244, characters 49-59: | |
Warning: Failed to resolve reference unresolvedroot(tab_out) Couldn't find "tab_out" | |
File "src/batInnerIO.mli", line 205, characters 57-66: | |
Warning: Reference to 'output' is ambiguous. Please specify its kind: type-output, val-output. | |
File "src/batInnerIO.mli", line 122, characters 40-55: | |
Warning: Reference to 'output' is ambiguous. Please specify its kind: type-output, val-output. | |
File "src/batInnerIO.mli", line 84, characters 39-53: | |
Warning: Reference to 'input' is ambiguous. Please specify its kind: type-input, val-input. | |
File "src/batLexing.mli", line 236, characters 21-34: | |
Warning: Failed to resolve reference unresolvedroot(from_input) Couldn't find "from_input" | |
File "src/batHashtbl.mli", line 483, characters 67-77: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 479, characters 51-61: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 477, characters 20-30: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 471, characters 44-61: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).remove Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 451, characters 20-30: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 448, characters 68-78: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 446, characters 56-66: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 389, characters 17-32: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 387, characters 56-73: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).nan Couldn't find "Pervasives" | |
File "src/batHashtbl.mli", line 386, characters 41-56: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 385, characters 16-31: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 513, characters 40-55: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).Make Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 393, characters 40-55: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).Make Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 483, characters 67-77: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 479, characters 51-61: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 477, characters 20-30: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 471, characters 44-61: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).remove Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 451, characters 20-30: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 448, characters 68-78: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 446, characters 56-66: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 389, characters 17-32: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 387, characters 56-73: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).nan Couldn't find "Pervasives" | |
File "src/batHashtbl.mli", line 386, characters 41-56: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 385, characters 16-31: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 340, characters 67-77: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 336, characters 51-61: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 334, characters 18-28: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 328, characters 42-59: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).remove Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 307, characters 18-28: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 304, characters 66-76: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 302, characters 54-64: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl) Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 80, characters 16-30: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).add Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 79, characters 39-56: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).remove Couldn't find "Hashtbl" | |
File "src/batHashtbl.mli", line 63, characters 38-55: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).remove Couldn't find "Hashtbl" | |
File "src/batIO.mli", line 69, character 50 to line 70, character 10: | |
Warning: Failed to resolve reference unresolvedroot( | |
input) Couldn't find "\ninput" | |
File "src/batIO.mli", line 66, character 61 to line 67, character 11: | |
Warning: Failed to resolve reference unresolvedroot( | |
output) Couldn't find "\noutput" | |
File "src/batIO.mli", line 42, characters 56-67: | |
Warning: Failed to resolve reference unresolvedroot(Compress) Couldn't find "Compress" | |
File "src/batIO.mli", line 41, characters 22-29: | |
Warning: Failed to resolve reference unresolvedroot(Unix) Couldn't find "Unix" | |
File "src/batIO.mli", line 39, characters 26-33: | |
Warning: Failed to resolve reference unresolvedroot(File) Couldn't find "File" | |
File "src/batIO.mli", line 26, character 47 to line 27, character 11: | |
Warning: Failed to resolve reference unresolvedroot( | |
output) Couldn't find "\noutput" | |
File "src/batIO.mli", line 706, characters 56-65: | |
Warning: Reference to 'output' is ambiguous. Please specify its kind: type-output, val-output. | |
File "src/batIO.mli", line 659, characters 57-66: | |
Warning: Reference to 'output' is ambiguous. Please specify its kind: type-output, val-output. | |
File "src/batIO.mli", line 314, characters 8-24: | |
Warning: Failed to resolve reference unresolvedroot(File).open_out Couldn't find "File" | |
File "src/batIO.mli", line 313, characters 44-59: | |
Warning: Failed to resolve reference unresolvedroot(File).open_in Couldn't find "File" | |
File "src/batIO.mli", line 254, characters 40-55: | |
Warning: Reference to 'output' is ambiguous. Please specify its kind: type-output, val-output. | |
File "src/batIO.mli", line 208, characters 39-53: | |
Warning: Reference to 'input' is ambiguous. Please specify its kind: type-input, val-input. | |
File "src/batLazyList.mli", line 40, characters 27-36: | |
Warning: Failed to resolve reference unresolvedroot(Stream) Couldn't find "Stream" | |
File "src/batLazyList.mli", line 706, characters 67-78: | |
Warning: Failed to resolve reference unresolvedroot(LazyList) Couldn't find "LazyList" | |
File "src/batLazyList.mli", line 702, characters 51-58: | |
Warning: Failed to resolve reference unresolvedroot(List) Couldn't find "List" | |
File "src/batLazyList.mli", line 700, characters 18-29: | |
Warning: Failed to resolve reference unresolvedroot(LazyList) Couldn't find "LazyList" | |
File "src/batLazyList.mli", line 654, characters 66-77: | |
Warning: Failed to resolve reference unresolvedroot(LazyList) Couldn't find "LazyList" | |
File "src/batLazyList.mli", line 652, characters 54-65: | |
Warning: Failed to resolve reference unresolvedroot(LazyList) Couldn't find "LazyList" | |
File "src/batLazyList.mli", line 353, characters 38-48: | |
Warning: Failed to resolve reference unresolvedroot(HashMap) Couldn't find "HashMap" | |
File "src/batLazyList.mli", line 139, characters 3-31: | |
Warning: Failed to resolve reference unresolvedroot(LazyList).No_more_elements Couldn't find "LazyList" | |
File "src/batMarshal.mli", line 48, characters 4-20: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).input Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 47, characters 45-62: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).output Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 163, characters 8-30: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).header_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 160, characters 8-30: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).header_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 156, characters 40-61: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).from_bytes Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 154, characters 24-44: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).data_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 152, characters 3-25: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).header_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 147, characters 33-54: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).total_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 147, characters 8-28: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).data_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 145, characters 12-33: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).total_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 142, characters 3-23: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).data_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 141, characters 3-25: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).header_size Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 125, characters 8-31: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).from_channel Couldn't find "Marshal" | |
File "src/batMarshal.mli", line 98, characters 3-20: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).output Couldn't find "Marshal" | |
File "src/batNum.mli", line 155, characters 17-38: | |
Warning: Failed to resolve reference unresolvedroot(Num).approx_num_fix Couldn't find "Num" | |
File "src/batNum.mli", line 150, characters 8-29: | |
Warning: Failed to resolve reference unresolvedroot(Num).approx_num_exp Couldn't find "Num" | |
File "src/batNativeint.mli", line 40, characters 26-43: | |
Warning: Failed to resolve reference unresolvedroot(Native_int).one Couldn't find "Native_int" | |
File "src/batNativeint.mli", line 303, characters 20-37: | |
Warning: Failed to resolve reference unresolvedroot(Printf).sprintf Couldn't find "Printf" | |
File "src/batNativeint.mli", line 256, characters 54-67: | |
Warning: Failed to resolve reference unresolvedroot(HashedType) Couldn't find "HashedType" | |
File "src/batNativeint.mli", line 239, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batNativeint.mli", line 239, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batNativeint.mli", line 237, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batNativeint.mli", line 191, characters 28-48: | |
Warning: Failed to resolve reference unresolvedroot(Nativeint).max_int Couldn't find "Nativeint" | |
File "src/batNativeint.mli", line 191, characters 6-26: | |
Warning: Failed to resolve reference unresolvedroot(Nativeint).min_int Couldn't find "Nativeint" | |
File "src/batNativeint.mli", line 79, characters 49-66: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(/) Couldn't find "Pervasives" | |
File "src/batList.mli", line 1116, characters 67-74: | |
Warning: Failed to resolve reference unresolvedroot(List) Couldn't find "List" | |
File "src/batList.mli", line 1112, characters 51-58: | |
Warning: Failed to resolve reference unresolvedroot(List) Couldn't find "List" | |
File "src/batList.mli", line 1110, characters 18-25: | |
Warning: Failed to resolve reference unresolvedroot(List) Couldn't find "List" | |
File "src/batList.mli", line 1007, characters 70-77: | |
Warning: Failed to resolve reference unresolvedroot(List) Couldn't find "List" | |
File "src/batList.mli", line 1004, characters 54-61: | |
Warning: Failed to resolve reference unresolvedroot(List) Couldn't find "List" | |
File "src/batList.mli", line 897, characters 28-47: | |
Warning: Failed to resolve reference unresolvedroot(List).stable_sort Couldn't find "List" | |
File "src/batList.mli", line 897, characters 12-24: | |
Warning: Failed to resolve reference unresolvedroot(List).sort Couldn't find "List" | |
File "src/batList.mli", line 888, characters 12-24: | |
Warning: Failed to resolve reference unresolvedroot(List).sort Couldn't find "List" | |
File "src/batList.mli", line 877, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batList.mli", line 669, characters 12-29: | |
Warning: Failed to resolve reference unresolvedroot(List).mem_assoc Couldn't find "List" | |
File "src/batList.mli", line 665, characters 12-32: | |
Warning: Failed to resolve reference unresolvedroot(List).remove_assoc Couldn't find "List" | |
File "src/batList.mli", line 661, characters 12-29: | |
Warning: Failed to resolve reference unresolvedroot(List).assoc_inv Couldn't find "List" | |
File "src/batList.mli", line 656, characters 12-29: | |
Warning: Failed to resolve reference unresolvedroot(List).assoc_opt Couldn't find "List" | |
File "src/batList.mli", line 652, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(List).assoc Couldn't find "List" | |
File "src/batList.mli", line 648, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(List).assoc Couldn't find "List" | |
File "src/batList.mli", line 540, characters 35-49: | |
Warning: Failed to resolve reference unresolvedroot(List).filter Couldn't find "List" | |
File "src/batList.mli", line 497, characters 22-33: | |
Warning: Failed to resolve reference unresolvedroot(List).map Couldn't find "List" | |
File "src/batList.mli", line 497, characters 4-18: | |
Warning: Failed to resolve reference unresolvedroot(List).concat Couldn't find "List" | |
File "src/batList.mli", line 446, characters 12-26: | |
Warning: Failed to resolve reference unresolvedroot(List).exists Couldn't find "List" | |
File "src/batList.mli", line 441, characters 12-27: | |
Warning: Failed to resolve reference unresolvedroot(List).for_all Couldn't find "List" | |
File "src/batList.mli", line 423, characters 12-23: | |
Warning: Failed to resolve reference unresolvedroot(List).mem Couldn't find "List" | |
File "src/batList.mli", line 418, characters 12-23: | |
Warning: Failed to resolve reference unresolvedroot(List).mem Couldn't find "List" | |
File "src/batList.mli", line 396, characters 19-31: | |
Warning: Failed to resolve reference unresolvedroot(List).map2 Couldn't find "List" | |
File "src/batList.mli", line 396, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(List).rev Couldn't find "List" | |
File "src/batList.mli", line 259, characters 19-30: | |
Warning: Failed to resolve reference unresolvedroot(List).map Couldn't find "List" | |
File "src/batList.mli", line 259, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(List).rev Couldn't find "List" | |
File "src/batNumber.mli", line 51, characters 30-38: | |
Warning: Failed to resolve reference unresolvedroot(Float) Couldn't find "Float" | |
File "src/batNumber.mli", line 50, characters 29-42: | |
Warning: Failed to resolve reference unresolvedroot(Safe_float) Couldn't find "Safe_float" | |
File "src/batNumber.mli", line 39, characters 3-14: | |
Warning: Failed to resolve reference unresolvedroot(Safe_int) Couldn't find "Safe_int" | |
File "src/batNumber.mli", line 37, characters 58-64: | |
Warning: Failed to resolve reference unresolvedroot(Int) Couldn't find "Int" | |
File "src/batOptParse.mli", line 360, characters 42-67: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).OptParser.add Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 341, characters 12-38: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).Formatter.wrap Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 320, characters 6-46: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).Formatter.indented_formatter Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 250, characters 10-41: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).StdOpt.int_callback Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 247, characters 10-41: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).StdOpt.int_callback Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 228, characters 10-39: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).StdOpt.int_option Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 224, characters 10-39: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).StdOpt.int_option Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 94, characters 38-68: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).StdOpt.help_option Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 54, characters 6-33: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).OptParser.parse Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 48, characters 44-71: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).OptParser.parse Couldn't find "OptParse" | |
File "src/batOptParse.mli", line 39, characters 32-51: | |
Warning: Failed to resolve reference unresolvedroot(OptParse).Opt.get Couldn't find "OptParse" | |
File "src/batParserCo.mli", line 31, characters 43-52: | |
Warning: Failed to resolve reference unresolvedroot(Genlex) Couldn't find "Genlex" | |
File "src/batParserCo.mli", line 30, characters 11-24: | |
Warning: Failed to resolve reference unresolvedroot(CharParser) Couldn't find "CharParser" | |
File "src/batParserCo.mli", line 28, characters 7-15: | |
Warning: Failed to resolve reference unresolvedroot(Scanf) Couldn't find "Scanf" | |
File "src/batParserCo.mli", line 27, characters 65-75: | |
Warning: Failed to resolve reference unresolvedroot(Parsing) Couldn't find "Parsing" | |
File "src/batParserCo.mli", line 27, characters 57-63: | |
Warning: Failed to resolve reference unresolvedroot(Str) Couldn't find "Str" | |
File "src/batParserCo.mli", line 27, characters 46-55: | |
Warning: Failed to resolve reference unresolvedroot(Lexing) Couldn't find "Lexing" | |
File "src/batParserCo.mli", line 58, characters 38-66: | |
Warning: Failed to resolve reference unresolvedroot(CharParser).source_of_enum Couldn't find "CharParser" | |
File "src/batParserCo.mli", line 58, characters 4-34: | |
Warning: Failed to resolve reference unresolvedroot(CharParser).source_of_string Couldn't find "CharParser" | |
File "src/batPathGen.mli", line 27, characters 10-26: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfString Couldn't find "Path" | |
File "src/batPathGen.mli", line 26, characters 72-81: | |
Warning: Failed to resolve reference unresolvedroot(Rope).t Couldn't find "Rope" | |
File "src/batPathGen.mli", line 26, characters 10-24: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfRope Couldn't find "Path" | |
File "src/batPathGen.mli", line 91, characters 77-93: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfString Couldn't find "Path" | |
File "src/batPathGen.mli", line 91, characters 60-69: | |
Warning: Failed to resolve reference unresolvedroot(Rope).t Couldn't find "Rope" | |
File "src/batPathGen.mli", line 91, characters 39-53: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfRope Couldn't find "Path" | |
File "src/batPathGen.mli", line 91, characters 77-93: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfString Couldn't find "Path" | |
File "src/batPathGen.mli", line 91, characters 60-69: | |
Warning: Failed to resolve reference unresolvedroot(Rope).t Couldn't find "Rope" | |
File "src/batPathGen.mli", line 91, characters 39-53: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfRope Couldn't find "Path" | |
File "src/batPathGen.mli", line 77, characters 9-22: | |
Warning: Failed to resolve reference unresolvedroot(String).sub Couldn't find "String" | |
File "src/batPathGen.mli", line 91, characters 77-93: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfString Couldn't find "Path" | |
File "src/batPathGen.mli", line 91, characters 60-69: | |
Warning: Failed to resolve reference unresolvedroot(Rope).t Couldn't find "Rope" | |
File "src/batPathGen.mli", line 91, characters 39-53: | |
Warning: Failed to resolve reference unresolvedroot(Path).OfRope Couldn't find "Path" | |
File "src/batPathGen.mli", line 77, characters 9-22: | |
Warning: Failed to resolve reference unresolvedroot(String).sub Couldn't find "String" | |
File "src/batPervasives.mli", line 575, characters 29-44: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).enum Couldn't find "Hashtbl" | |
File "src/batPervasives.mli", line 574, characters 32-51: | |
Warning: Failed to resolve reference unresolvedroot(String).backwards Couldn't find "String" | |
File "src/batPervasives.mli", line 574, characters 3-20: | |
Warning: Failed to resolve reference unresolvedroot(List).backwards Couldn't find "List" | |
File "src/batPervasives.mli", line 572, characters 50-64: | |
Warning: Failed to resolve reference unresolvedroot(String).enum Couldn't find "String" | |
File "src/batPervasives.mli", line 572, characters 26-38: | |
Warning: Failed to resolve reference unresolvedroot(List).enum Couldn't find "List" | |
File "src/batPervasives.mli", line 566, character 51 to line 567, character 20: | |
Warning: Failed to resolve reference unresolvedroot( | |
String).backwards Couldn't find "\nString" | |
File "src/batPervasives.mli", line 566, characters 30-45: | |
Warning: Failed to resolve reference unresolvedroot(String).enum Couldn't find "String" | |
File "src/batPervasives.mli", line 376, characters 34-44: | |
Warning: Failed to resolve reference unresolvedroot(Marshal) Couldn't find "Marshal" | |
File "src/batPervasives.mli", line 375, characters 34-50: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).input Couldn't find "Marshal" | |
File "src/batPervasives.mli", line 368, characters 38-71: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).output_binary_float Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 362, characters 38-69: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).output_binary_int Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 356, characters 12-36: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).input_char Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 342, characters 27-53: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).really_input Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 317, characters 20-38: | |
Warning: Failed to resolve reference unresolvedroot(open_ininstead) Couldn't find "open_ininstead" | |
File "src/batPervasives.mli", line 314, characters 30-55: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).open_in_bin Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 314, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 308, characters 37-58: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 305, characters 12-33: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 264, characters 7-24: | |
Warning: Failed to resolve reference unresolvedroot(Marshal).output Couldn't find "Marshal" | |
File "src/batPervasives.mli", line 263, characters 4-14: | |
Warning: Failed to resolve reference unresolvedroot(Marshal) Couldn't find "Marshal" | |
File "src/batPervasives.mli", line 255, characters 4-36: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).input_binary_float Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 248, characters 4-34: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).input_binary_int Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 210, characters 19-38: | |
Warning: Failed to resolve reference unresolvedroot(open_outinstead) Couldn't find "open_outinstead" | |
File "src/batPervasives.mli", line 108, characters 57-64: | |
Warning: Failed to resolve reference unresolvedroot(File) Couldn't find "File" | |
File "src/batPervasives.mli", line 98, characters 48-55: | |
Warning: Failed to resolve reference unresolvedroot(List) Couldn't find "List" | |
File "src/batPrintexc.mli", line 197, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).at_exit Couldn't find "Pervasives" | |
File "src/batPrintexc.mli", line 38, characters 40-57: | |
Warning: Failed to resolve reference unresolvedroot(Printexc).print Couldn't find "Printexc" | |
File "src/batPrintf.mli", line 331, characters 13-25: | |
Warning: Failed to resolve reference unresolvedroot(Obj).magic Couldn't find "Obj" | |
File "src/batPrintf.mli", line 294, characters 42-53: | |
Warning: Failed to resolve reference unresolvedroot(mkprintf) Couldn't find "mkprintf" | |
File "src/batPrintf.mli", line 229, characters 16-36: | |
Warning: Reference to 'output' is ambiguous. Please specify its kind: type-output, val-output. | |
File "src/batPrintf.mli", line 202, characters 69-78: | |
Warning: Failed to resolve reference unresolvedroot(stderr) Couldn't find "stderr" | |
File "src/batPrintf.mli", line 198, characters 62-71: | |
Warning: Failed to resolve reference unresolvedroot(stdout) Couldn't find "stdout" | |
File "src/batPrintf.mli", line 36, characters 3-23: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).format Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batQueue.mli", line 35, characters 33-46: | |
Warning: Failed to resolve reference unresolvedroot(Queue).peek Couldn't find "Queue" | |
File "src/batQueue.mli", line 35, characters 16-29: | |
Warning: Failed to resolve reference unresolvedroot(Queue).take Couldn't find "Queue" | |
File "src/batRandom.mli", line 232, characters 8-29: | |
Warning: Failed to resolve reference unresolvedroot(Random).State.split Couldn't find "Random" | |
File "src/batRandom.mli", line 159, characters 29-49: | |
Warning: Failed to resolve reference unresolvedroot(Nativeint).max_int Couldn't find "Nativeint" | |
File "src/batRandom.mli", line 159, characters 4-24: | |
Warning: Failed to resolve reference unresolvedroot(Nativeint).min_int Couldn't find "Nativeint" | |
File "src/batRandom.mli", line 153, characters 25-41: | |
Warning: Failed to resolve reference unresolvedroot(Int64).max_int Couldn't find "Int64" | |
File "src/batRandom.mli", line 153, characters 4-20: | |
Warning: Failed to resolve reference unresolvedroot(Int64).min_int Couldn't find "Int64" | |
File "src/batRandom.mli", line 148, characters 25-41: | |
Warning: Failed to resolve reference unresolvedroot(Int32).max_int Couldn't find "Int32" | |
File "src/batRandom.mli", line 148, characters 4-20: | |
Warning: Failed to resolve reference unresolvedroot(Int32).min_int Couldn't find "Int32" | |
File "src/batRandom.mli", line 64, characters 49-68: | |
Warning: Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument" | |
File "src/batRandom.mli", line 64, characters 28-41: | |
Warning: Failed to resolve reference unresolvedroot(Random).int Couldn't find "Random" | |
File "src/batRandom.mli", line 62, characters 5-18: | |
Warning: Failed to resolve reference unresolvedroot(Random).int Couldn't find "Random" | |
File "src/batRandom.mli", line 43, characters 12-26: | |
Warning: Failed to resolve reference unresolvedroot(Random).init Couldn't find "Random" | |
File "src/batStack.mli", line 35, characters 32-44: | |
Warning: Failed to resolve reference unresolvedroot(Stack).top Couldn't find "Stack" | |
File "src/batStack.mli", line 35, characters 16-28: | |
Warning: Failed to resolve reference unresolvedroot(Stack).pop Couldn't find "Stack" | |
File "src/batMap.mli", line 960, characters 35-46: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 920, characters 27-37: | |
Warning: Failed to resolve reference unresolvedroot(BatPMap) Couldn't find "BatPMap" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batMap.mli", line 495, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 491, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 489, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 469, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 465, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 463, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Map) Couldn't find "Map" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "Map" | |
File "src/batScanf.mli", line 427, characters 12-34: | |
Warning: Failed to resolve reference unresolvedroot(Scanf).bscanf_format Couldn't find "Scanf" | |
File "src/batScanf.mli", line 407, characters 12-27: | |
Warning: Failed to resolve reference unresolvedroot(Scanf).bscanf Couldn't find "Scanf" | |
File "src/batScanf.mli", line 402, characters 11-34: | |
Warning: Failed to resolve reference unresolvedroot(Scanf).Scanning.stdib Couldn't find "Scanf" | |
File "src/batScanf.mli", line 401, characters 12-27: | |
Warning: Failed to resolve reference unresolvedroot(Scanf).bscanf Couldn't find "Scanf" | |
File "src/batScanf.mli", line 398, characters 12-27: | |
Warning: Failed to resolve reference unresolvedroot(Scanf).bscanf Couldn't find "Scanf" | |
File "src/batScanf.mli", line 54, characters 38-47: | |
Warning: Failed to resolve reference unresolvedroot(Format) Couldn't find "Format" | |
File "src/batScanf.mli", line 54, characters 25-34: | |
Warning: Failed to resolve reference unresolvedroot(Printf) Couldn't find "Printf" | |
File "src/batScanf.mli", line 47, characters 58-73: | |
Warning: Failed to resolve reference unresolvedroot(Scanf).bscanf Couldn't find "Scanf" | |
File "src/batSeq.mli", line 761, characters 50-63: | |
Warning: Failed to resolve reference unresolvedroot(Array).sort Couldn't find "Array" | |
File "src/batSeq.mli", line 684, characters 39-46: | |
Warning: Failed to resolve reference unresolvedroot(Lazy) Couldn't find "Lazy" | |
File "src/batSeq.mli", line 534, characters 50-63: | |
Warning: Failed to resolve reference unresolvedroot(Array).sort Couldn't find "Array" | |
File "src/batSeq.mli", line 208, characters 52-69: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).(=) Couldn't find "Pervasives" | |
File "src/batMap.mli", line 458, characters 38-49: | |
Warning: While resolving the expansion of include at File "src/batSplay.mli", line 34, character 4 | |
Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Make" | |
File "src/batMap.mli", line 389, characters 6-17: | |
Warning: While resolving the expansion of include at File "src/batSplay.mli", line 34, character 4 | |
Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Make" | |
File "src/batMap.mli", line 383, characters 6-17: | |
Warning: While resolving the expansion of include at File "src/batSplay.mli", line 34, character 4 | |
Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Make" | |
File "src/batMap.mli", line 244, characters 14-26: | |
Warning: While resolving the expansion of include at File "src/batSplay.mli", line 34, character 4 | |
Failed to resolve reference unresolvedroot(Map).S.map Couldn't find "S" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batSys.mli", line 25, characters 59-66: | |
Warning: Failed to resolve reference unresolvedroot(Unix) Couldn't find "Unix" | |
File "src/batSys.mli", line 24, characters 56-63: | |
Warning: Failed to resolve reference unresolvedroot(Unix) Couldn't find "Unix" | |
File "src/batSys.mli", line 293, characters 49-67: | |
Warning: Failed to resolve reference unresolvedroot(Sys).catch_break Couldn't find "Sys" | |
File "src/batSys.mli", line 195, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(Sys).signal Couldn't find "Sys" | |
File "src/batText.mli", line 444, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batText.mli", line 444, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batText.mli", line 442, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batString.mli", line 1179, characters 54-63: | |
Warning: Failed to resolve reference unresolvedroot(String) Couldn't find "String" | |
File "src/batString.mli", line 1137, characters 14-44: | |
Warning: Failed to resolve reference unresolvedroot(String).Exceptionless.rindex Couldn't find "String" | |
File "src/batString.mli", line 1132, characters 14-43: | |
Warning: Failed to resolve reference unresolvedroot(String).Exceptionless.index Couldn't find "String" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batString.mli", line 1042, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batString.mli", line 1042, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batString.mli", line 1040, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batString.mli", line 967, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).MakeSeeded Couldn't find "Hashtbl" | |
File "src/batString.mli", line 966, characters 4-26: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).seeded_hash Couldn't find "Hashtbl" | |
File "src/batString.mli", line 960, characters 19-34: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).Make Couldn't find "Hashtbl" | |
File "src/batString.mli", line 959, characters 4-19: | |
Warning: Failed to resolve reference unresolvedroot(Hashtbl).hash Couldn't find "Hashtbl" | |
File "src/batString.mli", line 900, characters 52-69: | |
Warning: Failed to resolve reference unresolvedroot(Sys).big_endian Couldn't find "Sys" | |
File "src/batString.mli", line 736, characters 20-42: | |
Warning: Failed to resolve reference unresolvedroot(String).rev_in_place Couldn't find "String" | |
File "src/batString.mli", line 337, characters 20-31: | |
Warning: Failed to resolve reference unresolvedroot(Map).Make Couldn't find "Map" | |
File "src/batString.mli", line 337, characters 4-15: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batString.mli", line 335, characters 4-25: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batString.mli", line 159, characters 12-26: | |
Warning: Failed to resolve reference unresolvedroot(String).iter Couldn't find "String" | |
File "src/batString.mli", line 120, characters 48-72: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batString.mli", line 86, characters 9-33: | |
Warning: Failed to resolve reference unresolvedroot(Sys).max_string_length Couldn't find "Sys" | |
File "src/batTuple.mli", line 66, characters 13-34: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batTuple.mli", line 70, characters 4-17: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives) Couldn't find "Pervasives" | |
File "src/batTuple.mli", line 90, characters 20-42: | |
Warning: Failed to resolve reference unresolvedroot(BatPervasives).(***) Couldn't find "(***)" | |
File "src/batTuple.mli", line 85, characters 20-37: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).snd Couldn't find "Pervasives" | |
File "src/batTuple.mli", line 82, characters 20-37: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).fst Couldn't find "Pervasives" | |
File "src/batVect.mli", line 664, characters 35-49: | |
Warning: Failed to resolve reference unresolvedroot(Vect).filter Couldn't find "Vect" | |
File "src/batVect.mli", line 645, characters 12-23: | |
Warning: Failed to resolve reference unresolvedroot(Vect).mem Couldn't find "Vect" | |
File "src/batVect.mli", line 307, characters 35-49: | |
Warning: Failed to resolve reference unresolvedroot(Vect).filter Couldn't find "Vect" | |
File "src/batVect.mli", line 288, characters 12-23: | |
Warning: Failed to resolve reference unresolvedroot(Vect).mem Couldn't find "Vect" | |
File "src/batPervasives.mli", line 566, character 51 to line 567, character 20: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot( | |
String).backwards Couldn't find "\nString" | |
File "src/batPervasives.mli", line 368, characters 38-71: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).output_binary_float Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 362, characters 38-69: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).output_binary_int Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 356, characters 12-36: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).input_char Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 342, characters 27-53: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).really_input Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 317, characters 20-38: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(open_ininstead) Couldn't find "open_ininstead" | |
File "src/batPervasives.mli", line 314, characters 30-55: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in_bin Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 314, characters 4-25: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 308, characters 37-58: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 305, characters 12-33: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 255, characters 4-36: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).input_binary_float Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 248, characters 4-34: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).input_binary_int Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 210, characters 19-38: | |
Warning: While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(open_outinstead) Couldn't find "open_outinstead" | |
File "src/batSet.mli", line 1247, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 826, characters 12-32: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batSet.mli", line 461, characters 36-47: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 447, characters 67-73: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 443, characters 51-57: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 441, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 431, characters 20-26: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 428, characters 68-74: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 426, characters 56-62: | |
Warning: Failed to resolve reference unresolvedroot(Set) Couldn't find "Set" | |
File "src/batSet.mli", line 369, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 363, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 329, characters 14-34: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt_opt Couldn't find "Set" | |
File "src/batSet.mli", line 325, characters 14-30: | |
Warning: Failed to resolve reference unresolvedroot(Set).S.min_elt Couldn't find "Set" | |
File "src/batSet.mli", line 281, characters 15-26: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batSet.mli", line 51, characters 35-46: | |
Warning: Failed to resolve reference unresolvedroot(Set).Make Couldn't find "Set" | |
File "src/batUnix.mli", line 1681, characters 15-34: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getnameinfo Couldn't find "Unix" | |
File "src/batUnix.mli", line 1672, characters 45-64: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getnameinfo Couldn't find "Unix" | |
File "src/batUnix.mli", line 1651, characters 54-71: | |
Warning: Failed to resolve reference unresolvedroot(Unix).addr_info Couldn't find "Unix" | |
File "src/batUnix.mli", line 1646, characters 57-69: | |
Warning: Failed to resolve reference unresolvedroot(Unix).bind Couldn't find "Unix" | |
File "src/batUnix.mli", line 1647, characters 15-34: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getaddrinfo Couldn't find "Unix" | |
File "src/batUnix.mli", line 1635, characters 36-55: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getaddrinfo Couldn't find "Unix" | |
File "src/batUnix.mli", line 1569, characters 29-43: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 1569, characters 8-21: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 1559, characters 4-28: | |
Warning: Failed to resolve reference unresolvedroot(Unix).establish_server Couldn't find "Unix" | |
File "src/batUnix.mli", line 1544, characters 48-71: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_connection Couldn't find "Unix" | |
File "src/batUnix.mli", line 1532, characters 21-40: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).flush Couldn't find "Pervasives" | |
File "src/batUnix.mli", line 1517, characters 12-30: | |
Warning: Failed to resolve reference unresolvedroot(Unix).setsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1513, characters 12-30: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1509, characters 12-30: | |
Warning: Failed to resolve reference unresolvedroot(Unix).setsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1504, characters 12-30: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1501, characters 12-30: | |
Warning: Failed to resolve reference unresolvedroot(Unix).setsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1498, characters 12-30: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1486, characters 22-46: | |
Warning: Failed to resolve reference unresolvedroot(Unix).setsockopt_float Couldn't find "Unix" | |
File "src/batUnix.mli", line 1485, characters 50-74: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt_float Couldn't find "Unix" | |
File "src/batUnix.mli", line 1479, characters 22-47: | |
Warning: Failed to resolve reference unresolvedroot(Unix).setsockopt_optint Couldn't find "Unix" | |
File "src/batUnix.mli", line 1478, characters 50-75: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt_optint Couldn't find "Unix" | |
File "src/batUnix.mli", line 1465, characters 40-64: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt_error Couldn't find "Unix" | |
File "src/batUnix.mli", line 1471, characters 22-44: | |
Warning: Failed to resolve reference unresolvedroot(Unix).setsockopt_int Couldn't find "Unix" | |
File "src/batUnix.mli", line 1470, characters 50-72: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt_int Couldn't find "Unix" | |
File "src/batUnix.mli", line 1459, characters 22-40: | |
Warning: Failed to resolve reference unresolvedroot(Unix).setsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1458, characters 50-68: | |
Warning: Failed to resolve reference unresolvedroot(Unix).getsockopt Couldn't find "Unix" | |
File "src/batUnix.mli", line 1411, characters 23-37: | |
Warning: Failed to resolve reference unresolvedroot(Unix).sendto Couldn't find "Unix" | |
File "src/batUnix.mli", line 1411, characters 6-18: | |
Warning: Failed to resolve reference unresolvedroot(Unix).send Couldn't find "Unix" | |
File "src/batUnix.mli", line 1410, characters 35-51: | |
Warning: Failed to resolve reference unresolvedroot(Unix).recvfrom Couldn't find "Unix" | |
File "src/batUnix.mli", line 1410, characters 20-32: | |
Warning: Failed to resolve reference unresolvedroot(Unix).recv Couldn't find "Unix" | |
File "src/batUnix.mli", line 1306, characters 8-35: | |
Warning: Failed to resolve reference unresolvedroot(Unix).inet_addr_of_string Couldn't find "Unix" | |
File "src/batUnix.mli", line 1154, characters 38-50: | |
Warning: Failed to resolve reference unresolvedroot(Unix).time Couldn't find "Unix" | |
File "src/batUnix.mli", line 1149, characters 46-58: | |
Warning: Failed to resolve reference unresolvedroot(Unix).time Couldn't find "Unix" | |
File "src/batUnix.mli", line 1145, characters 46-58: | |
Warning: Failed to resolve reference unresolvedroot(Unix).time Couldn't find "Unix" | |
File "src/batUnix.mli", line 1142, characters 12-24: | |
Warning: Failed to resolve reference unresolvedroot(Unix).time Couldn't find "Unix" | |
File "src/batUnix.mli", line 1078, characters 36-53: | |
Warning: Failed to resolve reference unresolvedroot(Sys).set_signal Couldn't find "Sys" | |
File "src/batUnix.mli", line 1078, characters 18-31: | |
Warning: Failed to resolve reference unresolvedroot(Sys).signal Couldn't find "Sys" | |
File "src/batUnix.mli", line 1042, characters 20-33: | |
Warning: Failed to resolve reference unresolvedroot(Unix).lseek Couldn't find "Unix" | |
File "src/batUnix.mli", line 1037, characters 17-30: | |
Warning: Failed to resolve reference unresolvedroot(Unix).lockf Couldn't find "Unix" | |
File "src/batUnix.mli", line 949, characters 13-35: | |
Warning: Failed to resolve reference unresolvedroot(Unix).create_process Couldn't find "Unix" | |
File "src/batUnix.mli", line 926, characters 62-87: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_full Couldn't find "Unix" | |
File "src/batUnix.mli", line 926, characters 37-51: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 926, characters 23-36: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 921, characters 24-49: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_full Couldn't find "Unix" | |
File "src/batUnix.mli", line 916, characters 58-78: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process Couldn't find "Unix" | |
File "src/batUnix.mli", line 916, characters 33-47: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 916, characters 19-32: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 911, characters 49-69: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process Couldn't find "Unix" | |
File "src/batUnix.mli", line 911, characters 24-38: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 911, characters 10-23: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 907, characters 39-63: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_out Couldn't find "Unix" | |
File "src/batUnix.mli", line 907, characters 14-28: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 902, characters 35-59: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_out Couldn't find "Unix" | |
File "src/batUnix.mli", line 902, characters 10-24: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 898, characters 38-61: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_in Couldn't find "Unix" | |
File "src/batUnix.mli", line 898, characters 14-27: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 893, characters 34-57: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_in Couldn't find "Unix" | |
File "src/batUnix.mli", line 893, characters 10-23: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 888, characters 3-33: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_args_full Couldn't find "Unix" | |
File "src/batUnix.mli", line 887, characters 43-68: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_full Couldn't find "Unix" | |
File "src/batUnix.mli", line 882, characters 3-28: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_args Couldn't find "Unix" | |
File "src/batUnix.mli", line 881, characters 43-63: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process Couldn't find "Unix" | |
File "src/batUnix.mli", line 876, characters 3-32: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_args_out Couldn't find "Unix" | |
File "src/batUnix.mli", line 875, characters 43-67: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_out Couldn't find "Unix" | |
File "src/batUnix.mli", line 870, characters 3-31: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_args_in Couldn't find "Unix" | |
File "src/batUnix.mli", line 869, characters 43-66: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_in Couldn't find "Unix" | |
File "src/batUnix.mli", line 861, characters 15-40: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_args Couldn't find "Unix" | |
File "src/batUnix.mli", line 851, characters 12-41: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_args_out Couldn't find "Unix" | |
File "src/batUnix.mli", line 845, characters 38-53: | |
Warning: Failed to resolve reference unresolvedroot(Stdlib).flush Couldn't find "Stdlib" | |
File "src/batUnix.mli", line 842, characters 12-40: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_args_in Couldn't find "Unix" | |
File "src/batUnix.mli", line 827, characters 26-40: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 827, characters 4-18: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 816, characters 30-44: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 816, characters 16-29: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 814, characters 15-35: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process Couldn't find "Unix" | |
File "src/batUnix.mli", line 805, characters 26-40: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 805, characters 4-18: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 795, characters 30-45: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 794, characters 17-31: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 793, characters 49-64: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 793, characters 34-48: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 791, characters 12-36: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_out Couldn't find "Unix" | |
File "src/batUnix.mli", line 784, characters 70-84: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 781, characters 12-31: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).flush Couldn't find "Pervasives" | |
File "src/batUnix.mli", line 776, characters 12-35: | |
Warning: Failed to resolve reference unresolvedroot(Unix).open_process_in Couldn't find "Unix" | |
File "src/batUnix.mli", line 769, characters 70-83: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 702, characters 8-33: | |
Warning: Failed to resolve reference unresolvedroot(Unix).set_close_on_exec Couldn't find "Unix" | |
File "src/batUnix.mli", line 692, characters 8-28: | |
Warning: Failed to resolve reference unresolvedroot(Unix).set_nonblock Couldn't find "Unix" | |
File "src/batUnix.mli", line 643, characters 18-32: | |
Warning: Failed to resolve reference unresolvedroot(Unix).access Couldn't find "Unix" | |
File "src/batUnix.mli", line 536, characters 40-53: | |
Warning: Failed to resolve reference unresolvedroot(Unix).fstat Couldn't find "Unix" | |
File "src/batUnix.mli", line 536, characters 22-35: | |
Warning: Failed to resolve reference unresolvedroot(Unix).lstat Couldn't find "Unix" | |
File "src/batUnix.mli", line 536, characters 8-20: | |
Warning: Failed to resolve reference unresolvedroot(Unix).stat Couldn't find "Unix" | |
File "src/batUnix.mli", line 535, characters 25-42: | |
Warning: Failed to resolve reference unresolvedroot(Unix).ftruncate Couldn't find "Unix" | |
File "src/batUnix.mli", line 535, characters 4-20: | |
Warning: Failed to resolve reference unresolvedroot(Unix).truncate Couldn't find "Unix" | |
File "src/batUnix.mli", line 534, characters 4-17: | |
Warning: Failed to resolve reference unresolvedroot(Unix).lseek Couldn't find "Unix" | |
File "src/batUnix.mli", line 496, characters 12-24: | |
Warning: Failed to resolve reference unresolvedroot(Unix).stat Couldn't find "Unix" | |
File "src/batUnix.mli", line 490, characters 36-48: | |
Warning: Failed to resolve reference unresolvedroot(Unix).stat Couldn't find "Unix" | |
File "src/batUnix.mli", line 450, characters 26-39: | |
Warning: Failed to resolve reference unresolvedroot(Unix).lseek Couldn't find "Unix" | |
File "src/batUnix.mli", line 419, characters 57-64: | |
Warning: Failed to resolve reference unresolvedroot(Unix) Couldn't find "Unix" | |
File "src/batUnix.mli", line 410, characters 13-27: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 406, characters 8-22: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 405, characters 14-28: | |
Warning: Failed to resolve reference unresolvedroot(output) Couldn't find "output" | |
File "src/batUnix.mli", line 399, characters 13-26: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 389, characters 8-22: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 388, characters 14-27: | |
Warning: Failed to resolve reference unresolvedroot(input) Couldn't find "input" | |
File "src/batUnix.mli", line 317, characters 17-33: | |
Warning: Failed to resolve reference unresolvedroot(Unix).openfile Couldn't find "Unix" | |
File "src/batUnix.mli", line 256, characters 47-59: | |
Warning: Failed to resolve reference unresolvedroot(Unix).fork Couldn't find "Unix" | |
File "src/batUnix.mli", line 256, characters 22-35: | |
Warning: Failed to resolve reference unresolvedroot(Unix)._exit Couldn't find "Unix" | |
File "src/batUnix.mli", line 252, characters 41-58: | |
Warning: Failed to resolve reference unresolvedroot(Stdlib).at_exit Couldn't find "Stdlib" | |
File "src/batUnix.mli", line 251, characters 26-39: | |
Warning: Failed to resolve reference unresolvedroot(Unix)._exit Couldn't find "Unix" | |
File "src/batUnix.mli", line 251, characters 10-24: | |
Warning: Failed to resolve reference unresolvedroot(Stdlib).exit Couldn't find "Stdlib" | |
File "src/batUnix.mli", line 225, characters 12-24: | |
Warning: Failed to resolve reference unresolvedroot(Unix).wait Couldn't find "Unix" | |
File "src/batUnix.mli", line 213, characters 12-26: | |
Warning: Failed to resolve reference unresolvedroot(Unix).execve Couldn't find "Unix" | |
File "src/batUnix.mli", line 209, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(Unix).execv Couldn't find "Unix" | |
File "src/batUnix.mli", line 205, characters 12-25: | |
Warning: Failed to resolve reference unresolvedroot(Unix).execv Couldn't find "Unix" | |
File "src/batUnix.mli", line 195, characters 14-29: | |
Warning: Failed to resolve reference unresolvedroot(Unix).waitpid Couldn't find "Unix" | |
File "src/batUnix.mli", line 186, characters 53-59: | |
Warning: Failed to resolve reference unresolvedroot(Sys) Couldn't find "Sys" | |
File "src/batUnix.mli", line 150, characters 35-48: | |
Warning: Failed to resolve reference unresolvedroot(Sys).getenv Couldn't find "Sys" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batSeq.mli", line 684, characters 39-46: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 109, character 2 | |
Failed to resolve reference unresolvedroot(Lazy) Couldn't find "Lazy" | |
File "src/batSeq.mli", line 208, characters 52-69: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 109, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).(=) Couldn't find "Pervasives" | |
File "src/batLazyList.mli", line 353, characters 38-48: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 96, character 2 | |
Failed to resolve reference unresolvedroot(HashMap) Couldn't find "HashMap" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 72, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 72, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batString.mli", line 1040, characters 4-25: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 72, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batString.mli", line 967, characters 28-49: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 72, character 2 | |
Failed to resolve reference unresolvedroot(Hashtbl).MakeSeeded Couldn't find "MakeSeeded" | |
File "src/batString.mli", line 966, characters 4-26: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 72, character 2 | |
Failed to resolve reference unresolvedroot(Hashtbl).seeded_hash Couldn't find "seeded_hash" | |
File "src/batString.mli", line 335, characters 4-25: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 72, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batMap.mli", line 920, characters 27-37: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 51, character 2 | |
Failed to resolve reference unresolvedroot(BatPMap) Couldn't find "BatPMap" | |
File "src/batInterfaces.mli", line 49, characters 28-49: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 51, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).compare Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batList.mli", line 877, characters 4-25: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 40, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).compare Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batArray.mli", line 350, characters 43-64: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 19, character 2 | |
Failed to resolve reference unresolvedroot(Pervasives).compare Couldn't find "Pervasives" | |
File "src/batArray.mli", line 219, character 63 to line 220, character 9: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 19, character 2 | |
Failed to resolve reference unresolvedroot( | |
fsum) Couldn't find "\nfsum" | |
File "src/batPervasives.mli", line 566, character 51 to line 567, character 20: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot( | |
String).backwards Couldn't find "\nString" | |
File "src/batPervasives.mli", line 368, characters 38-71: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).output_binary_float Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 362, characters 38-69: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).output_binary_int Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 356, characters 12-36: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).input_char Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 342, characters 27-53: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).really_input Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 317, characters 20-38: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(open_ininstead) Couldn't find "open_ininstead" | |
File "src/batPervasives.mli", line 314, characters 30-55: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in_bin Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 314, characters 4-25: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 308, characters 37-58: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 305, characters 12-33: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).open_in Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 255, characters 4-36: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).input_binary_float Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 248, characters 4-34: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(Pervasives).input_binary_int Parent_sig: Unresolved module path unresolvedroot(Stdlib) (Lookup failure (root module): Stdlib) | |
File "src/batPervasives.mli", line 210, characters 19-38: | |
Warning: While resolving the expansion of include at File "src/batteriesExceptionless.ml", line 3, character 0 | |
While resolving the expansion of include at File "src/batteries.ml", line 196, character 0 | |
Failed to resolve reference unresolvedroot(open_outinstead) Couldn't find "open_outinstead" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment