Remove main, move examples to Tests.hs

tuura / plato

A DSL for asynchronous circuits specification

Other

12 stars 2 forks source link

Remove main, move examples to Tests.hs #12

Closed mvdan closed 8 years ago

mvdan commented 8 years ago

This ticks off the first two TODOs in #9.

snowleopard commented 8 years ago

Travis fails?

mvdan commented 8 years ago

Uhhhh, one sec.

mvdan commented 8 years ago

Seems like a GHC 7.8 vs 7.10 issue. My 7.10 threw a warning about that import, but 7.8 seems to require it. Weird.

mvdan commented 8 years ago

@snowleopard see https://github.com/mvdan/concepts/commit/c7867785f9f359015f10472a03e5b70adf3f860b. Any ideas?

mvdan commented 8 years ago

I'll just remove it for now.

snowleopard commented 8 years ago

Let's give better names to C-element related tests: testCElementGateLevel and testCElementProtocolLevel. I prefer not to use contractions like Proto for functions that are not frequently used.

mvdan commented 8 years ago

@snowleopard done.

snowleopard commented 8 years ago

Great, thanks!