Skip to content

[ new ] direct dispatching of handlers using fromString#18

Open
gallais wants to merge 1 commit into
mainfrom
direct-handlers
Open

[ new ] direct dispatching of handlers using fromString#18
gallais wants to merge 1 commit into
mainfrom
direct-handlers

Conversation

@gallais

@gallais gallais commented Oct 7, 2021

Copy link
Copy Markdown
Collaborator

Pros:

  1. A function handle : cmd ~:> IO () rather than a """record"""
  2. Coverage checking works

Cons:

  1. It's hijacking the fromString mechanism
  2. It'd be nicer to have handler ["sub1", "sub2"] rather than handler "sub1 sub2"

@ohad

ohad commented Oct 8, 2021

Copy link
Copy Markdown
Owner

wow.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants