The question with

extension

is with

class

and

fun

. When your extensions are defined in terms of

class

or

fun

the compiler would need to create a new instance before surrounding the block:

interface Monoid<A>

extension class OptionMonoid<A>(with Monoid<A>) : Monoid<Option<A>>

fun doWithOptionMonoid(with Monoid<Option<A>>) = TODO()

The compiler would need to desugar this as:

fun doWithOptionMonoid($ev: Monoid<Option<A>> = new OptionMonoid(AMonoid)) = with ($ev) { TODO() }

That is provide default values for arguments based on new instances since a given instance may also use

with

to declare dependencies in other type classes.

I'm gonna need to digest that

@raulraja so how does this start? it seems like there's a good understanding of how it's all probably going to work, is it just starting the implementation?

@jacob if you mean the type classes proposal, yes, we are just missing the impl. The compiler code base is huge and we have not found much documentation so it's been so far finding needles on a haystack and little progress but we hope that changes soon. If anybody wants to collaborate or help you are all welcome at https://github.com/arrow-kt/kotlin

I'm having some interesting issues with Ank

When I run

gradle runAnk

it fails by compiling the entire README.md (not just the script fragments)

Even for other docs like Either

Any ideas?

does it fail with an exception or just hangs forever?

normally when the code in the snippets uses coroutines in some way in the underlying implementation the ScriptEngine which Ank uses to compile and evaluate snippets chokes and hangs forever

if it fails with an exception paste the trace here and I may be able to help 🙂

@Aedan Smith uploaded a file: Untitled

It's like it ran

kotlinc

on the README.md not on the code snippets

can you please post your readme? maybe we can catch the error there

also, do you have like twitter or something?

we’ve been talking about release 0.7.2 with arrow-recursion and couldn’t link back at you

It's not my readme, the issue is still happening without it.

Also https://twitter.com/aedans1

some upvote

@Aedan Smith I just compiled correctly from the latest master

Yeah, I'm pretty sure it's some problem with my setup, but I have no idea what

I'll keep working on it though

windows?

Wsl

Alright, I managed to hack together a solution

Still not sure what the problem is, but hey, at least it works now

Is there a way to use annotations (e.g.

@higherkind

) with Ank?