Missing Static Error For Free Constructor when used in Application

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

751 stars 50 forks source link

Missing Static Error For Free Constructor when used in Application #1385

Open GuoDCZ opened 1 month ago

GuoDCZ commented 1 month ago

Expect free constructor to raise

ABCDEF not found

We got

A equals to expected type.

tested on dev 4037935

This message is shown when:

let common_ok_view = (cls: Cls.t, ok: Info.ok_pat) => {
  switch (cls, ok) {
...
  | (_, Ana(Consistent({ana, syn, _}))) when ana == syn => [
      text(":"),
      Type.view(syn),
      text("equals expected type"),
    ]

cyrus- commented 1 month ago

@GuoDCZ could you try to see if you can find a fix for this issue?