jmacro 0.4.5 → 0.4.6

raw patch · 3 files changed

+7/−6 lines, 3 files

Files

• Language/Javascript/JMacro/TypeCheck.hs +1/−1
• Language/Javascript/JMacro/Types.hs +5/−4
• jmacro.cabal +1/−1

@@ -56,8 +56,8 @@ -- Basic Types and TMonad data StoreVal = SVType JType               | SVConstrained (Set Constraint)-              -- | SVFreshType Int                 deriving Show+              {- -- | SVFreshType Int -}  data TCState = TCS {tc_env :: [Map Ident JType],                     tc_vars :: Map Int StoreVal,

@@ -38,11 +38,12 @@  data Constraint = Sub JType                 | Super JType-                -- | Choice Constraint Constraint-                -- | GLB (Set JType)-                -- | LUB (Set JType)                   deriving (Eq, Ord, Read, Show, Typeable, Data)-+{-+                 | Choice Constraint Constraint+                 | GLB (Set JType)+                 | LUB (Set JType)+-} type JLocalType = ([(VarRef,Constraint)], JType)  type TypeParserState = (Int, Map String Int)

@@ -1,5 +1,5 @@ name:                jmacro-version:             0.4.5+version:             0.4.6 synopsis:            QuasiQuotation library for programmatic generation of Javascript code. description:         Javascript syntax, functional syntax, hygienic names, compile-time guarantees of syntactic correctness, limited typechecking. category:            Language