ityonemo / ityonemo/mavis

type macro isn't quite right about some things

Open
#149 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Elixir
Stars
110
Forks
4
PR merge metrics
No merged PRs in 30d

Description

type(%{"foo" => "bar"})
->
type(%{optional("foo") => "bar"})

should crash

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reproducing the two type macro expressions in the issue and trace the macro's handling of map types and optional keys. The issue is done when the optional-key form produces the expected crash without changing the behavior of the regular map type.

Written by the indexing model from the issue text.

Assessment

Tech stack
elixir
Domain
tooling
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.