Aleksey Kliger (λgeek) comments

Results 129 comments of


                                            Aleksey Kliger (λgeek)

Unification function

Unbound itself does not have a unification function. It is of course possible to write one over terms built up with unbound. I suspect that a complete first-order unification algorithm...

Copy tickets from Unbound's Google Code bug tracker.

[Open issues](https://code.google.com/p/replib/issues/list): - ~~3 - RepLib~~ - ~~4 - RepLib~~ - ~~6 - RepLib~~ - ~~8 - RepLib~~ - 11 - unbound - derive alpha-respecting `Ord` instance. (done?) - 12...

Use `-undefined dynamic_lookup` in profiler LDFLAGS

@monojenkins build

Use `-undefined dynamic_lookup` in profiler LDFLAGS

@akoeplinger should we backport this?

Conflicts and failed restrictions beneath 'Choice' nodes aren't reported

I should probably make an example that illustrates this.

Conflicts and failed restrictions beneath 'Choice' nodes aren't reported

Well like I said, I need to build a test case to show the problem(s) first - right now this is just my reading of the code. I think it's...

Join points at return?

hmm. i'm not entirely convinced we'll always have conflicts if we just treat return as a fallthru. or perhaps we will but they might be difficult to understand. but it...

Join points at return?

Yea I think I basically agree with this. One property that we should have is that we enjoy an `abstraction property`: it should be sound to abstract out any `CallTree`...

Is simplifyCallTree is wrong on Choice Nop t ?

So never taking a lock and possibly-always taking a lock are the same? What class of bugs will this detect? I think the join point at the end of the...

Poor performance on real-world codebase

Hey, I kind of got distracted for a while, but one of the last things that I pushed to `language-c` about six months ago was `NFData` instances for all the...