comparison src/jscomp.sml @ 1487:290de2dcecf6

Add client-side Basis.now and pretty-printing of times
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Jul 2011 08:35:31 -0400
parents 36f7d1debb37
children 94ef0b07066a
comparison
equal deleted inserted replaced
1486:7f8ddcf12b20 1487:290de2dcecf6
1 (* Copyright (c) 2008-2010, Adam Chlipala 1 (* Copyright (c) 2008-2011, 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 *
644 | EFfiApp (m, x, args) => 644 | EFfiApp (m, x, args) =>
645 let 645 let
646 val name = case Settings.jsFunc (m, x) of 646 val name = case Settings.jsFunc (m, x) of
647 NONE => (EM.errorAt loc ("Unsupported FFI function " 647 NONE => (EM.errorAt loc ("Unsupported FFI function "
648 ^ m ^ "." ^ x ^ " in JavaScript"); 648 ^ m ^ "." ^ x ^ " in JavaScript");
649 app (fn ((m', x'), _) => print (m' ^ "." ^ x' ^ "\n")) (Settings.allJsFuncs ());
650 "ERROR") 649 "ERROR")
651 | SOME s => s 650 | SOME s => s
652 651
653 val (e, st) = foldr (fn (e, (acc, st)) => 652 val (e, st) = foldr (fn (e, (acc, st)) =>
654 let 653 let