Giters

unisonweb / unison

A friendly programming language from the future

Home Page:https://unison-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

more helpful error message for errors that occur when typechecking record field accessors

aryairani opened this issue · comments

commented

see https://discord.com/channels/862108724948500490/1200119393061969951/1238209673417588796

type CompressionMethod =
type ConnectionState = { compressionMethod: CompressionMethod}

This case would be ignored because it's already covered by the preceding case(s):
      2 | type ConnectionState = { compressionMethod: CompressionMethod}

wat?