suica 2017-03-05 11:45:28
lyxia: thanks! one issue I'm having conceptually is how I can make it parse "ab|cd" as `Alt (Seq (Sym 'a') (Sym 'b')) (Seq (Sym 'c') (Sym 'd'))` -- it'll always do the greedy thing where it parses to `Just (Seq "ab", "|cd")` (removing Sym's for clarity), with "|cd" as the unparsed remainder.
Cale 2017-03-05 11:46:06
suica: Add something to the parser which insists that you're at the end
Cale 2017-03-05 11:46:30
oh, hadn't seen your parser type
Cale 2017-03-05 11:46:48
If you use Maybe like that, you can't have backtracking, so it's trickier
suica 2017-03-05 11:47:23
hmm I see
lyxia 2017-03-05 11:47:26
You might be able to reorder your rules to make it work...
lyxia 2017-03-05 11:48:01
flip the two alternatives in expr
lyxia 2017-03-05 11:48:28
oh no, single is in nonseq
suica 2017-03-05 11:55:10
yeah, it's difficult to think about for me -- hard to figure out what limitations are imposed by my parser type
lyxia 2017-03-05 11:57:57
You'll need a way to test whether you're at the end of the string, because you can always append more stuff after a regexp to get a longer regexp
athan 2017-03-05 12:26:15
How's the situation for uploading haddock documentation to hackage? I can do it with Neil Mitchell's `neil` utility, but I think the hyperlinks are off - should I just wait for hackage to do it?
Welkin 2017-03-05 12:26:32
hackage will fail :O
Welkin 2017-03-05 12:26:37
upload it yourself
athan 2017-03-05 12:26:44
u_u right on
athan 2017-03-05 12:26:46
thanks Welkin
lyxia 2017-03-05 12:31:08
it's working okay now
robertkennedy 2017-03-05 12:37:11
I've started writing a paper, but I have no idea if the research I'm working on is original. How can I feel confident that I'm adding something?
robertkennedy 2017-03-05 12:38:08
Well the research is original; hopefully you know what word I'm looking for.
Tuplanolla 2017-03-05 12:38:19
It's an eternal problem, robertkennedy.
monochrom 2017-03-05 12:38:28
exhaustive search of the literature.
robertkennedy 2017-03-05 12:42:19
If you don't mind me trying to spark recognition: is there a function `get` and a constructor `:&&:` so `get (True :&&: "test" :&&: 'y') == 'y'` and `get (True :&&: "test" :&&: 'y') == "test"`
Tuplanolla 2017-03-05 12:43:11
I don't get it.
Koterpillar 2017-03-05 12:43:16
robertkennedy: what's the difference between those two expressions?
monochrom 2017-03-05 12:43:17
I think you have typos.
