Hongwei Xi

icon indicating a website link http://www.cs.bu.edu/~hwxi

icon company ATS Trustful Software, Inc. icon location Boston, Massachusetts icon location As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

Results 4 issues of Hongwei Xi

Should _alloc_td_chain be tail-recursive?

The current implementation is not.

improving the type for ehci_attach_td

fun ehci_attach_td {l: agz} ( usbd: !usb_device, td: &ehci_td_ptr l >> ehci_td_ptr l' // if successful, consumes TD -- else it does not ): #[s: int] #[l': agez | s...

Tidying up the main function

Thanks for writing this! I tidied up the main function a bit: ```ats implement main0(argc, argv) = if argc = 3 then let val c = '0' val s =...

Code used for testing

Not really an issue. Just want to inform you that the code in this repo has been copied into the following directory for the purpose of testing ATS-Postiats: https://github.com/githwxi/ATS-Postiats-test/tree/master/contrib/hwxi/Deech Cheers!