Add tests

[paf31]

No description provided.

[nicodelpiano]

• Would it be a bad idea to export missingSingle?
  Because I'm thinking on write some tests for it specifically, instead of using check. Although I guess it isn't neat to export that function...
• Also, when I want to write examples of binders or alternatives, I have to cast the type to make sure that the literal type they wrap has an Eq instance. Is that OK?

Tagged "Cons" $ Var Nothing :: Binder String

• Do you think it will be useful to make some tests for the examples in /examples?

Thanks!

[paf31]

If you're worried about exporting too much stuff, you could add an Internal module, and not expose it in the cabal file.

What do you mean you need to cast things?

[nicodelpiano]

If I use, for example: Tagged "Cons" $ Var Nothing just to make a test for that single case, I need to make the type explicit : Tagged "Cons" $ Var Nothing :: Binder String to ensure that the lit (Binder lit) is an instance of Eq. But, never mind!

[paf31]

Oh, gotcha. Yeah, that's fine I think. You could use () or anything really.

[nicodelpiano]

👍 !

[nicodelpiano]

By the way, when you find some time to do it, could you see the examples I have written in Examples?

[paf31]

They look great, but I still think we should get rid of constructor arities and encode things using product binders instead.

[paf31]

How's this going?

[paf31]

Maybe try to consolidate your branches into master before tomorrow's deadline as well?

[nicodelpiano]

Sounds great, I'm just finishing some tests and I'll make a commit.

[nicodelpiano]

Could you check the tests so far? I'll add a lot more, but just to see if it's OK. Maybe in a future version we could use a better framework. Thanks!

[paf31]

They look good. I would just consolidate everything into master and make a release (maybe once the Maybe Bool thing is changed?)

[nicodelpiano]

Yes, I just forgot to add the new files! 😄