about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-05-24Stop showing a 'cyclic import' message for unresolved importsMarijn Haverbeke-4/+5
2011-05-24Improve nonexistent-module error messageTim Chevalier-1/+1
2011-05-23Improve error message for ambiguous polymorphic typesTim Chevalier-0/+5
2011-05-23Typecheck @[] correctlyTim Chevalier-0/+25
2011-05-23Add line breaks to typestate error messagesTim Chevalier-4/+4
2011-05-21rustc: Add a FIXME to expr_alt type checkingBrian Anderson-0/+2
2011-05-21rustc: Remove unnecessary pushdown from check_expr in the expr_if caseBrian Anderson-12/+7
2011-05-21rustc: If all if branches are _|_, then the entire if is _|_Brian Anderson-3/+1
2011-05-21rustc: Remove outdated commentBrian Anderson-2/+0
2011-05-21rustc: Allow if expressions to failBrian Anderson-14/+31
2011-05-21rustc: Allow alt expressions to failBrian Anderson-3/+9
2011-05-21rustc: Assign ty_bot to nodes in write::bot_ty. Remove FIXMEBrian Anderson-2/+1
2011-05-21rustc: Blocks shouldn't try to return results for ty_botBrian Anderson-1/+2
2011-05-20Correctly check that ! functions always divergeTim Chevalier-2/+40
2011-05-20rustc: Don't write metadata for unexported itemsBrian Anderson-1/+4
2011-05-20Merge remote-tracking branch 'graydon/master' into typestate_4Tim Chevalier-23/+245
2011-05-20Error instead of warning for missing returns. Huzzah!Tim Chevalier-4/+2
2011-05-20More work on anonymous objects.Lindsey Kuper-23/+245
2011-05-20Change node_ann hash table to a vector in typestateTim Chevalier-12/+31
2011-05-20rm unnecessary loggingTim Chevalier-9/+1
2011-05-20rm unused importTim Chevalier-1/+0
2011-05-20Add a "fail" after a while(true) loop in two placesTim Chevalier-2/+2
2011-05-20Make controlflow part of a function typeTim Chevalier-91/+136
2011-05-20Translated start_task, but it fails on spp == align_down(spp)Eric Holk-0/+42
2011-05-20Called the new_task upcall. There are refcount issues though.Eric Holk-1/+23
2011-05-20A little closure towards translating spawn. We're about ready to do the upcal...Eric Holk-4/+47
2011-05-20Added some comments to trans_spawn that sort of explains what needs to happenEric Holk-1/+15
2011-05-20Started working on translating spawn. It correctly generates the task name in...Eric Holk-1/+41
2011-05-20Twiddle glue inlining heuristics. ~10% win on build time.Graydon Hoare-9/+25
2011-05-20Elide a bunch of do-nothing take glue.Graydon Hoare-1/+1
2011-05-20Remove redundant secondary declaration of glue.Graydon Hoare-12/+0
2011-05-20rustc: Move the interner to a new module intended to be used for general data...Patrick Walton-2/+2
2011-05-19rustc: Translate else if blocks the same as other blocks. Closes #388Brian Anderson-9/+12
2011-05-19rustc: Find the correct outer scope in trans_blockBrian Anderson-1/+5
2011-05-19Revert 106216d67358f13f4be296ee59f711a1f1566bbe.Rafael Ávila de Espíndola-39/+14
2011-05-19After all that, give up on "complex" version of type_has_pointers and just ma...Graydon Hoare-59/+64
2011-05-19Move the ty_item_table into ty::ctxt.items, move variant_info to ty, and star...Graydon Hoare-275/+290
2011-05-19Remove type_glue.rs, don't think it's going to work.Graydon Hoare-104/+0
2011-05-19rustc: Unify variables using a single type instead of keeping a list and doin...Patrick Walton-44/+106
2011-05-19Move type cache and node type table into type context.Graydon Hoare-349/+254
2011-05-19Finish name collision testing.Marijn Haverbeke-7/+131
2011-05-19No functional change. Largely removed the native module/non-native module dis...Paul Stansifer-85/+45
2011-05-19Typestate checking code no longer uses fold -- only walk.Tim Chevalier-40/+9
2011-05-19Eliminate explicit recursion in tstate.states (walk does that now),Tim Chevalier-58/+3
2011-05-19Add ann as an argument to visit_fnTim Chevalier-26/+30
2011-05-19make trans compileTim Chevalier-1/+1
2011-05-19tidy tstate.collect_localsTim Chevalier-28/+3
2011-05-19Rewrite pre_postconditions to use walk instead of foldTim Chevalier-15/+7
2011-05-19Add ident as an argument to visit_fn (typestate wants it)Tim Chevalier-28/+24
2011-05-19Trim importsTim Chevalier-7/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-16 13:51:07 +0000