2002 pr_typ (INFX (1, X)) ty1, |
2002 pr_typ (INFX (1, X)) ty1, |
2003 str "->", |
2003 str "->", |
2004 pr_typ (INFX (1, R)) ty2 |
2004 pr_typ (INFX (1, R)) ty2 |
2005 ])) |
2005 ])) |
2006 (*IntInt resp. Big_int are added later when code extraction for numerals is set up*) |
2006 (*IntInt resp. Big_int are added later when code extraction for numerals is set up*) |
2007 #> add_reserved "SML" "o" (*dictionary projections use it already*) |
2007 #> fold (add_reserved "SML") ["o" (*dictionary projections use it already*), |
|
2008 "div", "mod" (*infixes*)] |
2008 #> fold (add_reserved "Haskell") [ |
2009 #> fold (add_reserved "Haskell") [ |
2009 "Prelude", "Main", "Bool", "Maybe", "Either", "Ordering", "Char", "String", "Int", |
2010 "Prelude", "Main", "Bool", "Maybe", "Either", "Ordering", "Char", "String", "Int", |
2010 "Integer", "Float", "Double", "Rational", "IO", "Eq", "Ord", "Enum", "Bounded", |
2011 "Integer", "Float", "Double", "Rational", "IO", "Eq", "Ord", "Enum", "Bounded", |
2011 "Num", "Real", "Integral", "Fractional", "Floating", "RealFloat", "Monad", "Functor", |
2012 "Num", "Real", "Integral", "Fractional", "Floating", "RealFloat", "Monad", "Functor", |
2012 "AlreadyExists", "ArithException", "ArrayException", "AssertionFailed", "AsyncException", |
2013 "AlreadyExists", "ArithException", "ArrayException", "AssertionFailed", "AsyncException", |