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

Remove ranking constraints for exact results; use efficient StdMaybe from Cloogle

parent 8f108dd7
Pipeline #16573 failed with stage
in 6 minutes and 37 seconds
Subproject commit 7f9aa332c7a5454d1a6850835eda47cd3f12c1b1
Subproject commit 8e4856c55edbe366a02558fb4ade9d5a4bb8a7de
......@@ -3,6 +3,8 @@ BIN:=builddb CloogleServer
DB=types.json
CLM:=clm
CLMFLAGS:=-h 250M -nr -nortsopts\
-P 'Cloogle'\
-IL StdEnv\
-IL TCPIP\
-IL Platform\
-IL Platform/Deprecated/ArgEnv\
......
......@@ -28,9 +28,4 @@
, [{"unify":"Int -> [Int]"}, ["LT",["Function","Control.GenMonad","ret"], ["Function","StdMisc","undef"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","Control.Applicative","pure"], ["Function","Text.Unicode","toUnicode"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","System._Unsafe","unsafeCoerce"], ["Function","StdMisc","undef"]]]
, [{"using":["Char"]}, ["LT",["TypeDef","_builtin","Char"], ["Function","StdMisc","abort"]]]
, [{"using":["Text"]}, ["LT",["Class","Text","Text"], ["Function","Text.Terminal.VT100","vt100render"]]]
, [{"using":["Text"]}, ["LT",["Class","Text","Text"], ["Function","iTasks.WF.Tasks.Interaction","viewTitle"]]]
]
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