Clean程序编译报错‘cannot unify demanded type with offered type’求助

问题根源分析 #

你的代码存在两个核心问题导致类型检查失败：

• 列表模式匹配语法错误：Clean中列表的模式匹配不需要用方括号包裹。你写的[_:_]、[x:xs]会被编译器识别为「包含一个列表元素的列表」（即[[Char]]类型），但函数参数是[Char]，直接导致类型不匹配，编译器预期ParseResult Real，错误的模式却让它推断出[Char] -> ParseResult Real。
• ParseOk构造器参数缺失：ParseResult定义里ParseOk需要两个参数——解析成功的值，以及剩余未解析的字符。你在第一个分支matchYes [] t _中只传了t，缺少剩余字符参数，引发类型推断混乱。

修正后的代码 #

module app

import StdEnv

Start = "Hello, world!"

:: ParseResult a
    = ParseOk a [Char]
    | ParseFail [Char]

match :: [Char] Real -> ([Char] -> ParseResult Real)
match x y = matchYes x y

matchYes :: [Char] Real [Char] -> ParseResult Real
matchYes [] t rest          = ParseOk t rest  -- 补充剩余字符参数
matchYes (_:_) _ []         = ParseFail "Unexpected end of input"  -- 修正列表模式，添加错误信息
matchYes (x:xs) t (y:ys)    = if (x == y) (matchYes xs t ys) (ParseFail "Character mismatch")

关键修改说明 #

1. 把列表模式[_:_]、[x:xs]改为(_:_), (x:xs)，符合Clean的列表模式匹配语法。
2. 给ParseOk补充剩余字符参数rest，匹配ParseResult的构造器定义。
3. 给ParseFail替换成有意义的错误字符串，方便调试（不影响类型检查，但提升可读性）。

执行nitrile build即可通过类型检查。

内容的提问来源于stack exchange，提问作者for1096