compcomp/utils, branch master Composable compiler https://git.tomsmeding.com/compcomp/atom?h=master 2020-07-24T20:32:20Z Move Context to cc-ast in preparation for backend parametrisation 2020-07-24T20:32:20Z Tom Smeding tom.smeding@gmail.com 2020-07-24T20:27:13Z urn:sha1:96c29e2a5e2c97d2c40c46222d4593c366de953e Correct source range handling 2020-07-24T17:14:02Z Tom Smeding tom.smeding@gmail.com 2020-07-24T16:34:39Z urn:sha1:50fe19860cf143de939671926118ba0cf8c9f35c Working basic type checker using Algorithm W 2020-07-24T17:02:21Z Tom Smeding tom.smeding@gmail.com 2020-07-24T16:34:28Z urn:sha1:5cb19c0df3f838965c1100731f9118f28f50796f Use Pretty for errors and expressions 2020-07-23T18:15:15Z Tom Smeding tom.smeding@gmail.com 2020-07-23T18:15:15Z urn:sha1:39ea4ac3a4b7663882a83f2ada43c8238f087d9b Initial state I found the code in 2020-06-10T17:59:13Z Tom Smeding tom.smeding@gmail.com 2020-06-10T17:59:03Z urn:sha1:bc52411ae2ed26cab1d5086ae6df68f23ebbd052