🥤

AlephAlpha · Jul 19, 2024 · 6ccbc04 · 6ccbc04
1 parent 84d1581
commit 6ccbc04
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 5 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -5,7 +5,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        ghc: ['9.0.2', '9.4.8', '9.6.5', '9.8.2']
+        ghc: ['9.0.2', '9.4.8', '9.6.6', '9.8.2']
     steps:
       - uses: actions/checkout@v4
       - uses: haskell-actions/setup@v2

diff --git a/doc/Builtins.md b/doc/Builtins.md
@@ -87,9 +87,9 @@ __Examples__:
 
 ### `andThen` (`¿`, `2 -> 1`)
 
-Take two values, 
+Take two values, and return the first one if the second one doesn't fail. 
 
-and return the first one if the second one doesn't fail.
+This is somewhat similar to the `seq` function in Haskell, which forces the first argument to be evaluated before the second.
 
 __Examples__:
 
@@ -299,7 +299,9 @@ This function is automatically vectorized.
 __Examples__:
 
 - `2Ƶ` → `2`
+- `3\2Ƶ` → `3/2`
 - `1Ƶ` → Fail
+- `1\2Ƶ` → Fail
 - `0Ƶ` → Fail
 - `1_Ƶ` → Fail
 - `2_Ƶ` → `-2`
@@ -319,7 +321,9 @@ This function is automatically vectorized.
 __Examples__:
 
 - `2ƶ` → Fail
+- `3\2ƶ` → Fail
 - `1ƶ` → `1`
+- `1\2ƶ` → `1/2`
 - `0ƶ` → `0`
 - `1_ƶ` → `-1`
 - `2_ƶ` → Fail

diff --git a/src/Nekomata/Builtin.hs b/src/Nekomata/Builtin.hs
@@ -166,8 +166,10 @@ builtins =
         "andThen"
         '¿'
         andThen
-        "Take two values, \n\
-        \and return the first one if the second one doesn't fail."
+        "Take two values, and return the first one if the second one doesn't \
+        \fail. \n\
+        \This is somewhat similar to the `seq` function in Haskell, \
+        \which forces the first argument to be evaluated before the second."
         [ ("1 2¿", all_ ["1"])
         , ("1 !¿", all_ [])
         ]
@@ -340,7 +342,9 @@ builtins =
         \it is converted to a number according to Nekomata's code page.\n\
         \This function is automatically vectorized."
         [ ("2Ƶ", all_ ["2"])
+        , ("3\\2Ƶ", all_ ["3/2"])
         , ("1Ƶ", all_ [])
+        , ("1\\2Ƶ", all_ [])
         , ("0Ƶ", all_ [])
         , ("1_Ƶ", all_ [])
         , ("2_Ƶ", all_ ["-2"])
@@ -356,7 +360,9 @@ builtins =
         \it is converted to a number according to Nekomata's code page.\n\
         \This function is automatically vectorized."
         [ ("2ƶ", all_ [])
+        , ("3\\2ƶ", all_ [])
         , ("1ƶ", all_ ["1"])
+        , ("1\\2ƶ", all_ ["1/2"])
         , ("0ƶ", all_ ["0"])
         , ("1_ƶ", all_ ["-1"])
         , ("2_ƶ", all_ [])