Replace String with Text about liquid-fixpoint

[gridaphobe]

Although, since we're already tied to GHC, we might as well just use FastString

[ranjitjhala]

I have wanted to do this for a LONG time.

Best not to tie fixpoint to GHC, so text is much better.

On Thu, Jun 26, 2014 at 2:50 AM, Eric Seidel [email protected]
wrote:

Although, since we're already tied to GHC, we might as well just use
FastString
http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/FastString.html#t:FastString

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

-- Ranjit.

[gridaphobe]

Good point, I thought fixpoint was actually tied to GHC somehow since it's
got ghc-7.6.3 as a hard dependency, but it's not actually used anywhere...
I'll remove the dependency.

On Wed, Jun 25, 2014 at 11:32 PM, Ranjit Jhala [email protected]
wrote:

I have wanted to do this for a LONG time.

Best not to tie fixpoint to GHC, so text is much better.

On Thu, Jun 26, 2014 at 2:50 AM, Eric Seidel [email protected]
wrote:

Although, since we're already tied to GHC, we might as well just use
FastString
<
http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/FastString.html#t:FastString

Reply to this email directly or view it on GitHub
<
#37 (comment)

.

-- Ranjit.

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