Twan van Laarhoven [Sat, 26 Jan 2008 19:47:59 +0000 (19:47 +0000)]
Fixed warnings in coreSyn/ExternalCore
Twan van Laarhoven [Sat, 26 Jan 2008 19:44:26 +0000 (19:44 +0000)]
Fixed warnings in simplCore/OccurAnal
Twan van Laarhoven [Sat, 26 Jan 2008 19:42:55 +0000 (19:42 +0000)]
Fixed warnings in basicTypes/BasicTypes
Twan van Laarhoven [Sat, 26 Jan 2008 19:32:09 +0000 (19:32 +0000)]
Fixed warnings in basicTypes/Literal, except for incomplete pattern matches
Twan van Laarhoven [Sat, 26 Jan 2008 19:28:17 +0000 (19:28 +0000)]
Fixed warnings in basicTypes/Id
Twan van Laarhoven [Sat, 26 Jan 2008 19:19:39 +0000 (19:19 +0000)]
Fixed warnings in basicTypes/Var
Twan van Laarhoven [Sat, 26 Jan 2008 19:15:01 +0000 (19:15 +0000)]
Fixed warnings in basicTypes/Name
Twan van Laarhoven [Sat, 26 Jan 2008 19:07:35 +0000 (19:07 +0000)]
Fixed warnings in types/Coercion, except for incomplete pattern matches
Twan van Laarhoven [Sat, 26 Jan 2008 01:28:07 +0000 (01:28 +0000)]
Fixed warnings in coreSyn/MkExternalCore, except for incomplete pattern matches
Twan van Laarhoven [Fri, 25 Jan 2008 16:24:18 +0000 (16:24 +0000)]
Fixed warnings in coreSyn/PprExternalCore
Twan van Laarhoven [Fri, 25 Jan 2008 16:18:00 +0000 (16:18 +0000)]
Fixed warnings in coreSyn/CoreUtils, except for incomplete pattern matches
Twan van Laarhoven [Fri, 25 Jan 2008 16:13:08 +0000 (16:13 +0000)]
Fixed warnings in coreSyn/CoreUnfold
Twan van Laarhoven [Fri, 25 Jan 2008 16:10:51 +0000 (16:10 +0000)]
Fixed warnings in coreSyn/CorePrep
Twan van Laarhoven [Fri, 25 Jan 2008 16:10:02 +0000 (16:10 +0000)]
Fixed warnings in coreSyn/CoreSubst
Twan van Laarhoven [Fri, 25 Jan 2008 16:08:09 +0000 (16:08 +0000)]
Fixed warnings in coreSyn/CoreLint
Twan van Laarhoven [Fri, 25 Jan 2008 16:07:16 +0000 (16:07 +0000)]
Fixed warnings in coreSyn/CoreFVs, except for incomplete pattern matches
Twan van Laarhoven [Fri, 25 Jan 2008 16:04:38 +0000 (16:04 +0000)]
Fixed warnings in types/Class
Twan van Laarhoven [Fri, 18 Jan 2008 16:55:59 +0000 (16:55 +0000)]
Fix warnings in coreSyn/CoreTidy
Twan van Laarhoven [Fri, 18 Jan 2008 16:55:06 +0000 (16:55 +0000)]
Fix warnings in coreSyn/CoreSyn
Ian Lynagh [Fri, 25 Jan 2008 17:43:47 +0000 (17:43 +0000)]
Strictness tweaks
Ian Lynagh [Fri, 25 Jan 2008 14:58:47 +0000 (14:58 +0000)]
Parser tweak
Ian Lynagh [Fri, 25 Jan 2008 14:34:21 +0000 (14:34 +0000)]
A couple more parser tweaks
Ian Lynagh [Thu, 24 Jan 2008 18:31:49 +0000 (18:31 +0000)]
Make comb[234] strict
Ian Lynagh [Thu, 24 Jan 2008 18:31:42 +0000 (18:31 +0000)]
Strictness tweaks
Ian Lynagh [Thu, 24 Jan 2008 16:52:14 +0000 (16:52 +0000)]
Tell happy to be strict
Ian Lynagh [Thu, 24 Jan 2008 15:58:27 +0000 (15:58 +0000)]
Make the Parser Monad's return strict
Ian Lynagh [Thu, 24 Jan 2008 15:20:00 +0000 (15:20 +0000)]
Get a bit of sharing
Ian Lynagh [Thu, 24 Jan 2008 15:12:23 +0000 (15:12 +0000)]
Make sL strict in /both/ arguments to L
Ian Lynagh [Thu, 24 Jan 2008 15:01:37 +0000 (15:01 +0000)]
A touch more strictness in the parser
Ian Lynagh [Thu, 24 Jan 2008 14:53:11 +0000 (14:53 +0000)]
Add a bit of strictness to the parser
Ian Lynagh [Wed, 23 Jan 2008 21:19:17 +0000 (21:19 +0000)]
Use nilFS
Ian Lynagh [Wed, 23 Jan 2008 17:41:53 +0000 (17:41 +0000)]
Whitespace only
andy@galois.com [Sat, 26 Jan 2008 21:06:07 +0000 (21:06 +0000)]
Fix #2062: foldr1 problem in hpc tool
simonpj@microsoft.com [Fri, 25 Jan 2008 16:31:01 +0000 (16:31 +0000)]
Fix do-notation so that it works with -DDEBUG
simonpj@microsoft.com [Fri, 25 Jan 2008 10:46:16 +0000 (10:46 +0000)]
Be a little keener to inline
This is really a bug. A saturated call in an "interesting" context
should inline, but there was a strange "n_val_args > 0" condition, which
was stopping it. Reported by Roman.
Ian Lynagh [Thu, 24 Jan 2008 14:18:00 +0000 (14:18 +0000)]
Fix the build
Work around various problems caused by some of the monadification patches
not being applied.
Twan van Laarhoven [Thu, 17 Jan 2008 22:05:53 +0000 (22:05 +0000)]
Replace ioToTcRn with liftIO
Twan van Laarhoven [Thu, 17 Jan 2008 21:58:35 +0000 (21:58 +0000)]
Remove unused custom versions of monad combinators from IOEnv
Twan van Laarhoven [Thu, 17 Jan 2008 21:57:52 +0000 (21:57 +0000)]
Remove unused custom versions of monad combinators from UniqSupply
Twan van Laarhoven [Thu, 17 Jan 2008 21:52:33 +0000 (21:52 +0000)]
Replace remaining uses of ioToIOEnv by liftIO, remove ioToIOEnv
Twan van Laarhoven [Thu, 17 Jan 2008 21:50:36 +0000 (21:50 +0000)]
Monadify iface/BuildTyCl: use return
Twan van Laarhoven [Thu, 17 Jan 2008 21:49:38 +0000 (21:49 +0000)]
Monadify iface/TcIface: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:44:41 +0000 (21:44 +0000)]
Monadify iface/MkIface: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:42:33 +0000 (21:42 +0000)]
Monadify iface/LoadIface: use return and liftIO
Twan van Laarhoven [Thu, 17 Jan 2008 21:40:41 +0000 (21:40 +0000)]
Monadify iface/IfaceEnv: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:38:50 +0000 (21:38 +0000)]
Monadify typecheck/TcRnMonad: use return, standard monad functions and liftIO
Twan van Laarhoven [Thu, 17 Jan 2008 21:36:36 +0000 (21:36 +0000)]
Monadify typecheck/TcEnv: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:33:52 +0000 (21:33 +0000)]
Monadify typecheck/TcRnDriver: use return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:33:07 +0000 (21:33 +0000)]
Monadify typecheck/TcMatches: use return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:32:42 +0000 (21:32 +0000)]
Monadify typecheck/TcMType: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:30:40 +0000 (21:30 +0000)]
Monadify typecheck/TcInstDcls: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:28:22 +0000 (21:28 +0000)]
Monadify typecheck/TcHsType: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:22:00 +0000 (21:22 +0000)]
Monadify typecheck/TcSimplify: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:19:11 +0000 (21:19 +0000)]
Monadify typecheck/TcSplice: use do and return
Twan van Laarhoven [Thu, 17 Jan 2008 21:17:46 +0000 (21:17 +0000)]
Monadify typecheck/TcTyClsDecls: use return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:15:58 +0000 (21:15 +0000)]
Monadify typecheck/TcDefaults: use return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:15:07 +0000 (21:15 +0000)]
Monadify typecheck/TcDeriv: use return
Twan van Laarhoven [Thu, 17 Jan 2008 21:14:39 +0000 (21:14 +0000)]
Monadify typecheck/TcClassDcl: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:10:35 +0000 (21:10 +0000)]
Monadify typecheck/TcBinds: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:08:18 +0000 (21:08 +0000)]
Monadify typecheck/TcArrows: use do and return
Twan van Laarhoven [Thu, 17 Jan 2008 21:06:55 +0000 (21:06 +0000)]
Monadify typecheck/Inst: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 21:02:13 +0000 (21:02 +0000)]
Monadify typecheck/TcUnify: use do, return and standard monad functions
there may be some accidental tab->space conversion
Twan van Laarhoven [Thu, 17 Jan 2008 20:55:05 +0000 (20:55 +0000)]
Monadify typecheck/TcTyFuns: use standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:54:23 +0000 (20:54 +0000)]
Monadify typecheck/TcPat: use return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:53:07 +0000 (20:53 +0000)]
Monadify typecheck/TcRules: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:49:34 +0000 (20:49 +0000)]
Monadify typecheck/TcForeign: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:46:03 +0000 (20:46 +0000)]
Monadify typecheck/TcExpr: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:43:30 +0000 (20:43 +0000)]
Monadify specialise/Specialise: use do, return, standard monad functions and MonadUnique
Twan van Laarhoven [Thu, 17 Jan 2008 20:38:42 +0000 (20:38 +0000)]
Monadify specialise/SpecConstr: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:30:42 +0000 (20:30 +0000)]
Monadify stgSyn/StgLint
- made LintM a newtype instead of a type synonym
- use do, return and standard monad functions
- use MaybeT where `thenMaybeL` was used
- removed custom versions of monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:26:19 +0000 (20:26 +0000)]
Monadify stgSyn/CoreToStg
- made LneM a newtype instead of a type synonym
- use do, return and standard monad functions
- removed custom versions of monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 20:21:44 +0000 (20:21 +0000)]
Remove generic monad function from State, it was moved to MonadUtils
Twan van Laarhoven [Thu, 17 Jan 2008 20:20:51 +0000 (20:20 +0000)]
Added MaybeT monad transformer to utils/Maybes
Twan van Laarhoven [Thu, 17 Jan 2008 20:19:53 +0000 (20:19 +0000)]
Removed unused Maybe functions, use the standard Maybe monad instead
Twan van Laarhoven [Thu, 17 Jan 2008 20:18:12 +0000 (20:18 +0000)]
MonadIO instance for IOEnv
Twan van Laarhoven [Thu, 17 Jan 2008 20:03:54 +0000 (20:03 +0000)]
Monadify simplCore/SimplMonad: custom monad functions are no longer needed
Twan van Laarhoven [Thu, 17 Jan 2008 20:02:28 +0000 (20:02 +0000)]
Monadify simplCore/SimplMonad: use MonadUnique instance instead of custom functions
Twan van Laarhoven [Thu, 17 Jan 2008 19:59:58 +0000 (19:59 +0000)]
Monadify simplCore/SetLevels: use do, return, standard monad functions and MonadUnique
Twan van Laarhoven [Thu, 17 Jan 2008 19:56:25 +0000 (19:56 +0000)]
Monadify simplCore/SimplUtils: use do, return, standard monad functions and MonadUnique
Twan van Laarhoven [Thu, 17 Jan 2008 19:54:08 +0000 (19:54 +0000)]
Monadify simplCore/Simplify: use do and return
Twan van Laarhoven [Thu, 17 Jan 2008 19:52:55 +0000 (19:52 +0000)]
Monadify simplCore/SimplEnv: use standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 19:51:49 +0000 (19:51 +0000)]
Monadify simplCore/SimplCore: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 19:44:17 +0000 (19:44 +0000)]
Monadify profiling/SCCfinal
- change monad type synonym into a newtype
- use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 19:31:54 +0000 (19:31 +0000)]
Monadify coreSyn/CorePrep: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 19:08:23 +0000 (19:08 +0000)]
Monadify rename/RnTypes: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 19:00:33 +0000 (19:00 +0000)]
Monadify rename/RnPat: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 18:58:37 +0000 (18:58 +0000)]
Monadify rename/RnNames: use return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 18:53:30 +0000 (18:53 +0000)]
seqMaybe is more commonly known as mplus
Twan van Laarhoven [Thu, 17 Jan 2008 18:43:54 +0000 (18:43 +0000)]
Monadify rename/RnBinds: use do, return and standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 18:04:49 +0000 (18:04 +0000)]
Monadify stranal/StrictAnal: use the State monad instead of a custom thing
Twan van Laarhoven [Thu, 17 Jan 2008 18:00:22 +0000 (18:00 +0000)]
Monadify stranal/WwLib: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 17:56:16 +0000 (17:56 +0000)]
Added MonadUnique class for monads that have a unique supply
Twan van Laarhoven [Thu, 17 Jan 2008 17:50:07 +0000 (17:50 +0000)]
Monadify stranal/WorkWrap: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 17:46:56 +0000 (17:46 +0000)]
Added Applicative and Functor instances for State monad
Twan van Laarhoven [Thu, 17 Jan 2008 17:44:32 +0000 (17:44 +0000)]
Monadify deSugar/DsMonad: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 17:41:30 +0000 (17:41 +0000)]
Monadify deSugar/Desugar: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 17:38:56 +0000 (17:38 +0000)]
Monadify deSugar/DsUtils: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 17:32:05 +0000 (17:32 +0000)]
Monadify deSugar/DsListComp: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 17:28:43 +0000 (17:28 +0000)]
Monadify deSugar/DsForeign: use do, return, applicative, standard monad functions
Twan van Laarhoven [Thu, 17 Jan 2008 17:22:28 +0000 (17:22 +0000)]
Monadify deSugar/DsGRHSs: use do, return, applicative, standard monad functions