Fix #292
commit88cdb9a26bae97b464b6477fe9d7422e550d5282
authorPhil Freeman <paf31@cantab.net>
dateFri 14 Mar 2014, 18:55 (13 years ago)
parent55e092d
examples/passing/CheckSynonymBug.pursnew file+11
@@ -0,0 +1,11 @@
1+module Foo where
2+
3+ import Prelude
4+
5+ type Foo a = [a]
6+
7+ foo _ = Data.Array.length ([] :: Foo Number)
8+
9+module Main where
10+
11+main = Debug.Trace.trace "Done"
src/Language/PureScript/TypeChecker/Types.hs+1−1
@@ -746,7 +746,7 @@ check' (TypedValue checkType val ty1) ty2 = do
746746 case val' of
747747 Nothing -> throwError "Unable to check type subsumption"
748748 Just val'' -> do
749− val''' <- if checkType then check val'' ty1 else return val''
749+ val''' <- if checkType then check val'' ty1' else return val''
750750 return $ TypedValue checkType (TypedValue True val''' ty1) ty2
751751check' (Case vals binders) ret = do
752752 vals' <- mapM infer vals