diff --git a/backend/Builtins.icl b/backend/Builtins.icl index 237e3accd7e36626f402f3a6bb9b29594b7188d7..73c29994759b5c83264ce8fd7680193e9a840082 100644 --- a/backend/Builtins.icl +++ b/backend/Builtins.icl @@ -80,7 +80,7 @@ builtin_types ++ tuples ] where - deft = {tde_typedef={td_name="", td_uniq=False, td_args=[], td_rhs=TDRAbstract}, tde_doc=Nothing} + deft = {tde_typedef={td_name="", td_uniq=False, td_args=[], td_rhs=TDRAbstract Nothing}, tde_doc=Nothing} defc = {cons_name="", cons_args=[], cons_exi_vars=[], cons_context=[], cons_priority=Nothing} lists = [make_list kind spine \\ kind <- [[], ['#'], ['!'], ['|']], spine <- [[], ['!']] | kind <> ['|'] || spine <> ['!']] diff --git a/backend/Cloogle b/backend/Cloogle index 0ac186d699b64e15c16bb58fc9e5e1d145a4215e..49bc64834b84a5ac7adb5131a97b4bebb2fbcb8d 160000 --- a/backend/Cloogle +++ b/backend/Cloogle @@ -1 +1 @@ -Subproject commit 0ac186d699b64e15c16bb58fc9e5e1d145a4215e +Subproject commit 49bc64834b84a5ac7adb5131a97b4bebb2fbcb8d diff --git a/frontend/clean.js b/frontend/clean.js index dae7359d2b9766dcddacd9f30109d3e347297721..983eba07ab0982135e75c8299208e69581ccad14 160000 --- a/frontend/clean.js +++ b/frontend/clean.js @@ -1 +1 @@ -Subproject commit dae7359d2b9766dcddacd9f30109d3e347297721 +Subproject commit 983eba07ab0982135e75c8299208e69581ccad14