Commit ce90280e authored by Camil Staps's avatar Camil Staps 🐧

Bump build date for faster unification in Platform

parent 62c12a3d
......@@ -33,11 +33,11 @@ builtin_functions :: [FunctionEntry]
builtin_functions =
[ { zero
& fe_loc=Builtin "if" [CLR 5 "3.4.2" "_Toc311798001"]
, fe_type=Just $ Func [Type "Bool" [], Var "a", Var "a"] (Var "a") []
, fe_type=Just $ Func [Type "Bool" [], Var "a", Var "a"] (Var "a") (TypeContext [])
}
, { zero
& fe_loc=Builtin "dynamic" [CLR 10 "8.1" "_Toc311798076"]
, fe_type=Just $ Func [Var "a"] (Type "Dynamic" []) [Instance "TC" [Var "a"]]
, fe_type=Just $ Func [Var "a"] (Type "Dynamic" []) (TypeContext [Instance "TC" [Var "a"]])
}
]
......@@ -46,7 +46,7 @@ builtin_classes =
[ { ce_loc=Builtin "TC" [CLR 10 "8.1.4" "_Toc311798080"]
, ce_vars=["v"]
, ce_is_meta=False
, ce_context=[]
, ce_context=TypeContext []
, ce_documentation=Nothing
, ce_members={}
, ce_instances={}
......@@ -123,7 +123,7 @@ where
{ cons_name=""
, cons_args=[]
, cons_exi_vars=[]
, cons_context=[]
, cons_context=TypeContext []
, cons_priority=Nothing
}
......
Subproject commit b20e618d743dd44cb9059057a196fae873c6ea66
Subproject commit 33e6f910263d62238e84ad0d1c58282d01fac68b
......@@ -64,8 +64,10 @@ CACHE_NS_THRESHOLD :== 20000000
, c_page :: !Int
}
derive JSONEncode Kind, Type, RequestCacheKey, TypeRestriction, RankSettings
derive JSONDecode Kind, Type, RequestCacheKey, TypeRestriction, RankSettings, RankConstraint
derive JSONEncode Kind, Type, RequestCacheKey, TypeContext, TypeRestriction,
RankSettings
derive JSONDecode Kind, Type, RequestCacheKey, TypeContext, TypeRestriction,
RankSettings, RankConstraint
instance toString RequestCacheKey
where toString rck = toString $ toJSON rck
......@@ -107,11 +109,11 @@ fromRequestCacheKey k =
where
unprepare :: !Type -> Type
unprepare (Type t ts) = Type t (map unprepare ts)
unprepare (Func is t tc) = Func (map unprepare is) (unprepare t) (map unprepareTR tc)
unprepare (Func is t (TypeContext tc)) = Func (map unprepare is) (unprepare t) (TypeContext (map unprepareTR tc))
unprepare (Var tv) = Var (tv % (1,size tv-1))
unprepare (Cons v ts) = Cons (v % (1,size v-1)) (map unprepare ts)
unprepare (Uniq t) = Uniq (unprepare t)
unprepare (Forall ts t tc) = Forall (map unprepare ts) (unprepare t) (map unprepareTR tc)
unprepare (Forall ts t (TypeContext tc)) = Forall (map unprepare ts) (unprepare t) (TypeContext (map unprepareTR tc))
unprepare (Arrow mt) = Arrow (unprepare <$> mt)
unprepare (Strict t) = Strict (unprepare t)
......
......@@ -3,7 +3,6 @@ set -ev
. ./install_clean_vars.sh
install_clean.sh 'base lib-platform lib-tcpip'
sed -i 's/cocl/cocl::-wmf/' /opt/clean/etc/IDEEnvs
PACKAGES="file patch unzip jq z3"
apt-get update -qq
......
#!/bin/bash
export CLEANDATE="2019-10-12"
export CLEANDATE="2019-11-15"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment