git.iko.soy/project-m36
on master help sign in
fix Day type constructor
commit536b19ffcb9eb9c6be1db46bcf6a1de68514bc6f authorAgentM <agentm@themactionfaction.com> dateThu 24 Mar 2016, 12:51 (11 years ago) parent79de2e2
2 files changed+2−2
compare with master
unifiedsplit
ProjectM36/DataTypes/Basic.hs+1−1 ProjectM36/DataTypes/Day.hs+1−1
ProjectM36/DataTypes/Basic.hs+1−1
@@ -7,7 +7,7 @@ import ProjectM36.Base
77basicTypeConstructorMapping :: TypeConstructorMapping
88basicTypeConstructorMapping = primitiveTypeConstructorMapping ++ moreTypes
99 where
10− moreTypes = [(ADTypeConstructorDef "Day" ["a"],
10+ moreTypes = [(ADTypeConstructorDef "Day" [],
1111 [DataConstructorDef "Day" [DataConstructorDefTypeConstructorArg (PrimitiveTypeConstructor "Int" intAtomType)]]),
1212 (ADTypeConstructorDef "Maybe" ["a"],
1313 [DataConstructorDef "Nothing" [],
ProjectM36/DataTypes/Day.hs+1−1
@@ -8,7 +8,7 @@ import Data.Time.Calendar
88import qualified Data.Map as M
99
1010dayAtomType :: AtomType
11−dayAtomType = ConstructedAtomType "Day" (M.singleton "a" intAtomType)
11+dayAtomType = ConstructedAtomType "Day" M.empty
1212
1313dayFunctions :: AtomFunctions
1414dayFunctions = HS.fromList [