chrisdone-archive/duet
1
1
Fork 0
mirror of https://github.com/chrisdone-archive/duet.git synced 2024-12-01 15:36:46 +03:00
Code Issues Packages Projects Releases Wiki Activity

Remove demo code

Browse Source
This commit is contained in:
Chris Done 2017-04-18 18:44:49 +01:00
parent 0d4496a789
commit e65e53c204
1 changed files with 0 additions and 61 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
src/THIH.hs
View File

@ -295,67 +295,6 @@ data Scheme =
Forall [Kind] (Qualified Type) Forall [Kind] (Qualified Type)
deriving (Eq, Show) deriving (Eq, Show)
--------------------------------------------------------------------------------
-- Demo (remove later)
demo :: IO ()
demo = do
env <-
addClass
"Num"
[TypeVariable "n" StarKind]
[]
mempty {classEnvironmentDefaults = [tInteger]}
env' <- addInstance [] (IsIn "Num" [tInteger]) env
assumptions <-
typeCheckModule
env'
[ TypeSignature
"id"
(Forall
[StarKind]
(Qualified [] (makeArrow (GenericType 0) (GenericType 0))))
]
defaultSpecialTypes
[ BindGroup
[ ExplicitlyTypedBinding
"x"
(Forall
[StarKind]
(Qualified
[IsIn "Num" [(GenericType 0)]]
(makeArrow (GenericType 0) (GenericType 0))))
[Alternative [VariablePattern "k"] (VariableExpression "k")]
]
[ [ ImplicitlyTypedBinding
"x"
[Alternative [] (VariableExpression "x")]
, ImplicitlyTypedBinding
"func"
[Alternative [VariablePattern "k"] (VariableExpression "id")]
, ImplicitlyTypedBinding
"func2"
[ Alternative
[VariablePattern "k", VariablePattern "l"]
(VariableExpression "k")
]
, ImplicitlyTypedBinding
"f"
[Alternative [] (LiteralExpression (StringLiteral "hi"))]
]
, [ ImplicitlyTypedBinding
"g"
[Alternative [] (LiteralExpression (IntegerLiteral 5))]
]
]
]
mapM_ (putStrLn . printTypeSignature defaultSpecialTypes) assumptions
where
tInteger :: Type
tInteger = ConstructorType (TypeConstructor "Integer" StarKind)
makeArrow :: Type -> Type -> Type
a `makeArrow` b = ApplicationType (ApplicationType (specialTypesFunction defaultSpecialTypes) a) b
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
-- Printer -- Printer