Mercurial > urweb
comparison src/elab_print.sml @ 1075:0657e5adc938
Convert to task syntax
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 15 Dec 2009 10:19:05 -0500 |
parents | b2311dfb3158 |
children | c316ca3c9ec6 |
comparison
equal
deleted
inserted
replaced
1074:d89f98f0b4bb | 1075:0657e5adc938 |
---|---|
797 space, | 797 space, |
798 p_con env c] | 798 p_con env c] |
799 | DStyle (_, x, n) => box [string "style", | 799 | DStyle (_, x, n) => box [string "style", |
800 space, | 800 space, |
801 p_named x n] | 801 p_named x n] |
802 | DInitializer e => box [string "initializer", | 802 | DTask (e1, e2) => box [string "task", |
803 space, | 803 space, |
804 p_exp env e] | 804 p_exp env e1, |
805 space, | |
806 string "=", | |
807 space, | |
808 p_exp env e2] | |
805 | 809 |
806 and p_str env (str, _) = | 810 and p_str env (str, _) = |
807 case str of | 811 case str of |
808 StrConst ds => box [string "struct", | 812 StrConst ds => box [string "struct", |
809 newline, | 813 newline, |