jbrown215/binah

Parsing invariants w/ strings fails

Closed this issue · 2 comments

jbrown215 commented 
User
  username {v:Text | v != ""}

fails

binah: Error Line 2: username {v:Text | v != ""}
(line 1, column 29):
unexpected """

jluningp commented

Should be fixed by my latest commit.

The LiquidHaskell book describes integers as being the only constants allowed in predicates, but clearly this is not the case!

(Do I need to link to a commit? Also do I close this or do you? I've never dealt with github issues before.)

jbrown215 commented

You can close it :)

Also, if you write fixes #ISSUENUMBER in the commit message GitHub will automatically close it