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