search

zachsully / codata_examples

10 stars 0 forks source link

Wrong GHC version specified in Readme #1

Open Tritlo opened 5 years ago

Tritlo commented 5 years ago

Hey there!

The readme says that the compiler is a fork of GHC 7.4, but I hope you meant GHC 8.4!

I'm reading your paper, and it's really cool. Do you have any intention of suggesting this as an actual GHC language extension, perhaps via the GHC proposal process?

zachsully commented 5 years ago

Yes, you are correct. Thank you for letting me know.

We do plan on proposing it a as a language extension, but other work has gotten in the way lately. Your interest is motivation to look at it again.

-Zach

Matthías Páll Gissurarson notifications@github.com writes:

Hey there!

The readme says that the compiler is a fork of GHC 7.4, but I hope you meant GHC 8.4!

I'm reading your paper, and it's really cool. Do you have any intention of suggesting this as an actual GHC language extension, perhaps via the GHC proposal process?

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/zachsully/codata_examples/issues/1

Tritlo commented 5 years ago

Let me know when you do! I'd love to help iron out the kinks, if there are any.