michelson 0.1.0 → 0.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: ed3b5fbe9328e38ec213aa5d36c106711cdd5e1e
-  data.tar.gz: 0e5d7cd932220b76b7951a1db682c266cd3242c3
+  metadata.gz: c38fcb8b1914f1dd67e97fcbefa894c09988d19b
+  data.tar.gz: aaefda11aab976e8683faee197f783c53c7da8f5
 SHA512:
-  metadata.gz: 22d4c310be5fd21d7caa94fa87ab9f3b50c7a4c1a208c2f35682173d2894be1fca582e9c6eddab10ea81b5f6ffbf46c5e52c96696976b8b8cc7d86e7ef148601
-  data.tar.gz: a0e72f64c2dbd6a8e47cf9c9a009204c8e967411834c9119462113f88e3d335685b444f6371e9a72b9cb5faa080a7c05c98aabd1757c243158e71b2e1c1356d6
+  metadata.gz: c1f77fc464cf095c83896265a4071566a50e3fd3ec0b60535d965ed0d62c4fb3e16aa84426e1db505cd275f44ee8fc209f0252383960da503edf184403b5a074
+  data.tar.gz: a979354201a30ad6e5c2bcf46675883d39e9c3e0457a1929a5a875aa3513fd1e79111734adec5a108342b09c68f13dc9ea0606d0007bc478c31bedbd25349831

data/Manifest.txt

@@ -4,4 +4,7 @@ Manifest.txt
 README.md
 Rakefile
 lib/michelson.rb
+lib/michelson/michelson.rb
 lib/michelson/version.rb
+test/helper.rb
+test/test_counter.rb

data/README.md

@@ -14,8 +14,9 @@ michelson gem / library - test simulator / runtime for type-safe 'n' functional
 
 **What's Michelson? What's Liquidity?**
 
-The Liquidity language lets you program contracts with (higher-level type-safe functional) OCaml or ReasonML syntax (see <http://www.liquidity-lang.org>)
-compiling to (lower-level) Michelson stack machine bytecode (see <https://www.michelson-lang.com>).
+The [Liquidity language](http://www.liquidity-lang.org) lets you programm (crypto) contracts with (higher-level type-safe functional) OCaml or ReasonML syntax
+compiling to (lower-level) [Michelson stack machine bytecode](https://www.michelson-lang.com).
+
 
 Using the michelson test simulator / runtime for type-safe 'n' functional (crypto) contracts you can now use a "Yes, It's Just Ruby" syntax.
 

data/lib/michelson/michelson.rb

@@ -0,0 +1,164 @@
+# encoding: utf-8
+
+
+
+def type( class_name, *args )
+  puts "define type #{class_name}:"
+  pp args
+
+  if args.size == 1 && args[0].is_a?( Class )
+    klass = args[0]
+    Kernel.const_set( class_name, klass )
+  elsif args.size == 1 && args[0].is_a?( Hash )
+    keys = args[0].keys
+    klass = Struct.new( *keys )
+    Kernel.const_set( class_name, klass )
+  else
+    raise ArgumentError.new( "Class or Hash expected")
+  end
+end
+
+
+def define_function( method, signature )
+  ## todo/fix: check if we are in a module ?
+  ##    only use Object.__send__ as a (last) fallback (for convenience) - why? why not?
+  Object.__send__( :alias_method, "#{method}_unsafe", method )
+
+  puts "define function #{method}:"
+  pp signature
+
+  define_method method do |*args|
+    if args.size == 0
+      call_inspect = "#{method}()"
+    else
+      args_inspect = args.map { |arg| arg.inspect }.join( ", " )
+      call_inspect = "#{method}( #{args_inspect} )"
+    end
+    puts "calling #{call_inspect}..."
+
+    __send__( "#{method}_unsafe", *args ).tap do |result|
+      puts "returning:"
+      pp result
+    end
+  end
+end
+
+
+def sig( *args )
+  method    = args.pop   # remove last element (assume it's a method)
+  signature = args
+  define_function( method, signature )
+end
+
+def init( *args )
+  sig( *args )
+end
+
+def entry( *args )
+  sig( *args )
+end
+
+
+
+Nat = Integer
+Money = Integer
+KeyHash = String
+Address = String
+
+
+
+
+def Option( arg ) arg; end
+
+_ = nil    ## predefine "global" underscore variable
+
+
+def failwith( msg, *args )
+  if args.size == 0
+    msg_inspect = msg
+  else
+    args_inspect = args.map { |arg| arg.inspect }.join( ", " )
+    msg_inspect  = "#{msg}: #{args_inspect}"
+  end
+  fail msg_inspect
+end
+
+class Current
+  def self.amount=(value) @amount = value; end
+  def self.amount()       @amount ||= 0; end
+
+  def self.sender=(value) @sender = value; end
+  def self.sender()       @sender ||= "0x0000"; end
+
+
+  ## todo/check:  Current.failwith exits? - always use "global" failwith - why? why not?
+  def self.failwith( *args)
+    ## hack: todo - is there a better way to call "global" outer failwith function/method ???
+    Object.send( :failwith, *args );
+  end
+end
+
+
+
+class Integer
+  def tz()  self; end   ## tezzies (cryptocurrency)
+  def p()   self; end   ## p(ositive) integer number (0... only)
+end
+
+
+def is_nat( num )
+  if num >=0
+    num   ## a.k.a Some
+  else
+    nil   ## a.k.a None
+  end
+end
+
+
+module Map
+  def self.find( key, map )
+    value = map[key]
+    value
+  end
+
+  def self.add( key, value, map )
+    map.merge( Hash[key,value] )
+  end
+
+  def self.remove( key, map )
+    ## todo: check if there's better way??
+    new_map = map.merge( {} )
+    new_map.delete( key )
+    new_map
+  end
+end
+
+module BigMap
+end
+
+
+
+def Object.const_missing( name )
+  puts "const_missing:"
+  pp name
+  if name.to_s.start_with?( "Map‹" )
+    Map
+  elsif name.to_s.start_with?( "BigMap‹" )
+    BigMap
+  else
+    super
+  end
+end
+
+
+def match( obj, matchers )
+  ## pp obj
+  ## pp matchers
+  ## note: assume None/Some for now
+  if obj
+    matchers[:Some].call( obj )
+  else
+    ## none
+    matchers[:None].call
+  end
+end

data/lib/michelson/version.rb

@@ -5,7 +5,7 @@ module Michelson
 
   MAJOR = 0
   MINOR = 1
-  PATCH = 0
+  PATCH = 1
   VERSION = [MAJOR,MINOR,PATCH].join('.')
 
   def self.version

data/test/helper.rb

@@ -0,0 +1,8 @@
+## minitest setup
+
+require 'minitest/autorun'
+
+
+## our own code
+
+require 'michelson'

data/test/test_counter.rb

@@ -0,0 +1,42 @@
+# encoding: utf-8
+
+###
+#  to run use
+#     ruby -I ./lib -I ./test test/test_counter.rb
+
+
+require 'helper'
+
+
+type :Storage, Integer
+
+init [],
+def storage()
+  0
+end
+
+entry [Integer],
+def inc( by, storage )
+  [[], storage + by]
+end
+
+
+class TestCounter < MiniTest::Test
+
+  def test_storage
+     pp Storage
+     assert_equal Storage, Integer
+  end
+
+  def test_call
+    storage  = storage()
+    assert_equal 0, storage
+
+    _, storage = inc( 2, storage )
+    assert_equal 2, storage
+
+    _, storage = inc( 1, storage )
+    assert_equal 3, storage
+  end
+
+end  # class TestCounter

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: michelson
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.1.1
 platform: ruby
 authors:
 - Gerald Bauer
@@ -55,7 +55,10 @@ files:
 - README.md
 - Rakefile
 - lib/michelson.rb
+- lib/michelson/michelson.rb
 - lib/michelson/version.rb
+- test/helper.rb
+- test/test_counter.rb
 homepage: https://github.com/s6ruby/ruby-to-michelson
 licenses:
 - Public Domain