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

Jump to bottom

Rewrite the todolist example to remove the frees dependency #4

Closed
cb372 opened this issue May 6, 2020 · 1 comment · Fixed by #12
Closed

Rewrite the todolist example to remove the frees dependency #4

cb372 opened this issue May 6, 2020 · 1 comment · Fixed by #12
Assignees
@dmarticus

Comments

@cb372
Copy link
Member

cb372 commented May 6, 2020

This is currently blocking us from upgrading the examples to Scala 2.13.

I had a look at it but it's non-trivial so I'll just make an issue for now. I was hoping we could just copy the necessary .scala files from the frees repo, but they have freestyle @tagless and @module macro annotations.
@rafaparadela
Copy link
Member

Assigned to @dmarticus

@dmarticus dmarticus mentioned this issue Jun 30, 2020
Merged
@dmarticus dmarticus mentioned this issue Jul 7, 2020
Merged
dmarticus pushed a commit that referenced this issue Jul 8, 2020
Merge pull request #12 from higherkindness/dylan/issue4-rewrite-todol…
821c567 
…ist-lib

Rewrite the todolist example to remove the frees dependency #4: Part 2 -- the rest of the changes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dmarticus dmarticus

Labels
None yet
Projects
None yet
Milestone
No milestone
3 participants
@cb372 @rafaparadela @dmarticus