Compile with -funcmayfail

backend/Builtin/Predef.icl

@@ -5,6 +5,7 @@ import StdBool
 import StdEnum
 import StdInt
 import StdList
+import StdMisc
 import StdOverloaded
 import StdString
 
@@ -151,9 +152,11 @@ where
 				['#'] -> "n unboxed"
 				['!'] ->  " head strict"
 				['|'] -> "n overloaded"
+				_     -> abort "error in make_list\n"
 			spine = case s of
 				[]    -> ""
 				['!'] -> " spine strict"
+				_     -> abort "error in make_list\n"
 
 			description = "These types of list are available:\n\n" +
 				"- {{`[a]`}}, a normal list\n" +

Cloogle @ 12d1a74a

-Subproject commit 94c4bb99fa1e508684658707a30657973e312d41
+Subproject commit 12d1a74a1d53bdcfd9927c067372bbdf302aa5d2

backend/CloogleServer.icl

@@ -166,7 +166,9 @@ optionDescription = WithHelp True $ Options
 	]
 
 Start w
-# ([prog:args], w) = getCommandLine w
+# (prog,args,w) = case getCommandLine w of
+	([prog:args],w) -> (prog,args,w)
+	_               -> abort "getCommandLine returned 0 elements\n"
 # opts = parseOptions optionDescription args zero
 | isError opts
 	# (io,w) = stdio w

backend/Makefile

@@ -2,7 +2,7 @@ SHELL:=bash
 BIN:=builddb CloogleServer
 DB=types.json
 CLM:=clm
-CLMFLAGS:=-h 250M -nr -nortsopts\
+CLMFLAGS_BOOTSTRAP:=-h 250M -nr -nortsopts\
 	-P 'Cloogle'\
 	-IL StdEnv\
 	-IL TCPIP\
@@ -12,27 +12,34 @@ CLMFLAGS:=-h 250M -nr -nortsopts\
 	-I Cloogle/libcloogle\
 	-I Cloogle/CleanRegex
 ifeq "$(shell expr `gcc -dumpversion | cut -f1 -d.` \>= 6)" "1"
-	CLMFLAGS+=-l -no-pie
+	CLMFLAGS_BOOTSTRAP+=-l -no-pie
 endif
+CLMFLAGS:=$(CLMFLAGS_BOOTSTRAP) -funcmayfail
+CLMLIBS_COMPILER:=\
+	-I Cloogle/compiler/frontend\
+	-I Cloogle/compiler/backend\
+	-I Cloogle/compiler/main\
+	-I Cloogle/compiler/main/Unix\
 
-.PHONY: all clean .FORCE
+.PHONY: all bootstrap bootstrap_compiler clean .FORCE
 
 all: $(BIN) $(DB)
 
 man: $(MAN)
 
-CloogleServer: .FORCE
-	$(CLM) $(CLMFLAGS) $@ -o $@
-	find -name '*.[di]cl' -not -path './Cloogle/compiler/*' -exec touch {} \;
+CloogleServer: bootstrap .FORCE
 	$(CLM) $(CLMFLAGS) $@ -o $@
 
-builddb: Cloogle/compiler .FORCE
-	$(CLM) $(CLMFLAGS) -s 50M -h 750M -gcm\
-		-I Cloogle/compiler/frontend\
-		-I Cloogle/compiler/backend\
-		-I Cloogle/compiler/main\
-		-I Cloogle/compiler/main/Unix\
-		$@ -o $@
+builddb: bootstrap bootstrap_compiler .FORCE
+	$(CLM) $(CLMFLAGS) $(CLMLIBS_COMPILER) -s 50M -h 750M -gcm $@ -o $@
+
+bootstrap: .FORCE
+	$(CLM) $(CLMFLAGS_BOOTSTRAP) -PABC StdEnv
+	$(CLM) $(CLMFLAGS_BOOTSTRAP) -PABC StdMaybe
+	$(CLM) $(CLMFLAGS_BOOTSTRAP) -PABC TCPIP
+
+bootstrap_compiler: Cloogle/compiler .FORCE
+	$(CLM) $(CLMFLAGS_BOOTSTRAP) $(CLMLIBS_COMPILER) -PABC cocl
 
 Cloogle/compiler: .FORCE
 	$(MAKE) -C Cloogle compiler

backend/build.sh

@@ -2,7 +2,7 @@
 set -ev
 
 PATCHCLEANBUILD="sed -i 's:clean-compiler-and-rts compiler itask:cstaps compiler master:' clean-base/linux-x64/git-sources.txt; sed -i 's:compiler-itask:compiler-master:' clean-base/linux-x64/build.sh" \
-	install_clean.sh 'base lib-platform lib-tcpip' 2018-12-12
+	install_clean.sh 'base lib-platform lib-tcpip' 2018-12-14
 
 PACKAGES="patch jq unzip z3"
 apt-get update -qq

backend/builddb.icl

@@ -81,7 +81,9 @@ optionDescription = WithHelp True $ Options
 
 Start :: *World -> *World
 Start w
-# ([prog:args], w) = getCommandLine w
+# (prog,args,w) = case getCommandLine w of
+	([prog:args],w) -> (prog,args,w)
+	_               -> abort "getCommandLine returned 0 elements\n"
 # opts = parseOptions optionDescription args zero
 | isError opts
 	# err = stderr <<< 'Text'.join "\n" (fromError opts) <<< "\n"