Chapter 4: how do included .spec files work? about liquidhaskell-tutorial

[grncdr]

I'm also curious about this. It seems like the liquid checker ships a bunch of includes itself, but there's no mention of how to add your own.

[ranjitjhala]

Hi @christetreault and @grncdr --

sorry this seems to have slipped through the cracks.

The .spec files are somewhat in flux, but here's how to use them:

https://github.com/ucsd-progsys/liquidhaskell/blob/master/README.md#modules-without-code

Can you let me know if the above makes sense? And if so, I'll add it (or an improvement) to the
tutorial?

Many thanks!

Ranjit.

[grncdr]

That explanation works for me. It might be a good idea to put more emphasis on the fact that LH has ships includes as part of it's prelude, since I tried copying the definitions in the tutorial only to find out they conflicted with builtin ones.

[christetreault]

Sounds good to me. Since they're in flux, I'll refrain from adding them to the book. Let me know if you'd like me to go ahead and do it anyway.

[ranjitjhala]

@chris -- sure, can you add it for now? We can take it out later as needed.
Several folks have asked about this so I think we should put it in. Thanks!

On Mon, Dec 28, 2015 at 8:27 AM, Chris Tetreault [email protected]
wrote:

Sounds good to me. Since they're in flux, I'll refrain from adding them to
the book. Let me know if you'd like me to go ahead and do it anyway.

—
Reply to this email directly or view it on GitHub
#28 (comment)
.

[christetreault]

OK, I'll put it on my list.

[christetreault]

Should be closed by #31.

[ranjitjhala]

Thanks @christetreault !

[grncdr]

I took a look at #28, that's a very nice improvement :)
On 31 Dec 2015 7:28 pm, "Ranjit Jhala" [email protected] wrote:

Closed #28
#28.

—
Reply to this email directly or view it on GitHub
#28 (comment)
.