Mercurial > urweb
comparison src/monoize.sml @ 1567:5691ec310618
Basis.null
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 06 Oct 2011 09:50:40 -0400 |
parents | e1f5d9c4cc20 |
children | f403e129c276 |
comparison
equal
deleted
inserted
replaced
1566:7328dfeb7c0f | 1567:5691ec310618 |
---|---|
2853 val (e2, fm) = monoExp (env, st, fm) e2 | 2853 val (e2, fm) = monoExp (env, st, fm) e2 |
2854 in | 2854 in |
2855 ((L'.ESetval (e1, e2), loc), fm) | 2855 ((L'.ESetval (e1, e2), loc), fm) |
2856 end | 2856 end |
2857 | 2857 |
2858 | L.EFfi ("Basis", "null") => ((L'.EPrim (Prim.String ""), loc), fm) | |
2859 | |
2858 | L.EFfiApp ("Basis", "classes", [s1, s2]) => | 2860 | L.EFfiApp ("Basis", "classes", [s1, s2]) => |
2859 let | 2861 let |
2860 val (s1, fm) = monoExp (env, st, fm) s1 | 2862 val (s1, fm) = monoExp (env, st, fm) s1 |
2861 val (s2, fm) = monoExp (env, st, fm) s2 | 2863 val (s2, fm) = monoExp (env, st, fm) s2 |
2862 in | 2864 in |