re-modify GPSfunction.hs