Zilin Chen
Zilin Chen
**Comment by [lim060](https://github.csiro.au/lim060)** _Thu Jul 23 17:32:28 2015_ ---- Testcase 1: ``` ML f: -> f x = let x' = (x | A b -> if b then A...
**Comment by [lim060](https://github.csiro.au/lim060)** _Fri Dec 11 12:14:50 2015_ ---- Current development branch: [crefine-hotfix](/jalim/bilby/tree/crefine-hotfix)
It won't. I hope the dargent implementation can subsume the changes I have to make in the code base for it. (I try to be lazy, to line up with...
Hmmm. I see. If I wrote `e -> (store_st, e)` in the second pattern it will infer.
Ahh, typo. So does it really matter which one it guesses? Any minimal type that doesn't introduce inconsistency should be ok for this purpose?
Quite annoying --- is there a way to generate a meaningful error message for that?
In that case you mentioned, it makes sense to emit an error -- if you don't say what the type is, you cannot do `_` in patter matching.
It's extracted from bilby. It's possible to add some annotation but in general, the patterns could be large (consequently the types) and with several levels of pattern matching, it requires...
Looks like a fare trick. After applying that trick, I still got lots of leftovers, which does NOT consist of loops or exhaustive constraints. I need to study more on...
Not sure that's the case, as `pass_ticket_e31.cognet` also suffers from the same problem.