From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 8 Jul 2010 09:32:23 +0000 (+0000)
Subject: Win32 getProcessElapsedTime: use a higher-resolution time source
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1fb0f13a164146121689e25d6a18d8f75fe56fb9;hp=1fb0f13a164146121689e25d6a18d8f75fe56fb9;p=ghc-hetmet.git

Win32 getProcessElapsedTime: use a higher-resolution time source
QueryPerformanceCounter() on Windows gives much better resolution than
GetSystemTimeAsFileTime().
---