úÎVª     P(c) Harvard University 2006-2011 (c) Geoffrey Mainland 2011-2014 BSD-style*Geoffrey Mainland <mainland@cs.drexel.edu> Safe-Inferred+An 'L a' is an a with an associated  <, but this location is ignored when performing comparisons.Values that can be relocatedLocated values have a location. Locations xSource location type. Source location are all equal, which allows AST nodes to be compared modulo location information. FLocation type, consisting of a beginning position and an end position. Beginning and end positionsPosition type.4Source file name, line, column, and character offsetPosition file.Position line.Position column.Position character offset."Starting position of the location. Ending position of the location.Merge the locations of two  values.The   of a  value.A  ' with (minimal) span that includes two  values. No location.4  !"#$%&'()*+,-./0123     *    !"#$%&'()*+,-./01234        !"#$%&'()*+,-./012 srcloc-0.4.1Data.LocL RelocatablerelocLocatedlocOf locOfList IsLocationfromLocfromPosSrcLocLocNoLocPosposFileposLineposColposCoffstartPoslinePos advancePoslocStartlocEnd<-->srclocOfsrcspannoLocunLoc startLinestartCol startCoff$fRelocatableL $fLocatedL$fShowL$fOrdL$fEqL$fLocatedSrcLoc $fLocatedLoc $fLocatedPos$fLocatedMaybe $fLocated[]$fIsLocationSrcLoc$fIsLocationLoc $fReadSrcLoc $fShowSrcLoc $fOrdSrcLoc $fEqSrcLoc $fMonoidLoc$fOrdPos