GHC将明确的记录更新称为不明确
数据 R(右) = MkR1(千分之一) { foo公司 :: 国际 }
| MkR2(平方米) { 酒吧 :: 国际 }
数据 S公司 = MkS公司 { foo公司 :: 国际 , 酒吧 :: 国际 }
废话 x个 = x个 { foo公司 = 5 , 酒吧 = 6 }
划痕.hs:37:10:错误:
*记录更新不明确,需要类型签名
*在表达式中:x{foo=5,bar=6}
在“blah”的方程式中:blah x=x{foo=5,bar=6}
|
37 |废话x=x{foo=5,bar=6}
| ^^^^^^^^^^^^^^^^^^^^^^