add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus
authorAdam Megacz <megacz@cs.berkeley.edu>
Thu, 1 Sep 2011 04:37:51 +0000 (21:37 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Thu, 1 Sep 2011 04:37:51 +0000 (21:37 -0700)
commit9241ac84d10f7e6b23841da2c0765275072ad7c1
tree2f276c9adf65b07f3aa42532cbfa6fb73a65d33c
parentf22c873e99d5b371a03d249febb89195a4fda2fc
add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus
18 files changed:
compiler/deSugar/DsExpr.lhs
compiler/hetmet
compiler/hsSyn/HsExpr.lhs
compiler/hsSyn/HsSyn.lhs
compiler/hsSyn/HsTypes.lhs
compiler/hsSyn/HsUtils.lhs
compiler/parser/Lexer.x
compiler/parser/Parser.y.pp
compiler/parser/RdrHsSyn.lhs
compiler/prelude/PrelNames.lhs
compiler/prelude/TysWiredIn.lhs
compiler/rename/RnExpr.lhs
compiler/rename/RnHsSyn.lhs
compiler/rename/RnTypes.lhs
compiler/typecheck/TcExpr.lhs
compiler/typecheck/TcHsSyn.lhs
compiler/typecheck/TcHsType.lhs
compiler/types/TypeRep.lhs