Merge branch 'renamer' into tcocase
commit6b261b6037ad1c9bc7176df9e07011180ea41cad
authorPhil Freeman <paf31@cantab.net>
dateSun 3 Aug 2014, 10:32 (12 years ago)
parentdcb9cce6e760dc
examples/passing/DeepCase.pursnew file+14
@@ -0,0 +1,14 @@
1+module Main where
2+
3+import Debug.Trace
4+import Control.Monad.Eff
5+import Control.Monad.ST
6+
7+f x y =
8+ let
9+ g = case y of
10+ 0 -> x
11+ x -> 1 + x * x
12+ in g + x + y
13+
14+main = print $ f 1 10
src/Language/PureScript/Renamer.hs+2−2
@@ -158,8 +158,8 @@ renameInValue v = return v
158158-- Renames within case alternatives.
159159--
160160renameInCaseAlternative :: CaseAlternative -> Rename CaseAlternative
161−renameInCaseAlternative (CaseAlternative bs g v) =
162− CaseAlternative <$> mapM renameInBinder bs <*> maybeM renameInValue g <*> renameInValue v
161+renameInCaseAlternative (CaseAlternative bs g v) =
162+ newScope $ CaseAlternative <$> mapM renameInBinder bs <*> maybeM renameInValue g <*> renameInValue v
163163
164164-- |
165165-- Renames within binders.