Handle lambda character on Windows.

src/Obj.hs

@@ -416,6 +416,8 @@ xobjToTy (XObj (Lst [XObj Ref i t, innerTy]) _ _) = -- This enables parsing of '
      return (RefTy okInnerTy)
 xobjToTy (XObj (Lst (XObj (Sym (SymPath _ "Ref") _) _ _ : _)) _ _) =
   Nothing
+xobjToTy (XObj (Lst [XObj (Sym (SymPath path "╬╗") _) fi ft, XObj (Arr argTys) ai at, retTy]) i t) =
+  xobjToTy (XObj (Lst [XObj (Sym (SymPath path "Fn") Symbol) fi ft, XObj (Arr argTys) ai at, retTy]) i t)
 xobjToTy (XObj (Lst [XObj (Sym (SymPath path "λ") _) fi ft, XObj (Arr argTys) ai at, retTy]) i t) =
   xobjToTy (XObj (Lst [XObj (Sym (SymPath path "Fn") Symbol) fi ft, XObj (Arr argTys) ai at, retTy]) i t)
 xobjToTy (XObj (Lst [XObj (Sym (SymPath _ "Fn") _) _ _, XObj (Arr argTys) _ _, retTy]) _ _) =

src/Parsing.hs

@@ -115,7 +115,7 @@ aChar = do i <- createInfo
 
 {-# ANN validCharacters "HLint: ignore Use String" #-}
 validCharacters :: [Char]
-validCharacters = "+-*/?!><=_:"
+validCharacters = "+-*/?!><=_:\9580\9559"
 
 symbolSegment :: Parsec.Parsec String ParseState String
 symbolSegment = do sym <- Parsec.many1 validInSymbol

src/Types.hs

@@ -16,6 +16,7 @@ module Types ( TypeMappings
 
 import qualified Data.Map as Map
 import Data.Maybe (fromMaybe)
+import System.Info (os)
 import Util
 --import Debug.Trace
 
@@ -40,6 +41,10 @@ data Ty = IntTy
         | InterfaceTy
         deriving (Eq, Ord)
 
+fnOrLambda = case os of
+  "mingw32" -> "Fn"
+  _ -> "λ"
+
 instance Show Ty where
   show IntTy                 = "Int"
   show FloatTy               = "Float"
@@ -48,7 +53,7 @@ instance Show Ty where
   show BoolTy                = "Bool"
   show StringTy              = "String"
   show CharTy                = "Char"
-  show (FuncTy argTys retTy) = "(λ [" ++ joinWithComma (map show argTys) ++ "] " ++ show retTy ++ ")"
+  show (FuncTy argTys retTy) = "(" ++ fnOrLambda ++ " [" ++ joinWithComma (map show argTys) ++ "] " ++ show retTy ++ ")"
   show (VarTy t)             = t
   show UnitTy                = "()"
   show ModuleTy              = "Module"