gfse: supply information about what's defined in the exampe language to the server functions for example-based grammar writing

src/example-based/ExampleDemo.hs

@@ -42,8 +42,8 @@ data Environ = Env {getTypeMap :: TypeMap,                  -- mapping between a
                     }
 
 
-getNext :: Environ -> ([MyFunc],[MyFunc])
-getNext env = 
+getNext :: Environ -> Environ -> ([MyFunc],[MyFunc])
+getNext env example_env = 
   let sgs = getSigs env
       allfuncs  = getAll env
       names = Set.fromList $ map getName $ concat $ Map.elems sgs

src/example-based/ExampleService.hs

@@ -22,12 +22,16 @@ cgiMain' root cwd cache =
   do command <- getInp "command"
      environ <- parseEnviron =<< getInp "state"
      case command of
-       "possibilities" -> outputJSONP (E.getNext environ)
-       "provide_example" ->  doProvideExample root cwd cache environ
+       "possibilities"    -> doPossibilities environ
+       "provide_example"  -> doProvideExample root cwd cache environ
        "abstract_example" -> doAbstractExample cwd cache environ
-       "test_function" -> doTestFunction cwd cache environ
+       "test_function"    -> doTestFunction cwd cache environ
        _ -> throwCGIError 400 ("Unknown command: "++command) []
 
+doPossibilities environ =
+  do example_environ <- parseEnviron =<< getInp "example_state"
+     outputJSONP (E.getNext environ example_environ)
+
 doProvideExample root cwd cache environ =
   do Just lang <- readInput "lang"
      fun <- getCId "fun"

src/example-based/todo.txt

@@ -1,7 +1,7 @@
 
 Editor improvements for example-based grammar writing:
 + Remove the same language from the example language menu
-- Send the other language environment to getNext
++ Send the other language environment to getNext
 - Compile a new .pgf automatically when needed
 - Update buttons automatically when functions are added or removed
 - Switch over to using AbsParadigmsEng.pgf instead of the old exprToAPI function