Add ocaml-jupyter kernel to conformance tests (#42)

* Add ocaml-jupyter kernel to conformance tests

- Add OCaml test snippets to Rust harness (print, expressions, etc.)
- Add OCamlIcon to frontend with Catppuccin peach color
- Add ocaml-jupyter to CI workflow using OPAM and setup-ocaml action

* Fix ocaml-jupyter: copy kernelspec directly instead of using jupyter CLI

Author: rgbkrk

.github/workflows/conformance.yml

@@ -103,6 +103,15 @@ jobs:
           - name: xeus-octave
             install: micromamba install -y xeus-octave -c conda-forge
             kernel-name: xoctave
+          - name: ocaml-jupyter
+            install: |
+              eval $(opam env)
+              opam install -y jupyter
+              echo '#use "topfind";;' >> ~/.ocamlinit
+              ocaml-jupyter-opam-genspec
+              mkdir -p ~/.local/share/jupyter/kernels/ocaml-jupyter
+              cp -r "$(opam var share)/jupyter"/* ~/.local/share/jupyter/kernels/ocaml-jupyter/
+            kernel-name: ocaml-jupyter
 
     steps:
       - uses: actions/checkout@v4
@@ -152,6 +161,18 @@ jobs:
             python=3.12
             jupyter_client
 
+      - name: Set up OCaml
+        if: matrix.kernel.name == 'ocaml-jupyter'
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: '5.2'
+
+      - name: Install OCaml dependencies
+        if: matrix.kernel.name == 'ocaml-jupyter'
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y libzmq5-dev
+
       - name: Install jupyter for Ark
         if: matrix.kernel.name == 'ark'
         run: python -m pip install jupyter

site/src/components/LanguageIcons.tsx

@@ -125,6 +125,18 @@ export function OctaveIcon({ className = 'h-5 w-5' }: IconProps) {
   );
 }
 
+export function OCamlIcon({ className = 'h-5 w-5' }: IconProps) {
+  return (
+    <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" className={className}>
+      <g fill="none" stroke="#fab387" strokeLinecap="round" strokeLinejoin="round">
+        <path d="M1.5 8V3c0-.83.67-1.5 1.5-1.5h10c.83 0 1.5.67 1.5 1.5v10c0 .83-.67 1.5-1.5 1.5H9" />
+        <path d="m1.5 8 1.14-2.3q.09-.21.36-.24a.8.8 0 01.44.13c.18.12.23.53.28.64.06.1.64 1.23.85 1.23.2 0 .71-1.47.71-1.47s.37-.49.72-.49.55.32.67.49c.12.16.24 1.76.46 2.01s1.32.87 1.67.73c.34-.13.53-.4.63-.73.1-.34-.14-.75 0-1a1.1 1.1 0 011.02-.55c.56.03 2.05.56 2.05 1.05q0 .75-1.5.75c-.48 1.33.28 2.22-3 2.25l1 4" />
+        <path d="m4.5 14.5 1.5-4 1 4zm-2 0 1.5-4-1.5-.5-1 1.54V14l1 .49Z" />
+      </g>
+    </svg>
+  );
+}
+
 // Map kernel names/languages to their icons
 export function getLanguageIcon(kernelName: string, language: string): React.ComponentType<IconProps> {
   const name = kernelName.toLowerCase();
@@ -142,6 +154,7 @@ export function getLanguageIcon(kernelName: string, language: string): React.Com
   if (name.includes('haskell') || lang === 'haskell') return HaskellIcon;
   if (name.includes('lua') || lang === 'lua') return LuaIcon;
   if (name.includes('octave') || lang === 'octave' || lang === 'matlab') return OctaveIcon;
+  if (name.includes('ocaml') || lang === 'ocaml') return OCamlIcon;
 
   // Default fallback
   return PythonIcon;

src/snippets.rs

@@ -55,6 +55,7 @@ impl LanguageSnippets {
             "lua" => Self::lua(),
             "haskell" => Self::haskell(),
             "octave" => Self::octave(),
+            "ocaml" => Self::ocaml(),
             _ => Self::generic(&lang),
         }
     }
@@ -336,6 +337,27 @@ xcpp::display(h);"#,
         }
     }
 
+    fn ocaml() -> Self {
+        // OCaml Jupyter kernel - uses Jupyter_notebook module for rich output
+        Self {
+            language: "ocaml".to_string(),
+            print_hello: r#"print_endline "hello""#,
+            print_stderr: r#"prerr_endline "error""#,
+            simple_expr: "1 + 1",
+            simple_expr_result: "2",
+            incomplete_code: "let foo (",
+            complete_code: "let x = 1",
+            syntax_error: "let let",
+            input_prompt: "read_line ()",
+            sleep_code: "Unix.sleep 2",
+            completion_var: "test_variable_for_completion",
+            completion_setup: "let test_variable_for_completion = 42",
+            completion_prefix: "test_variable_for_",
+            display_data_code: r#"#require "jupyter.notebook";; Jupyter_notebook.display "text/html" "<b>bold</b>""#,
+            update_display_data_code: "(* OCaml jupyter doesn't support update_display_data *)",
+        }
+    }
+
     /// Generic fallback for unknown languages
     fn generic(language: &str) -> Self {
         Self {