fix `nil?' type inference
[bpt/guile.git] / module / language / cps / type-fold.scm
2015-04-21 Robin Templetonfix `nil?' type inference
2015-04-01 Andy WingoRemove "free" field of $fun
2015-04-01 Andy WingoReplace $letrec with $rec
2015-01-26 Andy WingoMerge remote-tracking branch 'origin/stable-2.0'
2015-01-22 Andy WingoMerge commit '5b7632331e7551ac202bbaba37c572b96a791c6e'
2015-01-22 Andy WingoMerge commit 'ed72201a795ac1c8d6c0288b6bb710f2bd0ebd9c'
2015-01-22 Andy WingoMerge commit '01a301d1b606b84d986b735049e7155d2f4cd6aa'
2015-01-22 Andy WingoMerge commit '894d0b894daae001495c748b3352cd79918d3789'
2015-01-22 Andy WingoMerge commit '5943a62042432b86d757200ef595d7aebb5c9bac'
2015-01-22 Andy WingoMerge commit '37b1453032488de582175270d1b3a1653ea81457'
2015-01-22 Andy WingoMerge commit 'cdcba5b2f6270de808e51b3b933374170611b91d'
2015-01-22 Andy WingoMerge commit '5d971db802eaa8038db17e1aa5b4c69452739744'
2015-01-22 Andy WingoMerge commit '47ca15c7dffd14a82e75c1a0aeeaf2e77f3fa5b4'
2015-01-22 Andy WingoMerge commit '7c433cbbce83bc9f2f9967afba00bbb68e312657'
2015-01-22 Andy WingoMerge commit '5fac1a7ada362d78f13143acbc0ceca7f2f101de'
2015-01-22 Andy WingoMerge commit '8cf2a7ba7432d68b9a055d29f18117be70375af9'
2015-01-22 Andy WingoMerge commit '81d2c84674f03f9028f26474ab19d3d3f353881a'
2015-01-22 Andy WingoMerge commit 'fdd319e9bd4121d844662d3d8ccc69b462b60840'
2015-01-22 Andy WingoMerge commit 'a7bbba05838cabe2294f498e7008e1c51db6d664'
2015-01-22 Andy WingoMerge commit '5af307de43e4b65eec7f235b48a8908f2a00f134'
2015-01-22 Andy WingoMerge commit 'b1451ad859183ae48c624d19ec144306bd2d3e3a'
2014-09-30 Mark H WeaverMerge branch 'stable-2.0'
2014-08-24 Andy WingoSeparate &boolean type into &true and &false
2014-07-04 Andy Wingologbit? strength reduction
2014-07-04 Andy WingoType-driven strength reduction
2014-07-04 Andy WingoSmall type-fold cleanup
2014-07-03 Andy WingoCompiler emits br-if-logtest
2014-06-22 Andy WingoRewrite type inference pass to use namesets
2014-06-01 Andy WingoRemove $kif
2014-06-01 Andy WingoAdd $branch expression type
2014-05-15 Andy WingoLimit impact of O(n^2) type analysis by imposing limit
2014-05-15 Andy WingoType and range inference for CPS