要解决ANTLR4在处理SML语法中的正整数字面量时出现的问题，可以尝试以下解决方法：

1. 确保ANTLR4的语法规则正确定义了正整数字面量。在ANTLR4的语法文件中，可以使用正则表达式或其他方式定义整数的格式。例如，可以使用以下规则来定义正整数字面量：

   INT: [1-9][0-9]*; // 匹配正整数
   

2. 检查词法分析器中是否正确地将输入的字符序列分割成词法单元。ANTLR4的词法分析器负责将输入字符串分割成词法单元，以供语法分析器使用。确保词法单元正确地识别正整数字面量。

   fragment DIGIT: [0-9];
   INT: [1-9] DIGIT*;
   

3. 在语法分析器中，确保正确地使用正整数字面量的规则。根据SML语法的需求，可能需要在特定的语法规则中使用正整数字面量。例如，可以在变量赋值的规则中使用正整数字面量：

   assignment : ID '=' INT;
   

4. 检查ANTLR4生成的语法分析器代码是否正确处理了正整数字面量。在生成的语法分析器代码中，ANTLR4会将输入字符串解析为抽象语法树。确保生成的代码正确地处理了正整数字面量的语法规则。

以上是一些可能的解决方法，具体的解决方案可能因为语法规则和代码实现的细节而有所不同。如果问题仍然存在，建议提供更具体的错误信息和相关代码的示例，以便能够提供更准确的解决方案。