Home
last modified time | relevance | path

Searched refs:getOptSimple (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Options/
H A DBase.hs33 , getOptSimple
1049 getOptSimple
1054 getOptSimple argv opts fileArg = \ defaults -> function
1114 ps <- getOptSimple argv (deadPragmaOptions ++ pragmaOptions)
1123 getOptSimple argv opts
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/
H A DBackend.hs201 (backends, opts) <- getOptSimple (stripRTS argv)