diff options
| author | Graydon Hoare <[email protected]> | 2010-09-15 16:10:08 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-09-15 16:10:08 -0700 |
| commit | 5c82cb42e797599036746461eddf2bec1685eaf3 (patch) | |
| tree | f4a79464c688a7002c26620522d40b770bd63e04 /src/boot/me/semant.ml | |
| parent | Add pretty-printing for pexps. (diff) | |
| download | rust-5c82cb42e797599036746461eddf2bec1685eaf3.tar.xz rust-5c82cb42e797599036746461eddf2bec1685eaf3.zip | |
Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into later stages. Fixes to pexp pretty printer.
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 09576219..42df903b 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1326,6 +1326,7 @@ let rec atom_type (cx:ctxt) (at:Ast.atom) : Ast.ty = | Ast.ATOM_literal {node=(Ast.LIT_nil); id=_} -> Ast.TY_nil | Ast.ATOM_literal {node=(Ast.LIT_mach_int (m,_)); id=_} -> Ast.TY_mach m | Ast.ATOM_lval lv -> lval_ty cx lv + | Ast.ATOM_pexp _ -> bug () "Semant.atom_type on ATOM_pexp" ;; let expr_type (cx:ctxt) (e:Ast.expr) : Ast.ty = |