git.iko.soy/project-m36
on master help sign in
fix Day type constructor
536b19fAgentM
ProjectM36/DataTypes/Basic.hs+1−1
compare with master
unifiedsplit
@@ -7,7 +7,7 @@ import ProjectM36.Base
7basicTypeConstructorMapping :: TypeConstructorMapping
7basicTypeConstructorMapping :: TypeConstructorMapping
8basicTypeConstructorMapping = primitiveTypeConstructorMapping ++ moreTypes
8basicTypeConstructorMapping = primitiveTypeConstructorMapping ++ moreTypes
9 where
9 where
10− moreTypes = [(ADTypeConstructorDef "Day" ["a"],
10+ moreTypes = [(ADTypeConstructorDef "Day" [],
11 [DataConstructorDef "Day" [DataConstructorDefTypeConstructorArg (PrimitiveTypeConstructor "Int" intAtomType)]]),
11 [DataConstructorDef "Day" [DataConstructorDefTypeConstructorArg (PrimitiveTypeConstructor "Int" intAtomType)]]),
12 (ADTypeConstructorDef "Maybe" ["a"],
12 (ADTypeConstructorDef "Maybe" ["a"],
13 [DataConstructorDef "Nothing" [],
13 [DataConstructorDef "Nothing" [],
ProjectM36/DataTypes/Day.hs+1−1
@@ -8,7 +8,7 @@ import Data.Time.Calendar
8import qualified Data.Map as M
8import qualified Data.Map as M
9
9
10dayAtomType :: AtomType
10dayAtomType :: AtomType
11−dayAtomType = ConstructedAtomType "Day" (M.singleton "a" intAtomType)
11+dayAtomType = ConstructedAtomType "Day" M.empty
12
12
13dayFunctions :: AtomFunctions
13dayFunctions :: AtomFunctions
14dayFunctions = HS.fromList [
14dayFunctions = HS.fromList [