Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Refine hole in type signature to function type #1379

Merged
merged 3 commits into from
Jul 15, 2022
Merged

Refine hole in type signature to function type #1379

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
339bb4e
infer hole in type from pattern
janmasrovira Jul 11, 2022
6a3d1bf
Refine hole in signature when patterns are found
janmasrovira Jul 12, 2022
6e3fc08
fix
janmasrovira Jul 12, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
infer hole in type from pattern
  • Loading branch information
@janmasrovira
janmasrovira committed Jul 15, 2022
commit 339bb4e6915dd062d42622f7b1fb49e2242c7528
4 changes: 2 additions & 2 deletions src/Juvix/Syntax/MicroJuvix/Error/Types.hs
View file
Original file line number Diff line number Diff line change
@@ -9,8 +9,8 @@ import Juvix.Syntax.MicroJuvix.Language
-- not match the type of the inductive being matched
data WrongConstructorType = WrongConstructorType
{ _wrongCtorTypeName :: Name,
_wrongCtorTypeExpected :: Name,
_wrongCtorTypeActual :: Name,
_wrongCtorTypeExpected :: InductiveName,
_wrongCtorTypeActual :: InductiveName,
_wrongCtorTypeFunName :: Name
}