Translate.hs revision f048743937a289ac3fa13eae464d7f6bfee474a3
df14233e629298598736976c5bfcf4a31873745fabModule : $Header$
df14233e629298598736976c5bfcf4a31873745fabCopyright : (c) University of Cambridge, Cambridge, England
df14233e629298598736976c5bfcf4a31873745fab adaption (c) Till Mossakowski, Uni Bremen 2002-2005
df14233e629298598736976c5bfcf4a31873745fabLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
df14233e629298598736976c5bfcf4a31873745fabMaintainer : maeder@tzi.de
df14233e629298598736976c5bfcf4a31873745fabStability : provisional
df14233e629298598736976c5bfcf4a31873745fabPortability : portable
df14233e629298598736976c5bfcf4a31873745fabtranslate 'Id' to Isabelle strings
df14233e629298598736976c5bfcf4a31873745fab ( showIsaConstT, showIsaConstIT, showIsaTypeT, transConstStringT
df14233e629298598736976c5bfcf4a31873745fab , mkIsaConstT, mkIsaConstIT, transString, isaPrelude, toAltSyntax
df14233e629298598736976c5bfcf4a31873745fabimport qualified Common.Lib.Map as Map
df14233e629298598736976c5bfcf4a31873745fabimport qualified Common.Lib.Set as Set
df14233e629298598736976c5bfcf4a31873745fabimport qualified Common.Lib.Rel as Rel
preTypes = Map.fromList
preConsts = Map.fromList
[(HsHOLCF_thy, Set.insert "fliftbin" (consts holcfS)),
(MainHC_thy, foldr Set.insert (consts mainS)
(precMap, mx) = Rel.toPrecMap $ prec_annos ga
(precList, erg) = if isInfix i then case Map.lookup i precMap of
(l, r) = case Map.lookup i $ assoc_annos ga of
$ Map.lookup i m