1 patch for repository http://personal.cis.strath.ac.uk/~conor/pub/Frank: Fri Apr 27 04:34:19 CEST 2012 Andrea Vezzosi * add other-modules New patches: [add other-modules Andrea Vezzosi **20120427023419 Ignore-this: 817c4e46abf6605386b081ff9325ffab ] hunk ./Frank.cabal 20 build-depends: base, void, newtype, mtl, she extensions: TypeOperators, KindSignatures, GADTs, TypeSynonymInstances, FlexibleInstances, GeneralizedNewtypeDeriving, TupleSections, FunctionalDependencies, PatternGuards ghc-options: -F -pgmF she + other-modules: + Check + Elab + ElabMonad + Gubbins + Pa + Run + Setup + Syntax + Template + Types + Unify + Yuck source-repository head type: darcs Context: [cabal stuff conor@strictlypositive.org**20120427000420] [remark on nom and peek conor@strictlypositive.org**20120426225011] [pure only where needed conor@strictlypositive.org**20120426223855] [subtle effect polymorphism issues; key logging conor@strictlypositive.org**20120426223340] [many tweaks and more testing conor@strictlypositive.org**20120426210152] [guff conor@strictlypositive.org**20120424173044] [web page conor@strictlypositive.org**20120424172616] [more chat conor@strictlypositive.org**20120424172412] [LF at the end conor@strictlypositive.org**20120424144942] [Line becomes Main conor@strictlypositive.org**20120424144754] [running conor@strictlypositive.org**20120424144503] [fix silly unification bug conor@strictlypositive.org**20120424121644] [simple effect polymorphism conor@strictlypositive.org**20120424115759] [a bit of handling conor@strictlypositive.org**20120424095859] [added handlers conor@strictlypositive.org**20120424094633] [.fr -> .fk conor@strictlypositive.org**20120423213411] [can check a line conor@strictlypositive.org**20120423213317] [typechecking simple things conor@strictlypositive.org**20120423193521] [test.fr conor@strictlypositive.org**20120422204936] [lhs checking conor@strictlypositive.org**20120422204251] [template tweaks and pat resolution conor@strictlypositive.org**20120422192737] [template stuff conor@strictlypositive.org**20120422183557] [checking type level stuff conor@strictlypositive.org**20120422155854] [syntax conor@strictlypositive.org**20120422152134] [parser combinators conor@strictlypositive.org**20120422150630] [unify conor@strictlypositive.org**20120422145014] [frank types conor@strictlypositive.org**20120422124029] Patch bundle hash: d45765737c84297c1a0c73708d7870f1e1ed877b