Jan Mas Rovira

Adding the `filepath-1.4.100.0` dependency causes dependency conflicts with other dependencies. I'll freeze this issue until `filepath-1.4.100.0` is part of a stackage nightly


This would require to have scoping knowledge throughout the pipeline. Since there is no clear way to implement that and I this is not high priority I'll freeze it.

What function do you use to jump back? What function do you have bound to Meta point?

We want to investigate the possibility to support both call-by-value and call-by-name. However, it is not clear yet if we'll focus on this soon or not.

#1581 closes this

Thanks for submitting this pr @ii8. I have briefly looked at the code and I'd like to suggest some changes. Currently you've defined: ``` data PatternBind = PatternBind { _patBindName...

@ii8 In this particular case, we don't see enough reason to follow Haskell and Agda. We prefer to have it in the way that I proposed.

Another consideration, currently `x@(zero)` is allowed but `x@zero` is not. I think they should both be allowed. Currently there is not much point in allowing alias for nullary constructors. But,...

@ii8 if you can solve the merge conflicts we'll merge the branch as it is. Otherwise we'll open a new pr