msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

readme

Browse Source
This commit is contained in:
crumbtoo
2024-04-05 15:27:19 -06:00
parent bcf6dc1951
commit acc481cd29
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
README.org
View File

@@ -71,7 +71,7 @@ Available debug flags include:
-- >>> :t let f = \x -> x in f (let f = 2 in f) -- >>> :t let f = \x -> x in f (let f = 2 in f)
-- let f = \x -> x in f (let f = 2 in f) :: Int -- let f = \x -> x in f (let f = 2 in f) :: Int
#+end_src #+end_src
For the time being, I just disabled the memoisation. This is very, very bad. For the time being, I just disabled the memoisation. This is very, very bad.
*** Closing Remarks *** Closing Remarks
Fixed by entirely rewriting the type inference algorithm :P. Memoisation is Fixed by entirely rewriting the type inference algorithm :P. Memoisation is
no longer required; the bottom-up inference a la Algorithm M was previously no longer required; the bottom-up inference a la Algorithm M was previously
@@ -99,7 +99,8 @@ For the time being, I just disabled the memoisation. This is very, very bad.
** DONE README.md -> README.org :docs: ** DONE README.md -> README.org :docs:
CLOSED: [2024-03-28 Thu 10:44] CLOSED: [2024-03-28 Thu 10:44]
** TODO [#A] ~case~ inference :feature: ** DONE [#A] ~case~ inference :feature:
CLOSED: [2024-04-05 Fri 15:26]
** DONE [#A] ADT support in Rlp/HindleyMilner.hs :feature: ** DONE [#A] ADT support in Rlp/HindleyMilner.hs :feature:
CLOSED: [2024-04-05 Fri 12:28] CLOSED: [2024-04-05 Fri 12:28]
@@ -118,7 +119,7 @@ For the time being, I just disabled the memoisation. This is very, very bad.
** TODO [#A] update architecture diagram :docs: ** TODO [#A] update architecture diagram :docs:
** TODO pattern support; everywhere [0%] :feature: ** TODO pattern support; everywhere [0%] :feature:
- [ ] in the type-checker - [-] in the type-checker
- [ ] in the desugarer - [ ] in the desugarer
** TODO [#A] G-machine visualiser :docs: ** TODO [#A] G-machine visualiser :docs: