Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

added this stupid complex bug to Bugs.md

Browse source
This commit is contained in:
sebastian 2023-03-28 21:52:09 +02:00
parent 9e6fe454ce
commit 7c5041d270
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/TypeChecker/Bugs.md
View file

@ -36,3 +36,13 @@ main = case \x. x of {
_ => 0; _ => 0;
}; };
``` ```
# Inference should not depend on order
This one is really tough, strangely
Spent many hours on this so far
```hs
main = id 0 ;
id x = x;
```