index
:
rust
master
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
boot
/
me
/
semant.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Convey auto-deref judgments made in typechecker to trans layer; control the d...
Graydon Hoare
2010-07-01
1
-0
/
+2
*
Some work on teaching trans to differentiate between auto-deref and explicit-...
Graydon Hoare
2010-07-01
1
-4
/
+9
*
Implement STMT_init_box in trans, clean up some of the semant table-accessors.
Graydon Hoare
2010-07-01
1
-39
/
+23
*
Simplify types before analyzing call structure; 2 more tests compile.
Graydon Hoare
2010-07-01
1
-2
/
+4
*
Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...
Graydon Hoare
2010-06-30
1
-30
/
+30
*
Add a COMP_deref to lvals for explicit-derefs, modify typechecker to implicit...
Graydon Hoare
2010-06-30
1
-7
/
+28
*
Improve error message.
Graydon Hoare
2010-06-30
1
-2
/
+1
*
Reimplement backup scheme for handling lvals not yet resolved by typechecker.
Graydon Hoare
2010-06-30
1
-15
/
+38
*
Fix error-message typo.
Graydon Hoare
2010-06-30
1
-1
/
+1
*
Move simplified_ty from trans to semant and use it a few places.
Graydon Hoare
2010-06-30
1
-1
/
+8
*
Wrap long lines.
Graydon Hoare
2010-06-30
1
-1
/
+4
*
Initial stab at lowering mutable and exterior into the type system.
Graydon Hoare
2010-06-29
1
-78
/
+93
*
Canonicalize hashtables after running them through htab_map. Closes #77.
Graydon Hoare
2010-06-28
1
-11
/
+3
*
Some fixme-to-issue housekeeping.
Graydon Hoare
2010-06-28
1
-13
/
+11
*
Only translate or dwarf-emit items or stubs locally defined or used. Avoids i...
Graydon Hoare
2010-06-27
1
-11
/
+134
*
Add sever-glue, for missing first stage of sweep.
Graydon Hoare
2010-06-25
1
-13
/
+16
*
Emit gc glue and rearrange crate glue offsets slightly to have a regular order.
Graydon Hoare
2010-06-25
1
-0
/
+4
*
Resolve and typecheck patterns in pattern alt redux. This time featuring way...
Roy Frostig
2010-06-25
1
-9
/
+38
*
Fix output-slot handling for real. It's been broken for a long time.
Graydon Hoare
2010-06-24
1
-3
/
+3
*
Add fmt module, move out some common format helpers, add instruction-selectio...
Graydon Hoare
2010-06-24
1
-1
/
+1
*
Resolve and typecheck patterns in pattern alt.
Roy Frostig
2010-06-24
1
-0
/
+23
*
Populate tree.
Graydon Hoare
2010-06-23
1
-0
/
+1969