diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-07-06 08:35:31 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-07-06 08:35:31 -0400 |
commit | b7fc000f340f2be6f9c0e8f615aa4ae23ecf9d20 (patch) | |
tree | d19b9706c7ff2c9e023d8ed9a188e75d35598759 /src/jscomp.sml | |
parent | c18e3a5165c30aa0475ae938cc083d4fa7bd167d (diff) |
Add client-side Basis.now and pretty-printing of times
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r-- | src/jscomp.sml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index d8b2d661..41811e9a 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2010, Adam Chlipala +(* Copyright (c) 2008-2011, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -646,7 +646,6 @@ fun process file = val name = case Settings.jsFunc (m, x) of NONE => (EM.errorAt loc ("Unsupported FFI function " ^ m ^ "." ^ x ^ " in JavaScript"); - app (fn ((m', x'), _) => print (m' ^ "." ^ x' ^ "\n")) (Settings.allJsFuncs ()); "ERROR") | SOME s => s |