xldenis / ill Goto Github PK

Its currently possible to clash internal names or even override them since there are no naming related checks.

Hi Xavier,

Your project looks really interesting and I was hoping to build it locally. But when I tried a stack build I got

Cloning 0bcbd51ee6c134bd9871451e973b28ceff17fb05 from https://github.com/xldenis/llvm-hs.git
Cloning into '/Users/sseefried/all-code/2016/scratch/ill/.stack-work/downloaded/cLTbhEDj4oqp'...
remote: Counting objects: 7092, done.
remote: Total 7092 (delta 0), reused 0 (delta 0), pack-reused 7092
Receiving objects: 100% (7092/7092), 1.42 MiB | 85.00 KiB/s, done.
Resolving deltas: 100% (4506/4506), done.
Checking connectivity... done.
Please ensure that commit 0bcbd51ee6c134bd9871451e973b28ceff17fb05 exists within https://github.com/xldenis/llvm-hs.git

I had a look and it doesn't seem this commit does exist in that repo.

Instead of tying operators to traits that come with laws / etc... the idea would be to create a single-purpose trait for each operator that it would desugar to. This would make it possible to attach the || and && operators to the semigroup instances for Bool.

Some form of tta-expansion should probably be done... Right now there's a bug where if a function is defined like:

a :: b -> b -> b
fn a()
  binaryFunc
end

it will (correctly) typecheck but then fail during code generation.