Mercurial > urweb
comparison src/expl_print.sml @ 1278:cd8d2c73ccf4
Catch a missed ReduceLocal of field projection annotations
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jun 2010 14:13:06 -0400 |
parents | 56bd4a4f6e66 |
children | b4480a56cab7 |
comparison
equal
deleted
inserted
replaced
1277:1e6a4f9d3e4a | 1278:cd8d2c73ccf4 |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008-2010, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
420 p_list_sep (box [space, string "|", space]) | 420 p_list_sep (box [space, string "|", space]) |
421 (fn (p, e) => box [p_pat env p, | 421 (fn (p, e) => box [p_pat env p, |
422 space, | 422 space, |
423 string "=>", | 423 string "=>", |
424 space, | 424 space, |
425 p_exp env e]) pes]) | 425 p_exp (E.patBinds env p) e]) pes]) |
426 | 426 |
427 | ELet (x, t, e1, e2) => box [string "let", | 427 | ELet (x, t, e1, e2) => box [string "let", |
428 space, | 428 space, |
429 string x, | 429 string x, |
430 space, | 430 space, |