add MicroHs dependency

Author: Thomas Mahler

.DS_Store

@@ -19,6 +19,7 @@ import Text.RawString.QQ
 import qualified Data.Bifunctor
 import LambdaToSKI (compileBracket)
 import TermReducer
+import IonAssembly (toIon)
 
 
 printGraph :: ST s (STRef s (Graph s)) -> ST s String
@@ -74,7 +75,9 @@ fibonacci = [r|
 
 
 printCS :: CL -> IO ()
-printCS cl = putStrLn ("code size: " ++ show (codeSize cl))
+printCS cl = do
+  putStrLn ("ION code: " ++ toIon cl)
+  putStrLn ("code size: " ++ show (codeSize cl))
 
 -- data CL = Com Combinator | INT Integer | CL :@ CL
 codeSize :: CL -> Int
@@ -114,9 +117,7 @@ showCompilations source = do
   print expr'
   printCS expr'
   putStrLn ""
-  --putStr "reduced: " 
-  --x <- red expr'
-  --print x
+
 
   let expr'' = compileBulk env
   putStrLn "The main expression compiled to SICKBY combinator expressions with bulk combinators:"

app/Main.hs

@@ -1,6 +1,6 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.35.2.
+-- This file has been generated from package.yaml by hpack version 0.37.0.
 --
 -- see: https://github.com/sol/hpack
 
@@ -31,6 +31,7 @@ library
       CLTerm
       GraphReduction
       HhiReducer
+      IonAssembly
       Kiselyov
       LambdaToSKI
       Parser
@@ -40,7 +41,8 @@ library
   hs-source-dirs:
       src
   build-depends:
-      base >=4.7 && <5
+      MicroHs
+    , base >=4.7 && <5
     , parsec
     , raw-strings-qq
   default-language: GHC2021
@@ -55,7 +57,8 @@ executable benchmark
       benchmark
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
-      base >=4.7 && <5
+      MicroHs
+    , base >=4.7 && <5
     , criterion
     , lambda-ski
     , parsec
@@ -70,7 +73,8 @@ executable lambda-ski-exe
       app
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
-      base >=4.7 && <5
+      MicroHs
+    , base >=4.7 && <5
     , lambda-ski
     , parsec
     , raw-strings-qq
@@ -90,7 +94,8 @@ test-suite lambda-ski-test
       test
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
-      QuickCheck
+      MicroHs
+    , QuickCheck
     , base >=4.7 && <5
     , hspec
     , lambda-ski

lambda-ski.cabal

@@ -27,6 +27,7 @@ dependencies:
 - base >= 4.7 && < 5
 - parsec
 - raw-strings-qq
+- MicroHs
 
 library:
   source-dirs: src

package.yaml

@@ -0,0 +1,22 @@
+module IonAssembly where
+
+import CLTerm
+
+{--
+digit = '0' | ... | '9'
+num = digit [num]
+con = '#' CHAR | '(' num ')'
+idx = '@' CHAR | '[' num ']'
+comb = 'S' | 'K' | 'I' | ...
+term = comb | '`' term term | con | idx
+prog = term ';' [prog]
+--}
+
+
+toIon :: CL -> String
+toIon (Com c) = show c
+toIon (INT i) = "(" ++ show i ++ ")"
+toIon (t :@ u) = "`" ++ toIon t  ++ toIon u
+
+test :: CL
+test = Com B :@ Com S :@ (Com B :@ Com B)

src/IonAssembly.hs

@@ -17,8 +17,8 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver:
-  url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/21/12.yaml
+resolver: lts-23.26
+#  url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/21/12.yaml
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.
@@ -35,7 +35,12 @@ packages:
 # These entries can reference officially published versions as well as
 # forks / in-progress versions pinned to a git hash. For example:
 #
-# extra-deps:
+extra-deps:
+#- MicroHs-0.10.5.0
+- git: https://github.com/thma/MicroHs
+  commit: a0426a5bc5e8461bd7937dd2ae1db9dea98724c2
+
+
 # - acme-missiles-0.3
 # - git: https://github.com/commercialhaskell/stack.git
 #   commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a